DocumentCode
3179422
Title
Guard synthesis for safety of hybrid systems using sum of squares programming
Author
Coogan, Samuel ; Arcak, Murat
Author_Institution
Dept. of Electr. Eng. & Comput. Sci., Univ. of California, Berkeley, Berkeley, CA, USA
fYear
2012
fDate
10-13 Dec. 2012
Firstpage
6138
Lastpage
6143
Abstract
We present a technique for synthesizing switching guards for hybrid systems by using sum of squares (SOS) programming. The guards are defined to be semialgebraic sets calculated from a bilinear SOS program. We present a method for ensuring that synthesized guards satisfy a state-based safety constraint and do not allow Zeno executions.We use an iterative algorithm to solve the bilinear program and demonstrate our approach with an example.
Keywords
control system synthesis; iterative methods; large-scale systems; set theory; time-varying systems; bilinear SOS program; complex systems; hybrid systems; iterative algorithm; semialgebraic sets; state-based safety constraint; sum of squares programming; switching guard synthesis; Heuristic algorithms; Polynomials; Programming; Safety; Surveillance; Trajectory; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location
Maui, HI
ISSN
0743-1546
Print_ISBN
978-1-4673-2065-8
Electronic_ISBN
0743-1546
Type
conf
DOI
10.1109/CDC.2012.6426818
Filename
6426818
Link To Document