Equivalence of Dynamical Systems by Bisimulation

10.1007/978-1-4612-1082-5

10.1007/3-540-45873-5_34

henzinger, 1995, hybrid automata with finite bisimulations, ICIALP 95 Automata Languages and Programming, 324

10.1007/3-540-45804-2

isidori, 1995, Nonlinear Control Systems, 10.1007/978-1-84628-615-5

lafferriere, 1998, hybrid systems with finite bisimulations, Hybrid Systems V

10.1007/PL00009858

milner, 1989, Communication and Concurrency

milner, 1999, Communication and Mobile Systems The $\pi$ -Calculus

10.1007/978-1-4757-2101-0

10.1109/9.863598

10.1016/j.automatica.2003.07.003

10.1002/rnc.591

basile, 1992, Controlled and Conditioned Invariants in Linear System Theory

van der schaft, 2000, An Introduction to Hybrid Dynamical Systems, 251, 10.1007/BFb0109998

10.1109/9.981719

10.1007/978-1-4612-0957-7

10.1016/j.sysconle.2003.09.013

brockett, 1970, Finite Dimensional Linear Systems

elkin, 1999, Reduction of Nonlinear Control Systems A Differential Geometric Approach, 10.1007/978-94-011-4617-3

clarke jr, 2002, Model checking

10.1109/5.871304

haghverdi, 2002, bisimulation relations for discrete and continuous systems, Electronic Notes in Theoretical Computer Science

abraham, 1988, Manifolds Tensor Analysis and Applications Applied Mathematical Sciences 75, 10.1007/978-1-4612-1029-0

10.1109/TAC.2002.1000269

polderman, 1998, Introduction to Mathematical Systems Theory, 10.1007/978-1-4757-2953-5

10.1007/BFb0017309

10.1007/978-3-540-24743-2_37

10.1016/S0167-6911(02)00318-3

van der schaft, 2002, achievable behavior by composition, Proc 41st IEEE Conf Decision and Control, 10.1109/CDC.2002.1184458

van der schaft, 2004, equivalence of hybrid dynamical systems, 16th Int Symp Mathematical Theory of Networks and Systems (MTNS2004)