On bicontinuous bisimulation and the preservation of stability

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

Volumn 4416 LNCS, Issue , 2007, Pages 676-679

  Cuijpers, P J L ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (9)

1. Haghverdi, E., Tabuada, P., Pappas, G.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science 342 (2005) 229-261
2. Cuijpers, P.: Hybrid Process Algebra. PhD thesis, Technische Universiteit Eindhoven (TU/e), Eindhoven, Netherlands (2004)
3. Moor, T., Davoren, J.: Robust controller systhesis for hybrid systems using modal logic. In Benedetta, M.D., Sangiovanni-Vincentelli, A., eds,: Hybrid Systems: Computation and Control (HSCC'01). Volume 2034 of Lecture Notes in Computer Science., Springer-Verlag (2001) 433-446
4. Davoren, J.: Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics. Manuscript (2006)
5. Fainekos, G., Pappas, G.: Robustness of temporal logic specifications. In: Formal Approaches to Testing and Runtime Verification, Seatle, WA (2006)
6. Akin, E.: The General Topology of Dynamical Systems. Volume 1 of Graduate Studies in Mathematics. American Mathematical Society (1993)
7. Bergstra, J., Ponse, A., Smolka, S., eds.: Handbook of Process Algebra, Elsevier Science B.V., Amsterdam (2001)
8. Munkres, J.: Topology. 2nd edn. Prentice Hall inc. (2000)
9. Berge, C.: Topological Spaces: Including a treatment of multi-valued functions, vectors spaces and convexity. Oliver and Boyd Ltd., London (1963)