Tools for the Analysis of Hybrid Models

Algorithmic Verification of Continuous and Hybrid Systems

“…This property makes the approach particularly attractive for the analysis of hybrid (discrete-continuous, numerical-logical) systems where the applicability of analytic methods is rather limited. Such hybrid models can express, for example, deviation from idealized linear models due to constraints and saturation as well as other switching phenomena such as thermostat-controlled heating or gear shifting, see [66] for a lightweight introduction to hybrid systems and more elaborate accounts in books, surveys and lecture notes such as [74,17,64,48,61,80,76,30,20,4].…”