Miriam García Soto

Available identifiers

zbMath Open soto.miriam-garciaMaRDI QIDQ2178202

List of research outcomes

Publication	Date of Publication	Type
Synthesis of hybrid automata with affine dynamics from time-series data	2024-02-21	Paper
Membership-based synthesis of linear hybrid automata	2024-02-16	Paper
Synthesis of parametric hybrid automata from time series	2023-06-02	Paper
Abstraction based verification of stability of polyhedral switched systems	2020-05-07	Paper
Counterexample Guided Abstraction Refinement for Stability Analysis	2019-05-03	Paper
Formal Synthesis of Stabilizing Controllers for Switched Systems	2017-07-11	Paper
Hybridization for Stability Analysis of Switched Linear Systems	2017-05-19	Paper
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems	2015-02-04	Paper

Research outcomes over time

This page was built for person: Miriam García Soto