MIRIAM
GARCÍA SOTO
María Zambrano
![Foto de MIRIAM](/img/nophoto.png)
![Foto de Universidad Politécnica de Madrid](/img/noimage_org.png)
Universidad Politécnica de Madrid
Madrid, EspañaPublicacións en colaboración con investigadores/as de Universidad Politécnica de Madrid (4)
2017
-
Formal synthesis of stabilizing controllers for switched systems
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
2016
-
Counterexample guided abstraction refinement for stability analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
AVERIST: An Algorithmic Verifier for Stability
Electronic Notes in Theoretical Computer Science, Vol. 317, pp. 133-139
2014
-
An algorithmic approach to stability verification of polyhedral switched systems
Proceedings of the American Control Conference