Miriam Garcia Soto

According to our database, Miriam Garcia Soto authored at least 16 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthesis of Parametric Hybrid Automata from Time Series.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Synthesis of hybrid automata with affine dynamics from time-series data.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

2020

Hybridization for Stability Verification of Nonlinear Switched Systems.

Miriam García Soto, Pavithra Prabhakar

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

2019

Membership-Based Synthesis of Linear Hybrid Automata.

Miriam García Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems.

Miriam Garcia Soto, Pavithra Prabhakar

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

An Algorithmic Approach for Stability Verification of Hybrid Systems.

Miriam García Soto

PhD thesis, 2017

Formal Synthesis of Stabilizing Controllers for Switched Systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Verification Techniques for Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Hybridization for Stability Analysis of Switched Linear Systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

An algorithmic approach to global asymptotic stability verification of hybrid systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the 2016 International Conference on Embedded Software, 2016

Counterexample Guided Abstraction Refinement for Stability Analysis.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

AVERIST: An Algorithmic Verifier for Stability.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

An algorithmic approach to stability verification of polyhedral switched systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the American Control Conference, 2014

2013

Abstraction Based Model-Checking of Stability of Hybrid Systems.

Pavithra Prabhakar, Miriam Garcia Soto

Proceedings of the Computer Aided Verification - 25th International Conference, 2013