By Topic

Guard synthesis for safety of hybrid systems using sum of squares programming

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Samuel Coogan ; Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA ; Murat Arcak

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.

Published in:

2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

Date of Conference:

10-13 Dec. 2012