Formal synthesis of stabilizing controllers for switched systems
- Prabhakar, P.
- Soto, M.G.
Proceedings:
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450345903
Year of publication: 2017
Pages: 111-120
Type: Conference paper
