Synthesis of Parametric Hybrid Automata from Time Series

Open in new window