Bisimulation relations for dynamical and control systems

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 120-136

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBABILITY; SET THEORY; THEOREM PROVING;

BISIMULATION RELATIONS; DYNAMICAL SYSTEMS; GEOMETRIC STRUCTURES; LABELED TRANSITION SYSTEMS;

CONTROL SYSTEMS;

EID: 18944406898     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80562-0     Document Type: Conference Paper

References (22)

1. Abraham R., Marsden J., Ratiu T. Manifolds, Tensor Analysis and Applications. Applied Mathematical Sciences. 1988;Springer-Verlag
2. Blute R., Desharnais J., Edalat A., Panangaden P. Bisimulation for labelled markov processes. Logic in Computer Science. 1997;149-158 IEEE Press
3. Cheng A., Nielsen M. Open maps, behavioural equivalences, and congruences. Theretical Computer Science. 190:(1):1998;87-112
4. Hennessy M. Algebraic Theory of Processes. 1988;MIT Press. series in the foundations of computing
5. Jacobs B., Rutten J.J.M.M. Coalgebraic Methods in Computer Science, volume 19 of ENTCS. 1999;Elsevier Science
6. Joyal A., Nielsen M., Winskel G. Bisimulation from open maps. Information and Computation. 127:(2):1996;164-185
7. Jurdjevic Velimir. Geometric Control Theory. 1997;Cambridge University Press
8. Kalman R.E., Falb P.L., Arbib M.A. Topics in Mathematical Systems Theory. 1969;McGraw-Hill, New York
9. Hassan Khalil K. Nonlinear Systems. 2nd edition :1996;Prentice Hall, New Jersey
10. Kolar I., Michor P.W., Slovak J. Natural Operations in Differential Geometry. 1993;Springer-Verlag
11. Kim Larsen G., Skou Arne. Bisimulation through probabilistic testing. Information and Computation. 94:1991;1-28
12. Lee E.A., Sangiovanni-Vincentelli A. A framework for comparing models of computation. IEEE Transactions on Computer Aided Design. 17:(12):December 1998
13. Milner R. Communication and Concurrency. 1989;Prentice Hall
14. Milner R., Sangiorgi D. Barbed bisimulation. Automata, Languages and Programming, 19th International Colloquium (Proc. ICALP'92). 1992;685-695
15. George J. Pappas. Bisimilar linear systems. Technical Report MS-CIS-01-19, University of Pennsylvania, June 2001. Available at www.seas.upenn.edu/~pappasg.
16. George Pappas J., Lafferriere Gerardo, Sastry Shankar. Hierarchically consistent control systems. IEEE Transactions on Automatic Control. 45:(6):June 2000;1144-1160
17. Rutten J.J.M.M. Universal coalgebra: a theory of systems. Theretical Computer Science. 249:(1):2000;3-80
18. Serre J.P. Lie Algebras and Lie Groups. Number 1500 in Lecture Notes in Mathematics. 2nd edition :1992;Springer-Verlag, Berlin Heidelberg
19. Paulo Tabuada and George J. Pappas. Bisimilar control affine systems. Systems and Control Letters, 2002. Submitted, available at www.seas.upenn.edu/ ~tabuadap.
20. van Schuppen J.H. Equivalences of discrete-event systems and of hybrid systems. Blondel V.D., et al. Open problems in mathematical systems and control theory. 1999;251-257 Springer
21. Winskel G., Nielsen M. Presheaves as transition systems. DIMACS Series in Discrete Mathematics and Theoretical Computer Science. volume 29:1997;129-140 DIMACS
22. Winskel Glynn, Nielsen Morgen. Handbook of Logic and Foundations of Theoretical Computer Science, chapter Models for Concurrency. 1994;Oxford University Press