DocumentCode
2192498
Title
d/dt: a verification tool for hybrid systems
Author
Asarin, Eugene ; Dang, Thao ; Maler, Oded
Author_Institution
VERIMAG, Gieres, France
Volume
3
fYear
2001
fDate
2001
Firstpage
2893
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-7061-9
Type
conf
DOI
10.1109/.2001.980715
Filename
980715
Link To Document