{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:11:52Z","timestamp":1756894312662,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633587"},{"type":"electronic","value":"9783540695233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031565","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"248-293","source":"Crossref","is-referenced-by-count":3,"title":["Hybrid system games: Extraction of control automata with small topologies"],"prefix":"10.1007","author":[{"given":"Anil","family":"Nerode","sequence":"first","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Yakhnis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho, Hybrid Automata: An Algorithmic Approach to the Specification and verification of hybrid Systems, Workshop on Hybrid Systems, Denmark, October 1992.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Hybrid Systems II, Lecture Notes in Computer Science vol. 999, Springer-Verlag, (1995).","DOI":"10.1007\/3-540-60472-3"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E-R. Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J. P. Aubin, Differential Inclusions, Set Valued Maps, and Viability, Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-69512-4"},{"key":"14_CR5","unstructured":"J. P. Aubin, Set Valued Analysis, Birkhauser, 1990."},{"key":"14_CR6","unstructured":"J. P. Aubin, Viability Theory, Birkhauser, 1991."},{"key":"14_CR7","unstructured":"J-P.Aubin and I. Ekeland, Applied Nonlinear Analysis, Wiley-Interscience, 1984."},{"key":"14_CR8","unstructured":"L.D. Berkovitz, Thirty Years of Differential Games, in Emilio O. Roxin (editor), Modern Optimal Control, Marcel Dekker, Inc., 1989."},{"key":"14_CR9","unstructured":"Robert S. Boyer, Milton W. Green, J. Strother Moore, The Use of a Formal Simulator to Verify a Simple Real Time Control Program,Technical Report No. ICSCACMP-29, Software Systems Science, National Science Foundation, Washington, D.C. 20550, July, 1982. DTIC Selected Sept. 16 1983."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J. R. B\u00fcchi, The Collected Works of J. Richard B\u00fcchi (S. MacLane,. Sietkes, eds.), Springer-Verlag, 1990. 1990.","DOI":"10.1007\/978-1-4613-8928-6_2"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra, An Introduction to Parallel Program Design, Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"A. F. Filippov, Differential Equations with Discontinuous Right Hand Side, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-7793-9"},{"key":"14_CR13","unstructured":"A. Friedman, Differential Games, Wiley-Interscience, 1971."},{"key":"14_CR14","unstructured":"X. Ge, W. Kohn, A. Nerode, and J.B. Remmel, \u201cAlgorithms for Chattering Approximations to Relaxed Optimal Control. MSI Tech. Report 95-1, Cornell University. (1995)"},{"key":"14_CR15","unstructured":"X. Ge, W. Kohn, A. Nerode, and J.B. Remmel, \u201cFeedback Derivations: Near Optimal Controls for Hybrid Systems\u201d, Hybrid Systems III, Lecture Notes in Computer Science 1036, Springer-Verlag, (1995), 76\u2013100."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"R. Grossman, A. Nerode, H. Rischel, A. Ravn, eds., Hybrid Systems, Springer Lecture Notes in Computer Science 736, (1993).","DOI":"10.1007\/3-540-57318-6"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Y.Gurevich and L. Harrington, Trees, Automata and Games, Proc. of the 14th Ann. ACM Symp. on Theory of Comp., pp. 60\u201365, 1982.","DOI":"10.1145\/800070.802177"},{"key":"14_CR18","volume-title":"Mathematics in Science and Engineering, vol. 120","author":"O. Hajek","year":"1975","unstructured":"O. Hajek,Pursuit Games, Mathematics in Science and Engineering, vol. 120, Academic Press, New York, 1975."},{"key":"14_CR19","unstructured":"J. Hilgert, K. H. Hofmann, and J. Lawson, Lie Groups, Convex Cones, and Semigroups, Oxford Clarendon Press, 1988."},{"key":"14_CR20","unstructured":"R. Isaacs,Differential Games, SIAM Series in Applied Mathematics, John Wiley and Sons, Inc., 1965."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"W. Kohn, Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA, 1988.","DOI":"10.2514\/6.1988-4098"},{"key":"14_CR22","unstructured":"W. Kohn and A. Nerode, An Autonomous Control Theory: An Overview, Proc. IEEE CACSD92, Napa Valley, March, 1992."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"W. Kohn and A. Nerode, Multiple Agent Autonomous Control Systems, Proc. 31st IEEE CDC Tucson, Ar., 2956\u20132966, 1993.","DOI":"10.1109\/CDC.1992.371270"},{"key":"14_CR24","unstructured":"W. Kohn and A. Nerode, Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, in [16], 1993."},{"key":"14_CR25","unstructured":"W. Kohn and A. Nerode, Multiple Agent Autonomous Control, A Hybrid Systems Architecture, to appear in Logical Methods: A Symposium in honor of Anil Nerode's 60th birthday, Birkhauser, 1993."},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"W. Kohn, A. Nerode, and J.B. Remmel, \u201cHybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections\u201d, In [2], (1995), 294\u2013321","DOI":"10.1007\/3-540-60472-3_15"},{"key":"14_CR27","unstructured":"Kohn, W., Nerode, A. and Remmel, J.B., \u201cContinualization: A Hybrid Systems Control Technique for Computing\u201d, Proceedings of CESA'96, (1996), 507\u2013511."},{"key":"14_CR28","unstructured":"Kohn, W., Nerode, A. and Remmel, J.B., \u201cFeedback Derivations: Near Optimal Controls for Hybrid Systems\u201d, Proceedings of CESA'96, (1996), 517\u2013521."},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"N.N. Krasovskii and A.I. Subbotin, Game-Theoretical Control Problems, Springer Verlag, 1988.","DOI":"10.1007\/978-1-4612-3716-7"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14_CR31","unstructured":"E. B. Lee and L. Marcus. Foundations of optimal control theory, John Wiley & Sons, 1967."},{"key":"14_CR32","unstructured":"K. Marzullo, F. Schneider, N. Budhiraja, Derivation of Sequential, Real-Time, Process-Control Programs, Technical Report 91-1217, Department of Computer Science, Cornell University, Ithaca, NY 14853-7501."},{"key":"14_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton, Infinite Games Played on Finite Graphs, Annals of Pure and Appl. Logic, 65 (1993), 149\u2013184.","journal-title":"Annals of Pure and Appl. Logic"},{"key":"14_CR34","volume-title":"A Model for Hybrid Systems, Hybrid System Workshop Notes","author":"A. Nerode","year":"1990","unstructured":"A. Nerode and J.B. Remmel, A Model for Hybrid Systems, Hybrid System Workshop Notes, MSI, Cornell University, Ithaca, NY, June 1990."},{"key":"14_CR35","unstructured":"A. Nerode, J.B. Remmel and A. Yakhnis, \u201cMcNaughton Games and Extracting Strategies for Concurrent Programs\u201d, to appear Annals of Pure and Applied Logic."},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, Modelling Hybrid Systems as Games, Proceedings of the Conference on Decision and Control, pp.2947\u20132952, 1992.","DOI":"10.1109\/CDC.1992.371272"},{"key":"14_CR37","volume-title":"Hybrid Games and Hybrid Systems","author":"A. Nerode","year":"1993","unstructured":"A. Nerode, A. Yakhnis, Hybrid Games and Hybrid Systems, Technical Report No. 93\u201377, October 1993, Mathematical Sciences Institute, Cornell University, 409 College Ave., Ithaca, NY 14850."},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis, Concurrent Programs as Strategies in Games, in Logic from Computer Science, (Y. Moschovakis, ed.), Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-2822-6_17"},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis, Distributed Programs as Strategies in Games, in a volume honoring Anil Nerode 60th birthday, Birkheuser, 1994.","DOI":"10.1007\/978-1-4612-0325-4_21"},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"L.S. Pontryagin, On the Theory of Differential Games, Russian Mathematical Surveys 21 (No.4), pp. 193\u2013246, 1966.","DOI":"10.1070\/RM1966v021n04ABEH004171"},{"key":"14_CR41","unstructured":"J. Slotine and W. Li, Applied Nonlinear Control, Prentice-Hall 1991."},{"key":"14_CR42","doi-asserted-by":"crossref","unstructured":"E. D. Sontag, Mathematical Control Theory, Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4684-0374-9"},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"V. I. Utkin, Sliding Modes in Control Optimization, Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-84379-2"},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"J. Warga, Optimal Control of Differential and Functional Equations, Academic Press, 1972.","DOI":"10.1016\/B978-0-12-735150-6.50011-7"},{"key":"14_CR45","unstructured":"J. Waaga, Some Selected Problems of Optimal Control, in Emilio O. Roxin (ed.), Modern Optimal Control, Marcel Dekker, Inc., 1989."},{"key":"14_CR46","unstructured":"A. Yakhnis, Game-Theoretic Semantics for Concurrent Programs and Their Specifications, Ph. D. Diss., Cornell University, 1990."},{"key":"14_CR47","unstructured":"A. Yakhnis, Hybrid Games, Technical Report 92\u201338, Mathematical Sciences Institute, Cornell University, October 1992."},{"key":"14_CR48","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0168-0072(90)90024-V","volume":"48","author":"A. Yakhnis","year":"1990","unstructured":"A. Yakhnis, V. Yakhnis, Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem, Ann. Pure and App. Logic 48, 277\u2013297, 1990.","journal-title":"Ann. Pure and App. Logic"},{"key":"14_CR49","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0168-0072(93)90239-A","volume":"62","author":"A. Yakhnis","year":"1993","unstructured":"A. Yakhnis, V. Yakhnis, Gurevich-Harrington's games defined by finite automata, Ann. Pure and App. Logic 62, 265\u2013294, 1993.","journal-title":"Ann. Pure and App. Logic"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:13:07Z","timestamp":1736165587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/bfb0031565","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}