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…