A computational approach to synthesizing guards for hybrid systems |
| |
Affiliation: | 1. Dpto. EDAN, University of Sevilla, Aptdo. 1160, 41080 Sevilla, Spain;2. Dpto. de Matemática, Universidade Federal da Paraíba, 58051-900, João Pessoa, Brazil;1. School of Automation Engineering, University of Electronic Science and Technology of China, Chengdu, Sichuan 611731, PR China;2. School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu, Sichuan 611731, PR China;3. School of Mathematics and Finance-Economics, Sichuan University of Arts and Science, Dazhou, Sichuan 635000, PR China |
| |
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: | Hybrid systems Guard synthesis Computational methods |
本文献已被 ScienceDirect 等数据库收录! |
|