Formal synthesis of stabilizing controllers for switched systems
- Prabhakar, P.
- Soto, M.G.
Konferenzberichte:
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450345903
Datum der Publikation: 2017
Seiten: 111-120
Art: Konferenz-Beitrag
