Formal synthesis of stabilizing controllers for switched systems
- Prabhakar, P.
- Soto, M.G.
Actes de conférence:
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450345903
Année de publication: 2017
Pages: 111-120
Type: Communication dans un congrès
