Formal synthesis of stabilizing controllers for switched systems
- Prabhakar, P.
- Soto, M.G.
Aktak:
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450345903
Argitalpen urtea: 2017
Orrialdeak: 111-120
Mota: Biltzar ekarpena
