Topologies, continuity and bisimulations

RAIRO - Theoretical Informatics and Applications

Volumn 33, Issue 4-5, 1999, Pages 357-381

  Davoren, J M ^a,b  

^a Department of Obstetrics Gynecology   (United States)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

Alexandroff topology; Bisimulation; Decidability; Hybrid systems; Modal logic; Semi continuity; Set valued maps; calculus

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; MATHEMATICAL OPERATORS; TOPOLOGY;

ALEXANDROFF TOPOLOGY; BISIMULATION RELATIONS; LAMBDA CALCULUS;

COMPUTER SIMULATION;

EID: 0033294940     PISSN: 09883754     EISSN: 1290385X     Source Type: Journal    
DOI: 10.1051/ita:1999123     Document Type: Article

References (19)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138 (1995) 3-34.
2. S. Ambler, M.Z. Kwiatkowska and N. Measor, Duality and the completeness of the modal μ-calculus. Theoret. Comput. Sci. 151 (1995) 3-27.
3. J.-P. Aubin and H. Frankowska, Set-Valued Analysis. Birkhauser, Boston (1990).
4. M. Bonsangue and M. Kwiatkowska, Reinterpreting the modal μ-calculus, A. Ponse, M. de Rijke and Y. Venema, Eds., Modal Logic and Process Algebra. CLSI Publications, Stanford (1995) 65-83.
5. J. Davoren, Modal Logics for Continuous Dynamics. Ph.D. Thesis, Department of Mathematics Cornell University (1998).
6. J.M. Davoren, On hybrid systems and the modal μ-calculus, P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode and S. Sastry, Eds., Hybrid Systems V. Springer-Verlag, Berlin, Lecture Notes in Comput. Sci. 1567 (1999) 38-69.
7. C. Daws, A. Olivero, S. Tripakis and S. Yovine, The tool KRONOS, R. Alur, T. Henzinger and E.D. Sontag, Eds., Hybrid Systems III. Springer-Verlag, Berlin, Lecture Notes in Comput. Sci. 1066 (1996) 208-219.
8. th Annual IEEE Symposium on Logic in Computer Science (LICS’96). IEEE Computer Society Press (1996) 278-292.
9. T. Henzinger, P. Kopke, A. Puri and P. Varaiya, What’s decidable about hybrid automata? J. Comput. System Sci. 57 (1998) 94-124.
10. M. Hollenberg, Logic and Bisimulation. Ph.D. Thesis, Department of Philosophy, Utrecht University (1998).
11. B. Jonsson and A. Tarski, Boolean algebras with operators, part i. Amer. J. Math. 73 (1951) 891-939.
12. D. Kozen, Results on the propositional μ-calculus. Theoret. Comput. Sci. 27 (1983) 333-354.
13. G. Lafferriere, G. Pappas and S. Sastry, O-minimal hybrid systems. Technical Report UCB/ERL M98/29, Dept. EECS, UC Berkeley (1998).
14. G. Lafferriere, G. Pappas and S. Yovine, Decidable hybrid systems. Technical Report UCB/ERL M98/39, Dept. EECS, UC Berkeley (1998).
15. A. Nerode and W. Kohn, Models for hybrid systems: Automata, topologies, controllability, observability, R. Grossman, A. Nerode, A. Ravn and H. Rischel, Eds., Hybrid Systems. Springer-Verlag, Berlin, Lecture Notes in Comput. Sci. 736 (1993) 297-316.
16. M.B. Smyth, Topology, S. Abramsky, D. Gabbay and T. Maibaum, Eds. Oxford University Press, Clarendon Press, Oxford, Handb. Log. Comput. Sci. 1 (1992) 641-761.
17. C. Stirling, Modal and temporal logics, S. Abramsky, D. Gabbay and T. Maibaum, Eds. Oxford University Press, Clarendon Press, Oxford, Handb. Log. Comput. Sci. 2 (1992) 477-563.
18. L. van den Dries, Tame Topology and O-minimal Structures. Cambridge Univ. Press, Cambridge, London Math. Soc. Lecture Note Ser. 248 (1998).
19. I. Walukiewicz, A note on the completeness of Kozen’s axiomatization of the propositonal μ-calculus. Bull. Symbolic Logic 2 (1996) 349-366.