Title :
d/dt: a verification tool for hybrid systems
Author :
Asarin, Eugene ; Dang, Thao ; Maler, Oded
Author_Institution :
VERIMAG, Gieres, France
Abstract :
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
Keywords :
automata theory; control system CAD; formal verification; reachability analysis; safety; software tools; automatic verification tool; d/dt tool; hybrid automata; hybrid systems; linear continuous dynamics; linear system; orthogonal polyhedra; reachability analysis; safety specifications; switching controllers; uncertain bounded input; Automata; Automatic control; Control systems; Embedded system; Equations; Linear algebra; Reachability analysis; Safety; State-space methods; Switches;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980715
