16 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.FL2022★ 4 cited
Synthesis of Parametric Hybrid Automata from Time Series
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models. Each m…
eess.SY2021★ 16 cited
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by af…