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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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