Equivalence of dynamical systems by bisimulation

Arjan van der Schaft. Equivalence of dynamical systems by bisimulation. IEEE Trans. Automat. Contr., 49(12):2160-2172, 2004. [doi]

Abstract

Abstract is missing.