Author:
Doyen Laurent,Henzinger Thomas A.,Raskin Jean-François
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)
2. Lecture Notes in Computer Science;E. Asarin,2000
3. Lecture Notes in Computer Science;R. Bagnara,2002
4. Lecture Notes in Computer Science;E.M. Clarke,2000
5. Lecture Notes in Computer Science;A. Fehnker,2004
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis;Lecture Notes in Computer Science;2024
2. Model-bounded Monitoring of Hybrid Systems;ACM Transactions on Cyber-Physical Systems;2022-10-31
3. Asynchronous Correspondences Between Hybrid Trajectory Semantics;Lecture Notes in Computer Science;2022
4. Model-bounded monitoring of hybrid systems;Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems;2021-05-19
5. Bracketing backward reach sets of a dynamical system;International Journal of Control;2019-07-24