MIRIAM
GARCÍA SOTO
María Zambrano
![Foto de MIRIAM](/img/nophoto.png)
![Foto de Kansas State University](/img/noimage_org.png)
Kansas State University
Manhattan, Estados UnidosPublicacions en col·laboració amb investigadors/es de Kansas State University (9)
2020
-
Abstraction based verification of stability of polyhedral switched systems
Nonlinear Analysis: Hybrid Systems, Vol. 36
-
Hybridization for Stability Verification of Nonlinear Switched Systems
Proceedings - Real-Time Systems Symposium
2019
-
Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems
2019 5th Indian Control Conference, ICC 2019 - Proceedings
2018
-
Averist: Algorithmic verifier for stability of linear hybrid systems
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
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
-
An algorithmic approach to global asymptotic stability verification of hybrid systems
Proceedings of the 13th International Conference on Embedded Software, EMSOFT 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)
-
Erratum to: Verification Techniques for Hybrid Systems (Leveraging Applications of Formal Methods, Verification and Validation (Part II) 10.1007/978-3-319-47169-3_61)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Hybridization for stability analysis of switched linear systems
HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control