{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:54Z","timestamp":1725664674431},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:59:18Z","timestamp":1330297158000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Topological semantics for hybrid systems"],"prefix":"10.1007","author":[{"given":"Sergei","family":"Artemov","sequence":"first","affiliation":[]},{"given":"Jennifer","family":"Davoren","sequence":"additional","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"1_CR1","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Raymond Balbes and Philip Dwinger, Distributive Lattices (University of Missouri Press, Columbia, 1974)."},{"key":"1_CR2","first-page":"2309","volume-title":"Topology of Hybrid Systems","author":"M. Branicky","year":"1993","unstructured":"Michael Branicky, \u201cTopology of Hybrid Systems\u201d, Proceedings of the 32nd IEEE Conference on Decision and Control (IEEE Computer Society Press, Los Alamitos, 1993), Vol. 3, 2309\u20132314."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-94-009-5203-4_4","volume-title":"Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic","author":"D. Dalen van","year":"1986","unstructured":"Dirk van Dalen, \u201cIntuitionistic Logic\u201d, in D. Gabbbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic (D. Reidel, Dordrecht, 1986), 225\u2013339."},{"key":"1_CR4","volume-title":"Elements of Intuitionism","author":"M. Dummett","year":"1977","unstructured":"Michael Dummett, Elements of Intuitionism (Clarendon Press, Oxford, 1977)."},{"key":"1_CR5","series-title":"Springer Lecture Notes in Mathematics 753","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of Sheaves","author":"M. P. Fourman","year":"1979","unstructured":"Michael P. Fourman and Dana S. Scott, \u201cSheaves and Logic\u201d, in M. P. Fourman, C. J. Mulvey and D. S. Scott (eds.), Applications of Sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, England, July 9\u201321, 1977; Springer Lecture Notes in Mathematics 753 (Springer-Verlag, Berlin 1979), 302\u2013401."},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science 1066","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0020937","volume-title":"Hybrid Systems III","author":"X. Ge","year":"1996","unstructured":"Xiaolin Ge, Wolf Kohn, Anil Nerode, and Jeffrey B. Remmel, \u201cHybrid Systems: Chattering Approximations to Relaxed Controls\u201d, in R. Alur, T. A. Henzinger, E. D. Sontag (eds.), Hybrid Systems III, Lecture Notes in Computer Science 1066 (Springer-Verlag, Berlin, 1996), 76\u2013100."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Wolf Kohn, John James and Anil Nerode, \u201cThe Declarative Approach to the Design of Robust Control Systems\u201d, Proceedings of the IEEE Symposium on Computer-Aided Control System Design 1996 (CACSD '96), 26\u201331.","DOI":"10.1109\/CACSD.1996.555192"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Wolf Kohn, John James, Anil Nerode, Jeffrey B. Remmel and Benjamin Cummings, \u201cA New Approach to Generating Finite-State Control Programs for Hybrid Systems\u201d, Proceedings of the 13th Triennial World Congress of the International Federation of Automatic Control (IFAC) 1996 (Pergamon Press, 1996), 461\u2013466.","DOI":"10.1016\/S1474-6670(17)58454-2"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science 999","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-60472-3_15","volume-title":"Hybrid Systems II","author":"W. Kohn","year":"1995","unstructured":"Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, \u201cHybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections\u201d, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (eds.), Hybrid Systems II, Lecture Notes in Computer Science 999 (Springer-Verlag, Berlin, 1995), 294\u2013321."},{"key":"1_CR10","unstructured":"Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, \u201cContinualization: A Hybrid Systems Control Technique for Computing\u201d, Proceedings of 1996 IMACS Conference on Computation Engineering in Systems Applications (CEAS '96)."},{"key":"1_CR11","unstructured":"Wolf Kohn, Anil Nerode and Jeffrey B. Remmel, \u201cFeedback Derivations: Near Optimal Controls for Hybrid Systems\u201d, Proceedings of the 1996 IMACS conference on Computation Engineering in Systems Applications (CESA '96), 517\u2013521."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0304-3975(94)00150-H","volume":"138","author":"W. Kohn","year":"1995","unstructured":"Wolf Kohn, Anil Nerode, Jeffrey B. Remmel and Alexander Yakhnis, \u201cViability in Hybrid Systems\u201d, Theoretical Computer Science 138 (1995) 141\u2013168.","journal-title":"Theoretical Computer Science"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Wolf Kohn, Jeffrey B. Remmel, Anil Nerode, \u201cScalable Data and Sensor Fusion via Multiple Agent Hybrid Systems\u201d, IEEE Transactions on Automatic Control, special issue on Hybrid Systems, to appear 1997.","DOI":"10.21236\/ADA344362"},{"key":"1_CR14","first-page":"348","volume-title":"Multiple Agent Hybrid Control for Manufacturing Systems","author":"W. Kohn","year":"1996","unstructured":"Wolf Kohn, Jeffrey B. Remmel, Anil Nerode, John James, \u201cMultiple Agent Hybrid Control for Manufacturing Systems\u201d, Proceedings of the 11th IEEE International Symposium on Intelligent Control (IEEE, New York 1996), 348\u2013353."},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John W. Lloyd, Foundations of Logic Programming, 2nd edition (Springer-Verlag, Berlin 1987).","edition":"2nd edition"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1215\/S0012-7094-59-02637-7","volume":"26","author":"A. Nerode","year":"1959","unstructured":"Anil Nerode, \u201cSome Stone Spaces and Recursion Theory\u201d, Duke Mathematical Journal 26 (1959) 397\u2013406.","journal-title":"Duke Mathematical Journal"},{"key":"1_CR17","series-title":"Lecture Notes in Mathematics 1429","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/BFb0093923","volume-title":"Logic and Computer Science","author":"A. Nerode","year":"1990","unstructured":"Anil Nerode, \u201cSome Lectures on Intuitionistic Logic\u201d, in P. Odifreddi (ed.), Logic and Computer Science, Lecture Notes in Mathematics 1429 (Springer-Verlag, Berlin, 1990), 12\u201359."},{"key":"1_CR18","series-title":"Springer Lecture Notes in Computer Science 736","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-57318-6_34","volume-title":"Hybrid Systems","author":"A. Nerode","year":"1993","unstructured":"Anil Nerode and Wolf Kohn, \u201cModels for Hybrid Systems: Automata, Topologies, Controllability, Observability\u201d, in R. Grossman, A. Nerode, A. Ravn and H. Rischel (eds.), Hybrid Systems, Springer Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 297\u2013316."},{"key":"1_CR19","series-title":"Springer Lecture Notes in Computer Science 736","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-57318-6_35","volume-title":"Hybrid Systems","author":"A. Nerode","year":"1993","unstructured":"Anil Nerode and Wolf Kohn, \u201cMultiple Agent Hybrid Control Architecture\u201d, in R. Grossman, A. Nerode, A. Ravn and H. Rischel (eds.), Hybrid Systems, Springer Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993), 317\u2013356."},{"key":"1_CR20","volume-title":"Polska Akademia Nauk Monografie Matematyczne, Tom 41","author":"H. Rasiowa","year":"1963","unstructured":"Helena Rasiowa and Roman Sikorski, The Mathematics of Metamathematics, Polska Akademia Nauk Monografie Matematyczne, Tom 41 (Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1963)."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(79)90006-9","volume":"9","author":"R. Statman","year":"1979","unstructured":"Richard Statman, \u201cIntuitionistic Propositional Logic is Polynomial Space Complete\u201d, Theoretical Computer Science 9 (1979) 67\u201372.","journal-title":"Theoretical Computer Science"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","volume":"31","author":"A. Tarski","year":"1938","unstructured":"Alfred Tarski, \u201cDer Aussagenkalk\u00fcl und die Topologie\u201d, Fundamental Mathematicae 31 (1938) 103\u2013134. Reprinted (and translated by J. H. Woodger) as \u201cSentential Calculus and Topology\u201d, in A. Tarski, Logic, Semantics, Metamathematics (Oxford University Press, 1956), 421\u2013454.","journal-title":"Fundamental Mathematicae"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:11Z","timestamp":1605647711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}