SPeeDI - a Verification Tool for Polygonal Hybrid Systems
Evgueni Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Proceedings of the 14th International Conference on Computer Aided Verification CAV'2002 (Copenhagen, Denmark), July 2002
Hybrid systems combining discrete and continuous dynamics arise as mathematical models of various artificial and natural systems, and as an approximation to complex continuous systems. A very important problem in the analysis of the behavior of hybrid systems is reachability. It is well-known that for most non-trivial subclasses of hybrid systems this and all interesting verification problems are undecidable. An interesting and still decidable class of hybrid system are the (2-dimensional) polygonal differential inclusions. We present a tool for reachability analysis of such systems.