On simulations and bisimulations of general flow systems

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

Volumn 4416 LNCS, Issue , 2007, Pages 145-158

  Davoren, J M ^a   Tabuada, Paulo ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; HYBRID COMPUTERS; SEMANTIC WEB; TREES (MATHEMATICS);

BISIMULATIONS; FLOW SYSTEMS; HYBRID SYSTEMS;

COMPUTER SIMULATION;

EID: 38049153782     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_14     Document Type: Conference Paper

References (16)

1. Haghverdi, E., Tabuada, P., Pappas, G.: Bisimulation relations for dynamical, control and hybrid systems. Theoretical Computer Science 342 (2005) 229-261
2. Julius, A.: On Interconnection and Equivalences of Continuous and Discrete Systems: A Behavioural Perspective. The University of Twente (2005) PhD thesis.
3. Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O Automata. Information and Computation 185 (2003) 105-157
4. Pappas, G.: Bisimilar linear systems. Automatica 39 (2003) 2035-2047
5. Tabuada, P., Pappas, G.: Bisimilar control affine systems. Systems and Control Letters 52 (2004) 49-58
6. van der Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE Trans. Automatic Control 49 (2004) 2160-2172
7. Davoren, J., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Hybrid Systems: Computation and Control (HSCC'04). LNCS 2993, Springer-Verlag (2004) 280-295
8. Davoren, J.: On hybrid systems and the modal mu-calculus. In: Hybrid Systems V. LNCS 1567, Springer-Verlag (1999) 38-69
9. Willems, J.: Models for dynamics. Dynamics Reported 2 (1989) 171-269
10. Aubin, J.P., Dordan, O.: Dynamical qualitative analysis of evolutionary systems. In: Hybrid Systems: Computation and Control (HSCC'02). LNCS 2289, SpringerVerlag (2002) 62-75
11. Davoren, J., Moor, T.: Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives. In: Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06), IFAC (2006) 409-416
12. Aubin, J.P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. on Automatic Control 47 (2002) 2-20
13. Milner, R.: Communication and Concurrency. Prentice Hall (1989)
14. Emerson, E.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science. Elsevier Science (1990) 997-1072
15. Emerson, E., Halpern, J.: "Sometimes" and "Not Never" revisited: on branching versus linear time. Journal of the ACM 33 (1986) 151-178
16. Moor, T., Davoren, J.: Robust controller synthesis for hybrid systems using modal logic. In: Hybrid Systems: Computation and Control (HSCC'01). LNCS 2034, Springer-Verlag (2001) 433-446