Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Alexander, J.C., Seidman, T.I.: Sliding modes in intersecting switching surfaces. Houston J. Math. 24, 545–569 (1994)
2. Lecture Notes in Computer Science;R. Alur,2002
3. Lecture Notes in Computer Science;E. Asarin,2000
4. Lecture Notes in Computer Science;E. Asarin,2003
5. Asarin, E., Dang, T., Maler, O.: d/dt: A tool for Verification of Hybrid Systems. In: Computer Aided Verification. LNCS, Springer, Heidelberg (2002)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Trade-Off Between Efficiency and Precision of Neural Abstraction;Quantitative Evaluation of Systems;2023
2. UTOPIC: Under-Approximation Through Optimal Control;Quantitative Evaluation of Systems;2019
3. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
4. Verification of Hybrid Systems;Handbook of Model Checking;2018
5. Algorithmic Verification of Continuous and Hybrid Systems;Electronic Proceedings in Theoretical Computer Science;2014-02-23