PostScript
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
Abstract:
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.
| 5 pages | |
PostScript |