Techniques and Tools for Hybrid Systems Reachability Analysis

Jan 1, 2017·
Erika Ábrahám
,
Johanna Nellen
Stefan Schupp
Stefan Schupp
· 0 min read
Abstract
This paper provides an overview of techniques and tools for hybrid systems reachability analysis. We discuss algorithmic approaches, tool implementations, and their applications to safety verification of hybrid systems with mixed discrete-continuous behavior.
Type
Stefan Schupp
Authors
Stefan Schupp
Formal Verification Engineer