Bisimulation of dynamical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 555-569

  Van Schaft, Arjan Der ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DYNAMICAL SYSTEMS;

CONCURRENT PROCESS; CONTINUOUS INPUT; EXTERNAL BEHAVIOR; GEOMETRIC CONTROL THEORY; MAXIMAL BISIMULATION RELATION; MINIMAL STATE; STATE SPACE EQUIVALENCE; STATE-SPACE REDUCTION;

HYBRID SYSTEMS;

EID: 24344501078     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (19)

1. R. Alur, T.A. Henzinger, G. Lafferriere, G.J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol. 88, pp. 971-984, 2000.
2. G. Basile, G. Marro, Controlled and conditioned invariants in linear system theory, Prentice Hall, Englewood Cliffs, 1992.
3. E. Haghverdi, P. Tabuada, G.J. Pappas, Unifying bisimulation relations for discrete and continuous systems, Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science, August 2002.
4. T.A. Henzinger, "Hybrid automata with finite bisimulations", in ICIALP 95: Automata, Languages, and programming, eds. Z. Fulop, F. Gecseg, Lecture Notes in Computer Science 944, pp. 324-335, Springer, New York, 1995
5. H. Hermanns, Interactive Markov Chains, Lecture Notes in Computer Science 2428, Springer, 2002.
6. G. Lafferriere, G.J. Pappas, S. Sastry, "Hybrid systems with finite bisimulations", in Hybrid Systems V, eds. P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, S. Sastry, Lecture Notes in Computer Science, Springer, 1998.
7. G. Lafferriere, G.J. Pappas, S. Sastry, "O-minimal hybrid systems", Math. Contr. Signals, Syst., vol. 13, pp. 1-21, 2000.
8. R. Milner, Communication and Concurrency, Prentice Hall International Series in Computer Science, 1989.
9. R. Milner, Communication and Mobile Systems: the π- Calculus, Cambridge University Press, Cambridge, UK, 1999.
10. G.J. Pappas, G. Lafferriere, S. Sastry, Hierarchically consistent control systems, IEEE Transactions on Automatic Control, 45(6), pp. 1144-1160, 2000.
11. G.J. Pappas, Bisimilar linear systems, Automation, 39, pp. 2035-2047, 2003.
12. G.J. Pappas, S. Simic, Consistent abstractions of affine control systems, IEEE Transactions on Automatic Control, 47, pp. 745-756, 2002.
13. D. Park, Concurrency and automata on infinite sequences. In P. Deussen, Editor, Fifth GI Conference on Theoretical Computer Science, vol. 104 of Lecture Notes in Computer Science, Springer, 1981.
14. G. Pola, A.J. van der Schaft, M.D. Di Benedetto, Bisimulation theory for switching linear systems, in preparation.
15. A.J. van der Schaft, "Equivalence of dynamical systems by bisimulation", Technical Report Department of Applied Mathematics, University of Twente, October 2003, submitted for publication.
16. A.J. van der Schaft, J.M. Schumacher, An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences, Vol.251, Springer-Verlag, London, 2000. Second revised edition to appear in Communications and Control Engineering Series, Springer, London, 2004.
17. P. Tabuada, G.J. Pappas, "Bisimilar control affine systems", Systems and Control Letters, to appear.
18. P. Tabuada, G.J. Pappas, P. Lima, "Composing abstractions of hybrid systems", in Hybrid Systems: Computation and Control, eds. C. Tomlin, M.R. Greenstreet, Lecture Notes in Computer Science, pp. 436-450, Springer, 2002.
19. W.M. Wonham, Linear multivariable control: a geometric approach, Springer, New York, Third Edition, 1985.