Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction-Reference-Cited by-同舟云学术

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

Published: Issue: Volume: Page:287-300
ISSN:
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Jha Sumit K.,Krogh Bruce H.,Weimer James E.,Clarke Edmund M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71493-4_24.pdf

Reference26 articles.

1. Henzinger, T.: The Theory of Hybrid Automata. In: Logic in Computer Science, p. 278 (1996)

2. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995), citeseer.ist.psu.edu/alur95algorithmic.html

3. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1–2), 110–122 (1997), citeseer.ist.psu.edu/henzinger97hytech.html

4. Alur, R., Henzinger, T., Wong-Toi, H.: Symbolic analysis of hybrid systems. In: Proc. 37-th IEEE Conference on Decision and Control, IEEE Computer Society Press, Los Alamitos (1997), citeseer.ist.psu.edu/alur97symbolic.html

5. Lecture Notes in Computer Science;G. Frehse,2005

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

1. Safety Verification of Closed-loop Control System with Anytime Perception;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

2. SAT-Reach : A Bounded Model Checker for Affine Hybrid Systems;ACM Transactions on Embedded Computing Systems;2023-01-24

3. Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata;Lecture Notes in Computer Science;2022

4. Symbolic Analysis of Linear Hybrid Automata – 25 Years Later;Lecture Notes in Computer Science;2022

5. Approximation-refinement testing of compute-intensive cyber-physical models;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27