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 not available from this repository.
Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20110831-101555837
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|
|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.|
|Other Numbering System:|
|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.|
|Deposited By:||Tony Diaz|
|Deposited On:||07 Sep 2011 14:56|
|Last Modified:||07 Sep 2011 14:56|
Repository Staff Only: item control page