Bisimulation relations for dynamical, control, and hybrid systems (2005)

by E Haghverdi, P Tabuada, G J Pappas
Venue:Theoretical Computer Science