Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
7151777 | Systems & Control Letters | 2014 | 8 Pages |
Abstract
We propose a technique for synthesizing switching guards for hybrid systems to satisfy a given state-based safety constraint. Using techniques from sum of squares (SOS) optimization, we design guards defined by semialgebraic sets that trigger mode switches, and we guarantee that the synthesized switching policy does not allow Zeno executions. We demonstrate our approach on an example of switched affine systems and on an application to traffic ramp metering.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Samuel Coogan, Murat Arcak,