{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:59Z","timestamp":1749221339853},"publisher-location":"Berlin, Heidelberg","reference-count":44,"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_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:47:16Z","timestamp":1330242436000},"page":"297-316","source":"Crossref","is-referenced-by-count":32,"title":["Multiple agent hybrid control architecture"],"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":"14_CR1","volume-title":"The Mathematical Theory of Diffusion and Reaction in Permeable Catalysts, vol. 2","author":"R. Aris","year":"1975","unstructured":"R. Aris, The Mathematical Theory of Diffusion and Reaction in Permeable Catalysts, vol. 2, Calendon Press, Oxford, 1975."},{"unstructured":"M. Ben-Ari, Principles of Concurrent Programming, Prentice-Hall, 1990.","key":"14_CR2"},{"doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra, An Introduction to Parallel Program Design, Addison-Wesley, 1988.","key":"14_CR3","DOI":"10.1007\/978-1-4613-9668-0_6"},{"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":"14_CR4"},{"key":"14_CR5","volume-title":"Proc. of the Workshop on Blackboard Implementation Issues","author":"R. T. Dodhiawala","year":"1987","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":"14_CR6","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":"14_CR7","first-page":"2204","volume":"4","author":"H. Garcia","year":"1990","unstructured":"H. Garcia and A. Ray, Nonlinear Reinforcement Schemes for Learning Automata, Proc. 29th IEEE CDC, vol. 4, 2204\u20132207, Honolulu, Hawaii, Dec 5\u20137, 1990.","journal-title":"Proc. 29th IEEE CDC"},{"key":"14_CR8","first-page":"271","volume":"71","author":"J. Goldstine","year":"1979","unstructured":"J. Goldstine, A Rational Theory of AFL's, LCNS 71, 271\u2013281, 1979.","journal-title":"LCNS"},{"key":"14_CR9","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"},{"unstructured":"J. Guckenheimer, A. Back, M. Myers, A Dynamical Simulation Facility for Hybrid Systems, MSI Tech. Report 92-6, Cornell University, 1992.","key":"14_CR10"},{"key":"14_CR11","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"},{"unstructured":"R. Iseman, Digital Control Systems, Springer-Verlag, 1977.","key":"14_CR12"},{"unstructured":"M. H. Kaplan, Modern Spacecraft Dynamics and Control, John Wiley and Sons, 1976.","key":"14_CR13"},{"doi-asserted-by":"crossref","unstructured":"W. Kohn, A Declarative Theory for Rational Controllers, Proc. 27th IEEE CDC, pp. 130\u2013136, 1988.","key":"14_CR14","DOI":"10.1109\/CDC.1988.194283"},{"doi-asserted-by":"crossref","unstructured":"W. Kohn and T. Skillman, Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA, 382\u2013390, 1988.","key":"14_CR15","DOI":"10.2514\/6.1988-4098"},{"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":"14_CR16"},{"unstructured":"W. Kohn, The Rational Tree Machine: Technical Description and Mathematical Foundations, IR and D BE-499, Technical Document 905-10107-1, July 7, 1989, Boeing Computer Services.","key":"14_CR17"},{"unstructured":"W. Kohn, Rational Algebras: A Constructive Approach, IR and D BE-499, Technical Document D-905-10107-2, July 7, 1989.","key":"14_CR18"},{"unstructured":"W. Kohn, Cruise Missile Mission Planning: A Declarative Control Approach, Boeing Computer Services Technical Report, 1989.","key":"14_CR19"},{"doi-asserted-by":"crossref","unstructured":"W. Kohn, Declarative Multiplexed Rational Controllers, Proc. 5th IEEE Int. Symp. Intelligent Cont., pp. 794\u2013803, 1990.","key":"14_CR20","DOI":"10.1109\/ISIC.1990.128548"},{"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":"14_CR21"},{"unstructured":"W. Kohn and C. Johnson, An Algebraic Approach to Formal Verification of Embedded Systems, IRD Tech. Rpt. D-180-31989-1, Boeing Computer Services, 1990.","key":"14_CR22"},{"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":"14_CR23"},{"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":"14_CR24"},{"unstructured":"W. Kohn and A. Murphy, Multiple Agent Reactive Shop Control, ISMIS91.","key":"14_CR25"},{"unstructured":"W. Kohn and A. Nerode, An Autonomous Control Theory: An Overview, Proc. IEEE CACSD92, March, 1992.","key":"14_CR26"},{"doi-asserted-by":"crossref","unstructured":"W. Kohn and A. Nerode, Multiple Agent Autonomous Control Systems, Proc. 31st IEEE CDC (Tucson), 2956\u20132966.","key":"14_CR27","DOI":"10.1109\/CDC.1992.371270"},{"unstructured":"W. Kohn and A. Nerode, Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, this vol.","key":"14_CR28"},{"key":"14_CR29","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"},{"doi-asserted-by":"crossref","unstructured":"W. Kuich and A. Salomaa, Semirings, Automata, Languages, Springer-Verlag, 1985.","key":"14_CR30","DOI":"10.1007\/978-3-642-69959-7"},{"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":"14_CR31"},{"key":"14_CR32","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":"J. W. Lloyd, Foundations of Logic Programming, 2nd ed., Springer Verlag, New York, 1987.","edition":"2nd ed."},{"key":"14_CR33","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."},{"unstructured":"E. Mettala, Domain Specific Architectures, Proc. of Workshop on Domain Specific Software Architectures, 193\u2013231, July 9\u201312, 1990, Hidden Valley, Calif.","key":"14_CR34"},{"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":"14_CR35"},{"key":"14_CR36","first-page":"38","volume":"2","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 (7)"},{"unstructured":"L. E. Neustadt, Optimization, Princeton University Press, 1976.","key":"14_CR37"},{"doi-asserted-by":"crossref","unstructured":"P. Padawitz, Computing in Horn Clause Theories, Springer Verlag, 1988.","key":"14_CR38","DOI":"10.1007\/978-3-642-73824-1"},{"unstructured":"S. S. Sastry and M. Bodson, Adaptive Control: Stability, Convergence, and Robustness, Prentice-Hall, 1989.","key":"14_CR39"},{"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.","key":"14_CR40","DOI":"10.1109\/ISIC.1990.128489"},{"key":"14_CR41","volume-title":"Dynamical Hierarchical Control","author":"M. G. Singh","year":"1977","unstructured":"M. G. Singh, Dynamical Hierarchical Control, North Holland, Amsterdam, 1977."},{"doi-asserted-by":"crossref","unstructured":"T. Skillman, W. Kohn, et. al., Classes of Hierarchical Controllers and their Blackboard Implementations, J. Guidance, Control and Dynamics, (13), pp. 176\u2013182, 1990.","key":"14_CR42","DOI":"10.2514\/3.20532"},{"doi-asserted-by":"crossref","unstructured":"J. Warga, Optimal Control of Differential and Functional Equations, Academic Press, 1972.","key":"14_CR43","DOI":"10.1016\/B978-0-12-735150-6.50011-7"},{"key":"14_CR44","volume-title":"Optimal Control Theory","author":"L. C. Young","year":"1980","unstructured":"L. C. Young, Optimal Control Theory, Chelsea Pub. Co. N.Y, 1980."}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:24Z","timestamp":1605629484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57318-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573180","9783540480600"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-57318-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}