d/dt: a verification tool for hybrid systems
Eugène Asarin, Thao Dang, Oded Maler · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003
We describe the tool d/dt which provides automatic verification of safety properties of hybrid systems with linear continuous dynamics and uncertain bounded input. The verification procedure is based on a technique for over-approximating reachable sets by orthogonal polyhedra. In addition to verification, using the reachability analysis, the tool allows one to synthesize switching controllers for safety specifications.