Formal synthesis of stabilizing controllers for switched systems

  1. Prabhakar, P.
  2. 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

DOI: 10.1145/3049797.3049822 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible