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

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