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 159 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

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

3. Qualitative Tendencies for Hybrid System Simulation;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Qualitative Reasoning and Cyber-Physical Systems: Abstraction, Modeling, and Optimized Simulation;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

5. Developing Cloud PLC for poST-Specified Software;2023 International Russian Automation Conference (RusAutoCon);2023-09-10