{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:37:54Z","timestamp":1736573874370,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457640"},{"type":"electronic","value":"9783540457664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875604_60","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:19:18Z","timestamp":1158931158000},"page":"534-539","source":"Crossref","is-referenced-by-count":0,"title":["A Logic-Based Approach to Model Supervisory Control Systems"],"prefix":"10.1007","author":[{"given":"Pierangelo","family":"Dell\u2019Acqua","sequence":"first","affiliation":[]},{"given":"Anna","family":"Lombardi","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"60_CR1","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1109\/TAC.1998.664148","volume":"43","author":"P.J. Antsaklis","year":"1998","unstructured":"Antsaklis, P.J., Nerode, A.: Hybrid control systems: An introductory discussion to the special issue. IEEE Transactions on Automatic Control\u00a043(4), 457\u2013460 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"60_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R.A. Brooks","year":"1986","unstructured":"Brooks, R.A.: A robust layered control system for a mobile robot. IEEE J. of Robotics and Automation\u00a02(1), 14\u201323 (1986)","journal-title":"IEEE J. of Robotics and Automation"},{"key":"60_CR3","doi-asserted-by":"crossref","unstructured":"Dell\u2019Acqua, P., Lombardi, A., Pereira, L.M.: Modelling Hybrid Control Systems with Behaviour Networks. In: Filipe, J., Ferrier, J.-L., Cetto, J.A. (eds.) 2nd Int. Conf. on Informatics in Control, Automation and Robotics (Icinco 2005). Procs. Intelligent Control Systems and Optimization, vol.\u00a01, pp. 98\u2013105. INSTICC Press (2005) ISBN:972-8865-29-5","DOI":"10.5220\/0001188300980105"},{"key":"60_CR4","volume-title":"Artificial Minds","author":"S. Franklin","year":"1995","unstructured":"Franklin, S.: Artificial Minds. MIT Press, Cambridge (1995)"},{"key":"60_CR5","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P., Liberzon, D., Morse, A.S.: Overcoming the limitations of adaptive control by means of logic-based switching. Systems and Control Letters (to appear)","DOI":"10.1016\/S0167-6911(02)00342-0"},{"key":"60_CR6","series-title":"Lecture Notes in Computer Science","first-page":"317","volume-title":"Hybrid Systems","author":"W. Kohn","year":"1993","unstructured":"Kohn, W., Nerode, A.: Models for hybrid systems: automata, topologies, controllability and observability. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 317\u2013356. Springer, Heidelberg (1993)"},{"key":"60_CR7","series-title":"Lecture Notes in Computer Science","first-page":"297","volume-title":"Hybrid Systems","author":"W. Kohn","year":"1993","unstructured":"Kohn, W., Nerode, A.: Multiple agent hybrid control architecture. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 297\u2013316. Springer, Heidelberg (1993)"},{"issue":"12","key":"60_CR8","doi-asserted-by":"publisher","first-page":"1848","DOI":"10.1109\/9.250564","volume":"38","author":"F. Lin","year":"1993","unstructured":"Lin, F.: Robust and adaptive supervisory control of discrete event systems. IEEE Transactions on Automatic Control\u00a038(12), 1848\u20131852 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"60_CR9","first-page":"291","volume":"1","author":"P. Maes","year":"1989","unstructured":"Maes, P.: How to do the right thing. Connection Science Journal, Special Issue on Hybrid Systems\u00a01(3), 291\u2013323 (1989)","journal-title":"Connection Science Journal, Special Issue on Hybrid Systems"},{"key":"60_CR10","volume-title":"Proceedings of the first International Conference on Simulation of Adaptive Behavior","author":"P. Maes","year":"1991","unstructured":"Maes, P.: A bottom-up mechanism for behavior selection in an artificial creature. In: Meyer, J.A., Wilson, S. (eds.) Proceedings of the first International Conference on Simulation of Adaptive Behavior, MIT Press, Cambridge (1991)"},{"key":"60_CR11","volume-title":"The Society of Mind","author":"M. Minsky","year":"1986","unstructured":"Minsky, M.: The Society of Mind. Simon and Schuster, New York (1986)"},{"key":"60_CR12","doi-asserted-by":"crossref","unstructured":"Tu, X.: Artificial Animals for Computer Animation: Biomechanics, Locomotion, Perception, and Behavior. PhD thesis, ACM Distinguished Ph.D Dissertation Series, LNCS, vol. 1635 (1999)","DOI":"10.1007\/3-540-46593-6"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875604_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T23:37:23Z","timestamp":1736552243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875604_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457640","9783540457664"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11875604_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}