Miriam García Soto

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

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.

Conference & Journal Papers

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Counterexample Guided Abstraction Refinement for Stability Analysis.
    Pavithra Prabhakar and Miriam García Soto.
    International Conference on Computer-Aided Verification (CAV) 2016. doi | pdf
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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