Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction-Reference-Cited by-同舟云学术

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

Published:2003 Issue: Volume: Page:4-19
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Alur Rajeev,Dang Thao,Ivančić Franjo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36580-X_4

Reference19 articles.

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.

2. R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivančić, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1), January 2003.

3. R. Alur, T. Dang, and F. Ivančić. Reachability analysis of hybrid systems using counter-example guided predicate abstraction. Technical Report MS-CIS-02-34, University of Pennsylvania, November 2002.

4. Lect Notes Comput Sci;R. Alur,2002

5. R. Alur, T. Dang, and F. Ivančić. Counter-example guided predicate abstraction of hybrid systems. In Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 2003.

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

1. The minimum principle of hybrid optimal control theory;Mathematics of Control, Signals, and Systems;2023-11-10

2. Energy Autonomy for Robot Systems With Constrained Resources;IEEE Transactions on Robotics;2022-12

3. Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures;ACM Transactions on Cyber-Physical Systems;2022-07-31

4. NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks;Automated Technology for Verification and Analysis;2020

5. Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems;ACM Transactions on Embedded Computing Systems;2019-10-19