Expressive Power of Hybrid Systems with Variables, Parameters and Arrays
Ruggero Lanotte · Electronic Notes in Theoretical Computer Science · 2004
A hybrid system consists of a finite number of locations, variables and transitions. Different classes are considered in the literature. In this paper we study the different expressive power of these classes.