Formal synthesis of stabilizing controllers for switched systems
- Prabhakar, P.
- Soto, M.G.
Actas:
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450345903
Año de publicación: 2017
Páginas: 111-120
Tipo: Aportación congreso