Synthesis of hybrid automata with affine dynamics from time-series data.

Miriam García Soto Thomas A. Henzinger Christian Schilling

Published in: HSCC (2021)

Keyphrases

hybrid automata
finite state automata
dynamical systems
affine transformation
program synthesis
genetic regulatory networks
image sequences
image registration
data exchange
inductive inference
linear dynamical systems
piecewise affine