We present the framework of delta-complete analysis for bounded reachability problems of hybrid systems. We perform bounded reachability checking through solving delta-decision problems over the reals. The techniques take into account of robustness properties of the systems under numerical perturbations. Our implementation of the techniques scales well on several highly nonlinear hybrid system models that arise in biomedical applications.
CITATION STYLE
Clarke, E. M., & Gao, S. (2014). Model checking hybrid systems (Invited Talk). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803, pp. 385–386). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_28
Mendeley helps you to discover research relevant for your work.