Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference7 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
2. Hybrid Systems II;Antsaklis,1995
3. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoret. Comput. Sci.,1995
4. Some bounds on the computational power of piece- wise constant derivative systems;Bournez,1997
5. O. Bournez, Achilles and the tortoise climbing up the hyper-arithmetical hiearchy, Theoret. Comput. Sci.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust Conformal Prediction for STL Runtime Verification under Distribution Shift;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Specification Mining and Robust Design under Uncertainty;ACM Transactions on Embedded Computing Systems;2019-10-19
3. Probably Approximate Safety Verification of Hybrid Dynamical Systems;Formal Methods and Software Engineering;2019
4. Stochastic Local Search for Falsification of Hybrid Systems;Automated Technology for Verification and Analysis;2015
5. Weak Singular Hybrid Automata;Lecture Notes in Computer Science;2014