The Theory of Hybrid Automata-Reference-Cited by-同舟云学术

The Theory of Hybrid Automata

Published:2000 Issue: Volume: Page:265-292
ISSN:
Container-title:Verification of Digital and Hybrid Systems
language:
Short-container-title:

Author:

Henzinger Thomas A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-59615-5_13.pdf

Reference47 articles.

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid Systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 209–229. Springer-Verlag, 1993.

2. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the descrip-tion and analysis of hybrid Systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, Lecture Notes in Computer Science 736, pages 149–178. Springer-Verlag, 1993.

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

4. R. Alur and T.A. Henzinger. Logics and models of real time: a survey. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 74–106. Springer-Verlag, 1992.

5. T.A. Henzinger. Hybrid automata with finite bisimulations. In Z. Fülöp and F. Gecseg, editors, ICALP 95: Automata, Languages, and Programming, Lecture Notes in Computer Science 944, pages 324–335. Springer-Verlag, 1995.

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

1. Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation;Innovations in Systems and Software Engineering;2024-07-04

2. Co-operative game for certification and continued conformance check of AI enabled CPS^*;2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS);2024-05-12

3. 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

4. RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024

5. A new global optimization for hybrid automaton Identification;IFAC-PapersOnLine;2024