Abstract
Hybrid systems have a complete axiomatization in differential dynamic logic relative to continuous systems. They also have a complete axiomatization relative to discrete systems. Moreover, there is a constructive reduction of properties of hybrid systems to corresponding properties of continuous systems or to corresponding properties of discrete systems. We briefly summarize and discuss some of the implications of these results. © 2012 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Platzer, A. (2012). Logical analysis of hybrid systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7386 LNCS, pp. 43–49). https://doi.org/10.1007/978-3-642-31623-4_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
