Bisimulation relations for dynamical, control, and hybrid systems

Theoretical Computer Science

Volumn 342, Issue 2-3, 2005, Pages 229-261

  Haghverdi, Esfandiar ^a   Tabuada, Paulo ^b   Pappas, George J ^c  

^a INDIANA UNIVERSITY   (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Bisimulation; Control systems; Dynamical systems; Hybrid systems; Open maps

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; CONCURRENT ENGINEERING; CONFORMAL MAPPING; CONTROL SYSTEMS;

BISIMULATION; DYNAMICAL SYSTEMS; HYBRID SYSTEMS; OPEN MAPS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 23944505464     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.03.045     Document Type: Article

References (30)

1. R. Abraham, J. Marsden, T. Ratiu, Manifolds, Tensor Analysis and Applications, Applied Mathematical Sciences, Springer, 1988.
2. P.J. Antsaklis A brief introduction to the theory and applications of hybrid systems Proc. of the IEEE 88 7 2000 879 887 Special issue on Hybrid Systems: Theory and Applications
3. P.J. Antsaklis, and A. Nerode Hybrid control systems: an introductory discussion to the special issue IEEE Trans. Automatic Control 43 4 1998 501 508 Special Issue on Hybrid Systems
4. R. Blute, J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for labelled markov processes, in: Logic in Computer Science, IEEE Press, Silver Spring, MD, 1997, pp. 149-158.
5. W. Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, Elsevier Science & Technology Books, 1986.
6. J. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli, Overcoming heterophobia: modeling concurrency in heterogeneous systems, in: Proc. of the Second Internat. Conf. on Application of Concurrency to System Design, Newcastle upon Tyne, UK, June 2001.
7. A. Cheng, and M. Nielsen Open maps, behavioural equivalences, and congruences Theoret. Comput. Sci. 190 1 1998 87 112
8. E. Haghverdi, P. Tabuada, G.J. Pappas, Bisimulation relations for dynamical and control systems, in: R. Blute, P. Selinger (Eds.), Category Theory and Computer Science, Vol. 69, Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, Amsterdam, 2003.
9. M. Hennessy, Algebraic Theory of Processes, MIT Press, series in the foundations of computing, 1988.
10. A. Isidori Nonlinear Control Systems second ed. 1989 Springer Berlin
11. B. Jacobs, J.J.M.M. Rutten (Eds.), Coalgebraic Methods in Computer Science, Vol. 19, ENTCS, Elsevier Science, Amsterdam, 1999.
12. A. Joyal, M. Nielsen, and G. Winskel Bisimulation from open maps Inform. Comput. 127 2 1996 164 185
13. R.E. Kalman, P.L. Falb, and M.A. Arbib Topics in Mathematical Systems Theory 1969 McGraw-Hill New York
14. I. Kolar, P.W. Michor, and J. Slovak Natural Operations in Differential Geometry 1993 Springer Berlin
15. J. Komenda, Coalgebra and supervisory control with partial observations, in: Mathematical Theory of Networks and Systems, Notre Dame, IN, August 2002.
16. Kim G. Larsen, and A. Skou Bisimulation through probabilistic testing Inform. Comput. 94 1991 1 28
17. E.A. Lee, and A. Sangiovanni-Vincentelli A framework for comparing models of computation IEEE Trans. Comput. Aided Design 17 12 1998 1217 1229
18. H. Lorenco, A. Sernadas, An institution of hybrid systems, in: D. Bert, C. Choppy (Eds.), Recent Trends in Algebraic Development Techniques, Lecture Notes in Computer Science, Vol. 1827, Springer, Berlin, 2000, pp. 219-236.
19. R. Milner Communication and Concurrency 1989 Prentice Hall Englewood Cliffs, NJ
20. R. Milner, D. Sangiorgi, Barbed bisimulation, in: Automata, Languages and Programming, 19th Internat. Colloq. (Proc. ICALP'92), 1992, pp. 685-695.
21. G.J. Pappas Bisimilar linear systems Automatica 39 12 2003 2035 2047
22. G.J. Pappas, G. Lafferriere, and S. Sastry Hierarchically consistent control systems IEEE Trans. Automatic Control 45 6 2000 1144 1160
23. J.J.M.M. Rutten Universal coalgebra: a theory of systems Theoret. Comput. Sci. 249 1 2000 3 80
24. S.S. Sastry, A.S. Morse, C.C. Pantelides, and J.M.H. Schumaker Introduction to the special issue on hybrid systems Automatica 35 3 1999 347 348 Special issue on Hybrid Systems
25. J.P. Serre, Lie Algebras and Lie Groups, Lecture Notes in Mathematics, second ed., Vol. 1500, Springer, Berlin, Heidelberg, 1992.
26. M. Spivak A Comprehensive Introduction to Differential Geometry 1979 Publish or Perish Berkeley, CA
27. P. Tabuada, G.J. Pappas, Bisimilar control affine systems, Syst. Control Lett. (2004) 49-58.
28. A.J. van der Schaft, and J.M. Schumacher Compositionality issues in discrete, continuous, and hybrid systems Internat. J. Robust and Nonlinear Control 11 5 2001 417 434
29. J.H. van Schuppen Equivalences of discrete-event systems and of hybrid systems V.D. Blondel Open Problems in Mathematical Systems and Control Theory 1999 Springer Berlin 251 257
30. G. Winskel, M. Nielsen, Presheaves as transition systems, in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, DIMACS, 1997, pp. 129-140.