I am a researcher at the Software Systems and Computation department of the Complutense University of Madrid.

The broad goal of my research is to develop and implement algorithmic methods for the design of robust cyber-physical systems (CPS). My main interests lies on the development and application of verification and synthesis techniques to hybrid systems. I investigate the application of formal methods to the verification of stability and to the data-driven synthesis of hybrid systems, and implement the theoretical results in software tools such as Averist.

I was a graduate student at IMDEA Software Institute under the supervision of Pavithra Prabhakar and was a postdoctoral researcher in Henzinger Group at the Institute of Science and Technology (IST) of Austria.

Conference & Journal Papers

1. Synthesis of Parametric Hybrid Automata from Time Series.
   Miriam García Soto, Thomas A. Henzinger and Christian Schilling.
   International Symposium on Automated Technology for Verification and Analysis (ATVA) 2022. arXiv | doi | pdf | video
2. Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.
   Miriam García Soto, Thomas A. Henzinger and Christian Schilling.
   International Conference on Hybrid Systems: Computation and Control (HSCC) 2021. arXiv | pdf | video
3. Hybridization for stability verification of nonlinear switched systems.
   Miriam García Soto and Pavithra Prabhakar.
   IEEE Real-Time Systems Symposium (RTSS) 2020. doi
4. Abstraction based verification of stability of polyhedral switched systems.
   Miriam García Soto and Pavithra Prabhakar.
   IFAC journal of Nonlinear Analysis: Hybrid Systems (NAHS) 2020. doi
5. Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.
   Atreyee Kundu, Miriam García Soto and Pavithra Prabhakar.
   IEEE Indian Control Conference Proceedings (ICC) 2019. doi | pdf
6. Membership-Based Synthesis of Linear Hybrid Automata.
   Miriam García Soto, Thomas A. Henzinger, Christian Schilling and Luka Zeleznik.
   International Conference on Computer-Aided Verification (CAV) 2019. doi | pdf | slides
7. Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems.
   Miriam García Soto and Pavithra Prabhakar.
   International Conference on Hybrid Systems: Computation and Control (HSCC) 2018. doi | pdf | slides
8. Formal Synthesis of Stabilizing Controllers for Switched Systems.
   Pavithra Prabhakar and Miriam García Soto.
   International Conference on Hybrid Systems: Computation and Control (HSCC) 2017. doi | pdf | slides
9. Counterexample Guided Abstraction Refinement for Stability Analysis.
   Pavithra Prabhakar and Miriam García Soto.
   International Conference on Computer-Aided Verification (CAV) 2016. doi | pdf
10. An algorithmic approach to global asymptotic stability verification of hybrid systems.
    Pavithra Prabhakar and Miriam García Soto.
    International Conference on Embedded Software (EMSOFT) 2016. doi | pdf | slides
11. Hybridization for Stability Analysis of Switched Linear Systems.
    Pavithra Prabhakar and Miriam García Soto.
    International Conference on Hybrid Systems: Computation and Control (HSCC) 2016. doi | pdf
12. Verification Techniques for Hybrid Systems.
    Pavithra Prabhakar, Miriam García Soto and Ratan Lan.
    International Symposium on Leveraging Applications of Formal Methods (ISoLA) 2016. doi
13. Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems.
    Pavithra Prabhakar and Miriam García Soto.
    International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2015. doi | pdf
14. An algorithmic approach to stability verification of polyhedral switched systems.
    Pavithra Prabhakar and Miriam García Soto.
    IEEE Americal Control Conference (ACC) 2014. doi | pdf
15. Abstraction based Model-Checking of Stability of Hybrid Systems.
    Pavithra Prabhakar and Miriam García Soto.
    International Conference on Computer-Aided Verification (CAV) 2013. doi | pdf

Workshop Papers

1. A CEGAR approach for stability verification of linear hybrid systems.
   Miriam García Soto.
   International Workshop on Design and Analysis of Robust Systems (DARS) 2017.
   pdf | slides
2. AVERIST: An Algorithmic Verifier for Stability.
   Pavithra Prabhakar and Miriam García Soto.
   International Workshop on Numerical Software Verification (NSV) 2015.
   doi | pdf | slides
3. An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.
   Pavithra Prabhakar and Miriam García Soto.
   International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) 2015. doi | pdf | slides

Demos & Posters

1. Formal Synthesis of Stabilizing Controllers for Switched Systems.
   International Conference on Hybrid Systems: Computation and Control (HSCC) 2017. demo
2. An algorithmic approach to global asymptotic stability verification of hybrid systems.
   International Conference on Embedded Software (EMSOFT) 2016. poster
3. Algorithmic stability verification of cyber physical systems.
   ACM Celebration of Women in Computing (WomENcourage) 2015. poster
4. AVERIST: Algorithmic verifier of stability.
   4th International Workshop on Hybrid Systems Biology (HSB) 2015. demo | slides
5. Algorithmic Verification of Stability of Hybrid Systems.
   Summer School on Cyber-Physical Systems (SS-CPS) 2013. poster

Theses

1. An Algorithmic Approach for Stability Verification of Hybrid Systems.
   Ph.D. Thesis. Technical University of Madrid (UPM) 2017. doi | pdf
2. Finding Minimum Energy Paths on Error Affected Potential Energy Surfaces.
   Master Thesis. University of L'Aquila (UNIVAQ) 2012. pdf