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
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;
Conference_Titel :
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on
Conference_Location :
Maui, HI
Print_ISBN :
978-1-4673-2065-8
Electronic_ISBN :
0743-1546
DOI :
10.1109/CDC.2012.6426818
