Controller synthesis for hybrid systems with a lower bound on event separation
From MaRDI portal
Publication:4810934
DOI10.1080/0020717031000123616zbMath1048.93051WikidataQ57380698 ScholiaQ57380698MaRDI QIDQ4810934
Tiziano Villa, Luca Benvenuti, Howard Wong-Toi, Andrea Balluchi, Alberto L. Sangiovanni-Vincentelli
Publication date: 17 August 2004
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/0020717031000123616
93B50: Synthesis problems
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Controller synthesis for hybrid systems with a lower bound on event separation, Automatic synthesis of switching controllers for linear hybrid systems: safety control, Tracking smooth trajectories in linear hybrid systems, Theorem of abstraction for equivalent controllers in hybrid systems
Cites Work
- Unnamed Item
- Unnamed Item
- Controllers for reachability specifications for hybrid systems
- On the regularization of Zeno hybrid automata
- On the synthesis of discrete controllers for timed systems
- Controller synthesis for hybrid systems with a lower bound on event separation
- Supervisory control of families of linear set-point controllers - Part I. Exact matching