CaltechAUTHORS
  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 http://resolver.caltech.edu/CaltechAUTHORS:20110831-101555837

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

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20110831-101555837

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.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/CDC.2004.1428673 DOIUNSPECIFIED
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1428673PublisherUNSPECIFIED
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.
Funders:
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:http://resolver.caltech.edu/CaltechAUTHORS:20110831-101555837
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: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1428673&isnumber=30836
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:25182
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:07 Sep 2011 14:56
Last Modified:07 Sep 2011 14:56

Repository Staff Only: item control page