Abstract
We consider in this paper switched systems, a class of hybrid systems recently used with success in various domains such as automotive industry and power electronics. We propose a state-dependent control strategy which makes the trajectories of the analyzed system converge to finite cyclic sequences of points. Our method relies on a technique of decomposition of the state space into local regions where the control is uniform. We have implemented the procedure using zonotopes, and applied it successfully to several examples of the literature and industrial case studies in power electronics.
| Original language | English |
|---|---|
| Pages (from-to) | 303-329 |
| Number of pages | 27 |
| Journal | Formal Methods in System Design |
| Volume | 45 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 25 Nov 2014 |
| Externally published | Yes |
Keywords
- Control synthesis
- Controlled invariant
- Hybrid systems
- Limit cycles
- Safety
- Zonotopes