Equivalence of dynamical systems by bisimulation

IEEE Transactions on Automatic Control

Volumn 49, Issue 12, 2004, Pages 2160-2172

  van der Schaft, A J ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Abstraction; Bisimulation; Controlled invariance; Maximal bisimulation relation; Non linear systems; Nondeterministic systems; Nonminimal systems; State space equivalence

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONTROL THEORY; NONLINEAR CONTROL SYSTEMS; THEOREM PROVING;

ABSTRACTION; BISIMULATION; CONTROLLED INVARIANCE; MAXIMAL BISIMULATION RELATION; NONDETERMINISTIC SYSTEMS; NONMINIMAL SYSTEMS; STATE SPACE EQUIVALENCE;

LINEAR CONTROL SYSTEMS;

EID: 11044229094     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2004.838497     Document Type: Article

References (31)

1. R. Abraham, J. E. Marsden, and T. Ratiu, Manifolds, Tensor Analysis, and Applications, Applied Mathematical Sciences 75, 2nd ed. New York: Springer-Verlag, 1988.
2. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, " Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, pp. 971-984, June 2000.
3. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, "Impulse differential inclusions: A viability approach to hybrid systems," IEEE Trans. Automat. Contr., vol. 47, pp. 2-20, Jan. 2002.
4. G. Basile and G. Marro, Controlled and Conditioned Invariants in Linear System Theory. Upper Saddle River, NJ: Prentice-Hall, 1992.
5. R. W. Brockett, Finite Dimensional Linear Systems. New York: Wiley, 1970.
6. F. M. Callier and C. A. Desoer, Linear System Theory. New York: Springer-Verlag, 1991.
7. E. M. Clarke Jr., O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2002.
8. V. I. Elkin, Reduction of Nonlinear Control Systems: A Differential Geometric Approach. Dordrecht, The Netherlands: Kluwer, 1999.
9. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for discrete and continuous systems," in Electronic Notes in Theoretical Computer Science, R. Blute and P. Selinger, Eds. Amsterdam, The Netherlands: Elsevier, Aug. 2002.
10. T. A. Henzinger, "Hybrid automata with finite bisimulations," in ICIALP 95: Automata, Languages, and Programming, Z. Fulop and F. Gecseg, Eds. New York: Springer-Verlag, 1995, pp. 324-335.
11. H. Hermanns, Interactive Markov Chains. New York: Springer-Verlag, 2002.
12. A. Isidori, Nonlinear Control Systems, 3rd ed. London, U.K.: Springer-Verlag, 1995.
13. G. Lafferriere, G. J. Pappas, and S. Sastry, "Hybrid systems with finite bisimulations," in Hybrid Systems V, P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, Eds. New York: Springer-Verlag, 1998.
14. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Control Signals, Syst., vol. 13, pp. 1-21, 2000.
15. R. Milner, Communication and Concurrency. Upper Saddle, NJ: Prentice-Hall, 1989.
16. R. Milner, Communication and Mobile Systems: The π-Calculus, Cambridge, U.K.: Cambridge Univ. Press, 1999.
17. H. Nijmeijer and A. J. van der Schaft, Nonlinear Dynamical Control Systems. New York: Springer-Verlag, 1990.
18. G. J. Pappas, G. Lafferriere, and S. Sastry, "Hierarchically consistent control systems," IEEE Trans. Automat. Contr., vol. 45, pp. 1144-1160, June 2000.
19. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
20. G. J. Pappas and S. Simic, "Consistent abstractions of affine control systems," IEEE Trans. Automat. Contr., vol. 47, pp. 745-756, Apr. 2002.
21. D. Park, "Concurrency and automata on infinite sequences," in Fifth GI Conference on Theoretical Computer Science, Vol. 104 of Lecture Notes in Computer Science, P. Deussen, Ed. New York: Springer-Verlag, 1981.
22. J. W. Polderman and J. C. Willems, Introduction to Mathematical Systems Theory. New York: Springer-Verlag, 1998.
23. A. J. van der Schaft, "Achievable behavior of general systems," Syst. Control Lett., vol. 49, pp. 141-149, 2003.
24. A. J. van der Schaft, "Bisimulation of dynamical systems," in Hybrid Systems: Computation and Control, R. Alur and G. J. Pappas, Eds. New York: Springer-Verlag, 2004, pp. 555-569.
25. A. J. van der Schaft, "Equivalence of hybrid dynamical systems," presented at the 16th Int. Symp. Mathematical Theory of Networks and Systems (MTNS2004), Leuven, Belgium, July 5-9, 2004.
26. A. J. van der Schaft and A. A. Julius, "Achievable behavior by composition," presented at the 41st IEEE Conf. Decision and Control, Las Vegas, NV, Dec. 2002.
27. A. J. van der Schaft and J. M. Schumacher, An Introduction to Hybrid Dynamical Systems. London, U.K.: Springer-Verlag, 2000, vol. 251.
28. A. J. van der Schaft and J. M. Schumacher, "Compositionality issues in discrete, continuous, and hybrid systems," Int. J. Robust Nonlinear Control, vol. 11, pp. 417-434, 2001.
29. P. Tabuada and G. J. Pappas, "Bisimilar control affine systems," Syst. Control Lett., pp. 49-58, 2004.
30. P. Tabuada, G. J. Pappas, and P. Lima, "Composing abstractions of hybrid systems," in Hybrid Syst.: Comput. Control, C. Tomlin and M. R. Greenstreet. Eds. New York: Springer-Verlag, 2002, pp. 436-450.
31. W. M. Wonham, Linear Multivariable Control: A Geometric Approach, 3rd ed. New York: Springer-Verlag, 1985.