PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech-Reference-Cited by-同舟云学术

PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

Published:2005 Issue: Volume: Page:258-273
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Frehse Goran

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31954-2_17.pdf

Reference17 articles.

1. Henzinger, T.A.: The theory of hybrid automata. In: Proc. IEEE Symp. Logic in Computer Science, LICS 1996, New Brunswick, New Jersey, July 27-30, pp. 278–292. IEEE Computer Society, Los Alamitos (1996)

2. Ho, P.H.: Automatic Analysis of Hybrid Systems. PhD thesis, Cornell University, Technical Report CSD-TR95-1536 (1995)

3. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. Int. Journal on Software Tools for Technology Transfer 1, 110–122 (1997)

4. Henzinger, T.A., Preussig, J., Wong-Toi, H.: Some lessons from the hytech experience. In: Proceedings of the 40th Annual Conference on Decision and Control (CDC 2001), pp. 2887–2892. IEEE Press, Los Alamitos (2001)

5. Lecture Notes in Computer Science;D.D. Cofer,2001

Cited by 169 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics;Formal Aspects of Computing;2024-09-05

2. Compositional Analysis of Parametric Cooperative Cyber-Physical Systems;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

3. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29

4. Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios;Lecture Notes in Computer Science;2024

5. Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction;ACM Transactions on Modeling and Computer Simulation;2023-10-26