"Bisimulation relations for dynamical, control, and hybrid systems."

Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics