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. https://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: https://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: |
| |||||||||
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: |
| |||||||||
Other Numbering System: |
| |||||||||
Series Name: | IEEE Conference on Decision and Control | |||||||||
DOI: | 10.1109/CDC.2004.1428673 | |||||||||
Record Number: | CaltechAUTHORS:20110831-101555837 | |||||||||
Persistent URL: | https://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: | 09 Nov 2021 16:30 |
Repository Staff Only: item control page