{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:13:39Z","timestamp":1737177219738,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656432"},{"type":"electronic","value":"9783540491637"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49163-5_3","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T11:15:39Z","timestamp":1182597339000},"page":"38-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On Hybrid Systems and the Modal \u00b5-calculus"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"unstructured":"E. Akin, The General Topology of Dynamical Systems, Graduate Studies in Mathematics 1 (American Mathematical Society, Providence, 1993).","key":"3_CR1"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, \u201cThe Algorithmic Analysis of Hybrid Systems\u201d, Theoretical Computer Science138 (1995) 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill, \u201cA Theory of Timed Automata\u201d, Theoretical Computer Science126 (1994) 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. A. Henzinger and P.-H. Ho, \u201cAutomatic Symbolic Veri_cation of Embedded Systems\u201d, IEEE Transactions on Software Engineering22 (1996) 181\u2013201.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00045-X","volume":"151","author":"S. Ambler","year":"1995","unstructured":"S. Ambler, M. Kwiatkowska and N. Measor, \u201cDuality and the Completeness of the Modal \u00b5-calculus\u201d, Theoretical Computer Science151 (1995) 3\u201327.","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","volume-title":"Set-Valued Analysis","author":"J.-P. Aubin","year":"1990","unstructured":"J-P. Aubin and H. Frankasowa, Set-Valued Analysis (Birkh\u00e4user, Boston, 1990)."},{"key":"3_CR7","volume-title":"Viability Theory","author":"J.-P. Aubin","year":"1991","unstructured":"J-P. Aubin, Viability Theory (Birkh\u00e4user, Boston, 1991)."},{"key":"3_CR8","series-title":"CSLI Lecture Notes","first-page":"65","volume-title":"Modal Logic and Process Algebra","author":"M. M. Bonsangue","year":"1995","unstructured":"M. M. Bonsangue and M. Z. Kwiatkowska, \u201cReinterpreting the Modal \u00b5-calculus\u201d, in A. Ponse, M. de Rijke and Y. Venema (eds.), Modal Logic and Process Algebra, CSLI Lecture Notes 53 (CLSI Publications, Stanford, 1995); 65\u201383."},{"doi-asserted-by":"crossref","unstructured":"B. F. Chellas, Modal Logic: An Introduction (Cambridge University Press, 1980.","key":"3_CR9","DOI":"10.1017\/CBO9780511621192"},{"doi-asserted-by":"crossref","unstructured":"J. M. Davoren, Modal Logics for Continuous Dynamics, PhD dissertation, Department of Mathematics, Cornell University, January 1998.","key":"3_CR10","DOI":"10.21236\/ADA344316"},{"unstructured":"J. M. Davoren, \u201cTopologies, Continuity and Bisimulations\u201d, presented at Fixed Points in Computer Science, Brno, August 1998; submitted for publication.","key":"3_CR11"},{"unstructured":"J. M. Davoren, \u201cOn Continuous Dynamics and Modal Logics\u201d, in preparation.","key":"3_CR12"},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis and S. Yovine, \u201cThe Tool Kronos\u201d, in R. Alur, T. A. Henzinger and E. D. Sontag (eds.), Hybrid Systems III, Lecture Notes in Computer Science 1066 (Springer-Verlag, Berlin, 1996); 208\u2013219."},{"doi-asserted-by":"crossref","unstructured":"L. van den Dries, Tame Topology and O-minimal Structures, London Mathematical Society Lecture Notes Series 248 (Cambridge University Press, 1998).","key":"3_CR14","DOI":"10.1017\/CBO9780511525919"},{"doi-asserted-by":"crossref","unstructured":"E. A. Emerson, \u201cModal Checking and the Mu-calculus\u201d, in N. Immerman and P. G. Kolaitis (eds.), Descriptive Complexity and Finite Models, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 31 (American Mathematical Society, Providence, 1997); 185\u2013208.","key":"3_CR15","DOI":"10.1090\/dimacs\/031\/06"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi, Reasoning About Knowledge (MIT Press, Cambridge MA, 1995)."},{"key":"3_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BFb0014736","volume-title":"Hybrid and Real-Time Systems: International Workshop HART\u201997, March 1997","author":"V. Gupta","year":"1997","unstructured":"V. Gupta, T. A. Henzinger and R. Jagadeesan, \u201cRobust Timed Automata\u201d, in O. Maler (ed.), Hybrid and Real-Time Systems: International Workshop HART\u201997, March 1997, Lecture Notes in Computer Science 1201 (Springer-Verlag, Berlin, 1997); 331\u2013345."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L. Henkin","year":"1950","unstructured":"L. Henkin, \u201cCompleteness in the Theory of Types\u201c, Journal of Symbolic Logic15 (1950) 81\u201391.","journal-title":"Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, \u201cThe Theory of Hybrid Automata\u201d, Proceedings of the 11 thAnnual IEEE Symposium on Logic in Computer Science (LICS\u2019 96) (IEEE Computer Society Press, 1996); 278\u2013292.","key":"3_CR19","DOI":"10.1109\/LICS.1996.561342"},{"key":"3_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-64358-3","volume-title":"Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998","author":"T. A. Henzinger","year":"1998","unstructured":"T. A. Henzinger, O. Kupferman, and S. Qadeer, \u201cFrom Pre-historic to Post-modern Symbolic Model Checking\u201d, Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998), Lecture Notes in Computer Science (Springer-Verlag, Berlin, 1998)."},{"key":"3_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-57318-6_24","volume-title":"Hybrid Systems","author":"T. A. Henzinger","year":"1993","unstructured":"T. A. Henzinger, Z. Manna and A. Pnueli, \u201cTowards Refining Temporal Specifications into Hybrid Systems\u201d, in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin,1993), 60\u201376."},{"unstructured":"M. J. Hollenberg, Logic and Bisimulation, PhD dissertation, Department of Philosophy, Utrecht University, March 1998.","key":"3_CR22"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen, \u201cResults on the Propositional \u00b5-Calculus\u201d, Theoretical Computer Science27 (1983) 333\u2013354.","journal-title":"Theoretical Computer Science"},{"key":"3_CR24","first-page":"1966","volume-title":"Topology, Volume 1","author":"K. Kuratowski","year":"1958","unstructured":"K. Kuratowski, Topology, Volume 1, revised edition (Academic Press, New York, 1966). Translated by J. Jaworowski from the French 1958 edition of Topologie, Volume 1, Polska Akademia Nauk Monogra_e Matematyczne, Tom 21 (Panstwowe Wydawnictwo Naukowe, Warsaw, 1958)."},{"key":"3_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61604-7_60","volume-title":"Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR\u201996)","author":"D. Janin","year":"1996","unstructured":"D. Janin and I. Walukiewicz, \u201cOn the expressive completeness of the propositional mu-calculus with respect to monadic second order logic\u201d, Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR\u201996), Lecture Notes in Computer Science 1119 (Springer-Verlag, Berlin, 1996), 263\u2013277."},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. Jonsson","year":"1951","unstructured":"B. Jonsson and A. Tarski, \u201cBoolean Algebras with Operators, Part I\u201d, American Journal of Mathematics 73 (1951) 891\u2013939.","journal-title":"American Journal of Mathematics"},{"unstructured":"G. Laerriere, G. J. Pappas and S. Sastry, \u201cO-Minimal Hybrid Systems\u201d, Technical report UCB\/ERL M98\/29, Department of Electrical Engineering and Computer Science, University of California at Berkeley, May 1998.","key":"3_CR27"},{"unstructured":"G. Laerriere, G. J. Pappas and S. Yovine, \u201cDecidable Hybrid Systems\u201d, Technical report UCB\/ERL M98\/39, Department of Electrical Engineering and Computer Science, University of California at Berkeley, June 1998.","key":"3_CR28"},{"key":"3_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume-title":"Hybrid Systems","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli, \u201cVerifying Hybrid Systems\u201d, in R. Grossman et al. (eds.) Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin,1993), 4\u201335."},{"key":"3_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems-Computation and Control: Proceedings of the First International Workshop (HSCC\u2019 98)","author":"Z. Manna","year":"1998","unstructured":"Z. Manna and H. B. Simpa, \u201cDeductive Verification of Hybrid Systems Using STeP\u201d, in T. A. Henzinger and S. Sastry (eds), Hybrid Systems-Computation and Control: Proceedings of the First International Workshop (HSCC\u2019 98), Lecture Notes in Computer Science 1386, (Springer-Verlag, Berlin, 1998)."},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J. C.C. McKinsey","year":"1941","unstructured":"J. C.C. McKinsey, \u201cA Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology\u201d, Journal of Symbolic Logic6 (1941) 117\u2013134.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C.C. McKinsey","year":"1944","unstructured":"J. C.C. McKinsey and A. Tarski, \u201cThe Algebra of Topology\u201d, Annals of Mathematics45 (1944) 141\u2013191.","journal-title":"Annals of Mathematics"},{"key":"3_CR33","volume-title":"Topology: A First Course","author":"J. R. Munkres","year":"1975","unstructured":"J. R. Munkres, Topology: A First Course (Prentice Hall, Englewood Cliffs, 1975)."},{"key":"3_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-57318-6_34","volume-title":"Hybrid Systems","author":"A. Nerode","year":"1993","unstructured":"A. Nerode and W. Kohn, \u201cModels for Hybrid Systems: Automata, Topologies, Controllability, Observability\u201d, in R. Grossman et al. (eds.), Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin,1993), 297\u2013316."},{"key":"3_CR35","volume-title":"Graduate Texts in Computer Science","author":"A. Nerode","year":"1997","unstructured":"A. Nerode and R. Shore, Logic for Applications (2nd ed.), Graduate Texts in Computer Science (Springer-Verlag, Berlin, 1997).","edition":"2nd ed."},{"unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Polska Akademia Nauk Monogra_e Matematyczne, Tom 41 (Panstwowe Wydawnictwo Naukowe, Warsaw, 1963).","key":"3_CR36"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0304-3975(95)00053-Y","volume":"151","author":"M. B. Smyth","year":"1995","unstructured":"M. B. Smyth, \u201cSemi-metrics, closure spaces and digital topology\u201d, Theoretical Computer Science151 (1995) 257\u2013276.","journal-title":"Theoretical Computer Science"},{"key":"3_CR38","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"C. Stirling, \u201cModal and Temporal Logics\u201d, in S. Abramsky, D. M. Gabbay and T. Maibaum (eds.), Handbook of Logic in Computer Science, Vol. 2:Computational Structures (Oxford University Press,_ Clarendon Press, Oxford, 1992), 477\u2013563"},{"doi-asserted-by":"crossref","unstructured":"I. Walukiewicz, \u201cOn Completeness of the \u00b5-calculus\u201d, Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (LICS\u2019 93) (IEEE Computer Society Press, 1993); 136\u2013146.","key":"3_CR39","DOI":"10.1109\/LICS.1993.287593"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"349","DOI":"10.2307\/420995","volume":"2","author":"I. Walukiewicz","year":"1996","unstructured":"I. Walukiewicz, \u201cA Note on the Completeness of Kozen\u2019s Axiomatization of the Propositonal \u00b5-calculus\u201d, Bulletin of Symbolic Logic2 (1996) 349\u2013366.","journal-title":"Bulletin of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49163-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T13:49:26Z","timestamp":1737121766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49163-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656432","9783540491637"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-49163-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}