Publisher
Springer Nature Switzerland
Reference59 articles.
1. Abate, A., Tiwari, A., Sastry, S.: Box invariance in biologically-inspired dynamical systems. Automatica (2009)
2. Ahrendt, W., et al.: The KeY tool. Softw. Syst. Model. 4(1), 32–54 (2005). https://doi.org/10.1007/s10270-004-0058-x
3. Alur, R.: Principles of Cyber-Physical Systems. MIT Press, Cambridge (2015)
4. Asarin, E., Dang, T., Maler, O.: Verification and Synthesis of Hybrid Systems. In: Control Engineering. Birkhäuser, Basel (2006)
5. Bohrer, B., Platzer, A.: A hybrid, dynamic logic for hybrid-dynamic information flow. In: Dawar and Grädel [16], pp. 115–124. https://doi.org/10.1145/3209108.3209151
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hybrid dynamical systems logic and its refinements;Science of Computer Programming;2025-01
2. Loose Observation in Event-B;Lecture Notes in Computer Science;2024