Equivalence of hybrid dynamical systems
Arjan J. van der Schaft, B.L.M. de Moor, B. Motmans, J.C. Willems, Paul VAN DOOREN, V Blondel · University of Twente Research Information · 2004
A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’. The intuitive idea is that we only want to distinguish between two systems if the distinction can be detected by an external system