{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T05:02:53Z","timestamp":1766466173242},"publisher-location":"Berlin, Heidelberg","reference-count":87,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573180"},{"type":"electronic","value":"9783540480600"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57318-6_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:47:00Z","timestamp":1330260420000},"page":"317-356","source":"Crossref","is-referenced-by-count":153,"title":["Models for hybrid systems: Automata, topologies, controllability, observability"],"prefix":"10.1007","author":[{"given":"Anil","family":"Nerode","sequence":"first","affiliation":[]},{"given":"Wolf","family":"Kohn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"V. M. Alekseev, V. M. Tikhomirov, S. V. Fomin, Optimal Control, Consultant's Bureau, Plenum Press, 1987.","DOI":"10.1007\/978-1-4615-7551-1"},{"key":"15_CR2","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":"15_CR3","volume-title":"Topics in Mathematical Systems Theory","author":"M. Arbib","year":"1969","unstructured":"M. Arbib and R. E. Kaiman, Topics in Mathematical Systems Theory, McGraw-Hill, N. Y., 1969."},{"key":"15_CR4","volume-title":"Systems Theory","author":"M. Arbib","year":"1974","unstructured":"M. Arbib and L. Padulo, Systems Theory, Saunders, Philedelphia, 1974."},{"key":"15_CR5","unstructured":"J. P. Aubin, Convex Analysis and Optimization, Pitman, 1982."},{"key":"15_CR6","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":"15_CR7","unstructured":"J. P. Aubin, Set Valued Analysis, Birkhauser, 1990."},{"key":"15_CR8","unstructured":"J. P. Aubin, Viability Theory, Birkhauser, 1991."},{"key":"15_CR9","unstructured":"J. P. Aubin and I. Ekeland, Applied Non-Linear Analysis, Wiley, 1984."},{"key":"15_CR10","unstructured":"L.D. Berkovitz, Thirty Years of Differential Games, in Modern Optimal Control, Emilio O. Roxin, ed., Marcel Dekker, Inc., 1989."},{"key":"15_CR11","unstructured":"M. Ben-Ari, Principles of Concurrent Programming, Prentice-Hall, 1990."},{"key":"15_CR12","volume-title":"Technical Report No. ICSA-CMP-29","author":"R. S. Boyer","year":"1982","unstructured":"R. S. Boyer, M. W. Green, J. S. Moore, The Use of a Formal Simulator to Verify a Simple Real Time Control Program, Technical Report No. ICSA-CMP-29, Institute for Computing Science and Computer Applications, The University of Texas at Austin, SRI International, 1982."},{"key":"15_CR13","unstructured":"E. Bradley, Control Algorithms for Chaotic Systems, AI Memo 1278, MIT AI Laboratory, 1991."},{"key":"15_CR14","unstructured":"E. Bradley and F. Zhao, Phase-Space Control System Design, IEEE CACSD92, 1992."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"J. R. B\u00fcchi, The Collected Works of J. Richard B\u00fcchi, S. MacLane, D. Siefkes, eds., Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4613-8928-6_2"},{"key":"15_CR16","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":"15_CR17","unstructured":"N. Coleman, An Emulation-Simulation for Intelligent Controls, Proc. of the Workshop on Software Tools for Distributed Intelligent Control Systems, 37\u201352, July 17\u201319, 1990, Pacifica, California."},{"key":"15_CR18","unstructured":"R. T. Dodhiawala, V. Jagoenthan, and L. S. Baum, Erasmus System Design: Performance Issues, Proc. of the Workshop on Blackboard Implementation Issues, AIII, Seattle, WA, July, 1987."},{"key":"15_CR19","volume-title":"Distributive Lattices","author":"P. Dwinger","year":"1974","unstructured":"Ph. Dwinger and R. Balbes, Distributive Lattices, Columbia, University of Missouri Press, 1974."},{"key":"15_CR20","volume-title":"Automata, Languages, and Machines (vol. A)","author":"S. Eilenberg","year":"1974","unstructured":"S. Eilenberg, Automata, Languages, and Machines (vol. A), Academic Press, New York, 1974."},{"key":"15_CR21","unstructured":"I. Ekeland, Infinite Dimensional Optimization and Convexity, University of Chicago Lecture Notes in Mathematics, University of Chicago Press, 1983."},{"key":"15_CR22","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":"15_CR23","unstructured":"A. Friedman, Differential Games, Wiley-Interscience, 1971."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott, A Compendium of Continuous Lattices, Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"key":"15_CR25","first-page":"2953","volume":"3","author":"R. L. Grossman","year":"1992","unstructured":"R. L. Grossman and R. G. Larson, Viewing Hybrid Systems as Products of Control Systems and Automata, Proc. IEEE 31st CDC, vol. 3, 2953\u20132955, Tucson, 1992.","journal-title":"Proc. IEEE 31st CDC"},{"key":"15_CR26","unstructured":"J. Guckenheimer, A. Back, M. Myers, A Dynamical Simulation Facility for Hybrid Systems, this vol."},{"key":"15_CR27","first-page":"2981","volume":"3","author":"J. Guckenheimer","year":"1992","unstructured":"J. Guckenheimer and A. Nerode, Simulation for Hybrid and Nonlinear Control, Proc. IEEE 31st CDC, vol. 3, 2981\u20132983, 1992.","journal-title":"Proc. IEEE 31st CDC"},{"key":"15_CR28","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":"15_CR29","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":"15_CR30","volume-title":"Lie Groups, Convex Cones, and Semigroups","author":"J. Hilgert","year":"1988","unstructured":"J. Hilgert, K. H. Hofmann, J. Lawson, Lie Groups, Convex Cones, and Semigroups, Oxford Clarendon Press, 1988."},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"A. Isidori, Nonlinear Control Systems, An Introduction, Springer-Verlag, 1989.","DOI":"10.1007\/978-3-662-02581-9"},{"key":"15_CR32","unstructured":"R. Iseman, Digital Control Systems, Springer-Verlag, 1977."},{"key":"15_CR33","unstructured":"R. Isaacs, Differential Games, SIAM Series in Applied Mathematics, John Wiley and Sons, Inc., 1965."},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Y. Kesten and A. Pnueli, Timed and Hybrid Statecharts and their Textual Representation, in Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 571, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_32"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"W. Kohn, A Declarative Theory for Rational Controllers, Proc. 27th CDC, pp. 130\u2013136, 1988.","DOI":"10.1109\/CDC.1988.194283"},{"key":"15_CR36","unstructured":"W. Kohn, The Rational Tree Machine: Technical Description and Mathematical Foundations, IR and DBE-499, Technical Document 905-10107-1, July 7, 1989, Boeing Computer Services."},{"key":"15_CR37","unstructured":"W. Kohn, Rational Algebras: A Constructive Approach, IR and DBE-499, Technical Document D-905-10107-2, July 7, 1989."},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"W. Kohn, Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA, 1988.","DOI":"10.2514\/6.1988-4098"},{"key":"15_CR39","unstructured":"W. Kohn, Application of Declarative Hierarchical Methodology for the Flight Telerobotic Servicer, Boeing Document G-6630-061, Final Report of NASA-Ames Research Service request 2072, Job Order T1988, Jan 15, 1988."},{"key":"15_CR40","unstructured":"W. Kohn, Cruise Missile Mission Planning: A Declarative Control Approach, Boeing Computer Services technical Report, 1989."},{"key":"15_CR41","doi-asserted-by":"crossref","unstructured":"W. Kohn, Declarative Multiplexed Rational Controllers, Proc. 5th IEEE Int. Symp. Intelligent Cont., pp. 794\u2013803, 1990.","DOI":"10.1109\/ISIC.1990.128548"},{"key":"15_CR42","unstructured":"W. Kohn, Declarative Hierarchical Controllers, Proc. Darpa Workshop on Software Tools for Distributed Intelligent Control Systems, Domain Specific Software Initiative, pp. 141\u2013163, Pacifica, Ca., July 17\u201319, 1990."},{"key":"15_CR43","unstructured":"W. Kohn, Advanced Architecture and Methods for Knowledge-Based Planning and Declarative Control, Boeing Computer Services Technical Document IRD BCS-021, 1990, in ISMIS 91."},{"key":"15_CR44","unstructured":"W. Kohn and K. Carlsen, Symbolic Design and Analysis in Control, Proc. 1988 Grainger Lecture Series, U. of Illinois, pp. 40\u201352, 1989."},{"key":"15_CR45","unstructured":"W. Kohn and A. Murphy, Multiple Agent Reactive Shop Control, ISMIS91."},{"key":"15_CR46","unstructured":"W. Kohn and A. Nerode, An Autonomous Control Theory: An Overview, Proc. IEEE CACSD92, March, 1992."},{"key":"15_CR47","doi-asserted-by":"crossref","unstructured":"W. Kohn and A. Nerode, Multiple Agent Autonomous Control Systems, Proc. CDC92, Dec, 1992.","DOI":"10.1109\/CDC.1992.371270"},{"key":"15_CR48","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 Nerodels 60th birthday, Birkhauser, 1993."},{"key":"15_CR49","unstructured":"W. Kohn and A. Nerode, Multiple Agent Hybrid Control Architecture, this vol."},{"key":"15_CR50","first-page":"382","volume":"1","author":"W. Kohn","year":"1988","unstructured":"W. Kohn and T. Skillman, Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA Conf. on Guidance, Navigation, and Control, v. 1, pp.382\u2013390, 1988.","journal-title":"Proc. AIAA Conf. on Guidance, Navigation, and Control"},{"key":"15_CR51","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":"15_CR52","doi-asserted-by":"crossref","unstructured":"W. Kuich and A. Salomaa, Semirings, Automata, Languages, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69959-7"},{"key":"15_CR53","unstructured":"B. C. Kuo, Digital Control Systems, Holt, Rinehart, Winston, 1980."},{"key":"15_CR54","unstructured":"J. W. S. Liu, Real Time Responsiveness in Distributed Operating Systems and Databases, Proc. Darpa Workshop on Software Tools for Intelligent Control, Domain Specific Software Initiative, pp. 185\u2013192, Pacifica, Ca., July 17\u201319, 1990."},{"key":"15_CR55","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":"15_CR56","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli, Prom Timed to Hybrid Systems, in Proc. Rex Workshop, Real Time in Theory and Practice, J. W. DeBakker, C. Huizing, W. P. de Roever, G. Rozenberg, eds., LNCS 600, Springer Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"15_CR57","unstructured":"E. Mettala, Domain Specific Architectures, Proc. of Workshop on Domain Specific Software Architectures, 193\u2013231, July 9\u201312, 1990, Hidden Valley, Calif."},{"key":"15_CR58","volume-title":"Tech. Report 92-14","author":"R. McNaughton","year":"1992","unstructured":"R. McNaughton, Infinite Games Played on Finite Graphs, Tech. Report 92-14, Dept. Comp. Sci., RPI, Troy, New York, May 1992."},{"key":"15_CR59","volume-title":"Theory of Hierarchical Multilevel Systems","author":"M. Mesarovic","year":"1970","unstructured":"M. Mesarovic and Y. Tashahara, Theory of Hierarchical Multilevel Systems, Academic Press, N.Y., 1970."},{"key":"15_CR60","unstructured":"A. Nerode, General Topology and Partial Recursive Functionals, in Summaries of Talks at the AMS Summer Insitute in Symbolic Logic, Cornell University, 1957."},{"key":"15_CR61","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1215\/S0012-7094-59-02637-7","volume":"26","author":"A. Nerode","year":"1959","unstructured":"A. Nerode, Some Stone Spaces and Recursion Theory, Duke Mathematics Journal, 26, 1959, 397\u2013406.","journal-title":"Duke Mathematics Journal"},{"key":"15_CR62","unstructured":"A. Nerode, Modelling Intelligent Control, Proc. DARPA Workshop on Software Tools for Distributed Intelligent Control Systems, Domain Specific Software Initiative, Pacifica, Ca., July 17\u201319, 1990."},{"key":"15_CR63","volume-title":"Hybrid System Workshop Notes","author":"A. Nerode","year":"1991","unstructured":"A. Nerode and J.B. Remmel, A Model for Hybrid Systems, Hybrid System Workshop Notes, MSI, Cornell University, Ithaca, NY, June 10\u201312, 1991."},{"key":"15_CR64","unstructured":"A. Nerode, J.B. Remmel and A. Yakhnis, Playing Games on Graphs: Extracting Concurrent and Hybrid Control Programs, in prep."},{"key":"15_CR65","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, Modelling Hybrid Systems as Games, Proc. CDC92, pp.2947\u20132952, Dec, 1992.","DOI":"10.1109\/CDC.1992.371272"},{"key":"15_CR66","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":"15_CR67","doi-asserted-by":"crossref","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis, Distributed Concurrent Programs as Strategies in Games, to appear in Logical Methods: A Symposium in honor of Anil Nerodels 60th birthday, Birkhauser, 1993.","DOI":"10.1007\/978-1-4612-0325-4_21"},{"issue":"2","key":"15_CR68","first-page":"38","volume":"7","author":"P. H. Nii","year":"1986","unstructured":"P. H. Nii, Blackboard Systems: The Blackboard Model of Problem Solving and the Evolution of the Blackboard Architecture, AI Magazine, (7) 2, pp. 38\u201353, 1986.","journal-title":"AI Magazine"},{"key":"15_CR69","unstructured":"L. E. Neustadt, Optimization, Princeton University Press, 1976."},{"key":"15_CR70","doi-asserted-by":"crossref","unstructured":"A. Pnueli, Application of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, in Current Trends in Concurrency, LICS 1986.","DOI":"10.1007\/BFb0027047"},{"key":"15_CR71","doi-asserted-by":"crossref","unstructured":"A. Pnueli, R. Rosner, On the Synthesis of a Reactive Module, Proc. of 1989 POPL Conference, January 1989.","DOI":"10.1145\/75277.75293"},{"issue":"No.4","key":"15_CR72","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1070\/RM1966v021n04ABEH004171","volume":"21","author":"L.S. Pontryagin","year":"1966","unstructured":"L.S. Pontryagin, On the Theory of Differential Games, Russian Mathematical Surveys 21 (No.4), pp. 193\u2013246, 1966.","journal-title":"Russian Mathematical Surveys"},{"key":"15_CR73","doi-asserted-by":"crossref","unstructured":"M. H. Raibert, Legged Robots that Balance, MIT Press, 1986.","DOI":"10.1109\/MEX.1986.4307016"},{"key":"15_CR74","unstructured":"S. S. Sastry and M. Bodson, Adaptive Control: Stability, Convergence, and Robustness, Prentice-Hall, 1989."},{"key":"15_CR75","doi-asserted-by":"crossref","unstructured":"M. Schoppers, Automatic Synthesis of Perception Driven Discrete Event Control Laws, Proc. 5th IEEE Inter. Symp. on Intelligent Control, 1990.","DOI":"10.1109\/ISIC.1990.128489"},{"key":"15_CR76","volume-title":"Dynamical Hierarchical Control","author":"M. G. Singh","year":"1977","unstructured":"M. G. Singh, Dynamical Hierarchical Control, North Holland, Amsterdam, 1977."},{"key":"15_CR77","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2514\/3.20532","volume":"13","author":"T. Skillman","year":"1990","unstructured":"T. Skillman, W. Kohn, et. al., Classes of Hierarchical Controllers and their Blackboard Implementations, J. Guidance and Control and Dynamics, (13), pp. 176\u2013182, 1990.","journal-title":"J. Guidance and Control and Dynamics"},{"key":"15_CR78","unstructured":"J.J. E. Slotine and Weiping Li, Applied Nonlinear Control, Prentice Hall, 1991."},{"key":"15_CR79","doi-asserted-by":"crossref","unstructured":"E. D. Sontag, Mathematical Control Theory, Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4684-0374-9"},{"key":"15_CR80","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0022-0396(72)90007-1","volume":"12","author":"H. J. Sussman","year":"1972","unstructured":"H. J. Sussman and V. Jurdjevic, Controllability of Non-linear Systems, J. Diff. Equations, 12 pp.95\u2013116, 1972.","journal-title":"J. Diff. Equations"},{"key":"15_CR81","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":"15_CR82","unstructured":"J. Warga, Some Selected Problems of Optimal Control, in Modern Optimal Control, Emilio O. Roxin, ed., Marcel Dekker, Inc., 1989."},{"key":"15_CR83","unstructured":"A. Yakhnis, Game-Theoretic Semantics for Concurrent Programs and their Specifications, Ph. D. Diss., Cornell University, 1990."},{"key":"15_CR84","unstructured":"A. Yakhnis, Hybrid Games, Technical Report 92-38, Mathematical Sciences Institute, Cornell University, October, 1992."},{"key":"15_CR85","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":"15_CR86","volume-title":"Optimal Control Theory","author":"L. C. Young","year":"1980","unstructured":"L. C. Young, Optimal Control Theory, Chelsea Pub. Co. N.Y, 1980."},{"key":"15_CR87","doi-asserted-by":"crossref","unstructured":"F. Zhao, Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Space, AI Memo 1274, MIT AI Laboratory, March, 1991.","DOI":"10.21236\/ADA241163"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57318-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:25Z","timestamp":1605647485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57318-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573180","9783540480600"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/3-540-57318-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}