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…