Published December 2004
| public
Book Section - Chapter
S.O.S. for safety
Abstract
Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition is then employed to check emptiness of the set defined by polynomial equalities and inequalities which can be effectively computed by semidefinite programming.
Additional Information
© 2004 IEEE. Date of Current Version: 16 May 2005. This research is partially supported by the National Science Foundation Information Technology Research grant CCR01-21431. We thank Ashish Tiwari for very useful comments on this paper and discussions on safety of hybrid systems.Additional details
- Eprint ID
- 25182
- DOI
- 10.1109/CDC.2004.1428673
- Resolver ID
- CaltechAUTHORS:20110831-101555837
- CCR01-21431
- NSF Information Technology Research (ITR)
- Created
-
2011-09-07Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field
- Series Name
- IEEE Conference on Decision and Control
- Other Numbering System Name
- INSPEC Accession Number
- Other Numbering System Identifier
- 8394108