A Caltech Library Service

S.O.S. for safety

Yazarel, Hakan and Prajna, Stephen and Pappas, George J. (2004) S.O.S. for safety. In: 2004 43rd IEEE Conference on Decision and Control. IEEE Conference on Decision and Control . IEEE , Piscataway, NJ, pp. 461-466. ISBN 0-7803-8682-5

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


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.

Item Type:Book Section
Related URLs:
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.
Funding AgencyGrant Number
NSF Information Technology Research (ITR)CCR01-21431
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number8394108
Record Number:CaltechAUTHORS:20110831-101555837
Persistent URL:
Official Citation:Yazarel, H.; Prajna, S.; Pappas, G.J.; , "S.O.S. for safety," Decision and Control, 2004. CDC. 43rd IEEE Conference on , vol.1, no., pp.461-466 Vol.1, 17-17 Dec. 2004 doi: 10.1109/CDC.2004.1428673 URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:25182
Deposited By: Tony Diaz
Deposited On:07 Sep 2011 14:56
Last Modified:07 Sep 2011 14:56

Repository Staff Only: item control page