ions of hybrid systems: formal languages to describe dynamical behaviour ⋆ Rebekah Carter, Eva M. Navarro-López School of Computer Science, The University of Manchester Oxford Road, Manchester, M13 9PL, UK (e-mails: [email protected], [email protected]) Abstract: We show how finite-state automata over finite and infinite words can capture key dynamical properties of hybrid systems. Th...