{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:15Z","timestamp":1725664695903},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:40:34Z","timestamp":1330270834000},"page":"344-358","source":"Crossref","is-referenced-by-count":7,"title":["Controllers as fixed points of set-valued operators"],"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,5,31]]},"reference":[{"key":"17_CR1","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T., Ho, P-H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, in [10] (1993) 209\u2013229"},{"key":"17_CR2","unstructured":"Aubin, J.P.: Set Valued Analysis. Birkhauser. (1990)"},{"key":"17_CR3","unstructured":"Aubin, J.P., Cellina, A.: Differential Inclusions. Birkhauser. (1990)"},{"key":"17_CR4","unstructured":"Aubin, J.P.: Viability Theory. Birkhauser. (1991)"},{"key":"17_CR5","unstructured":"Deshpande, A., Varaiya, P.: Viable Control of Hybrid Systems, this volume."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1137\/0305040","volume":"5","author":"A.F. Filippov","year":"1967","unstructured":"Filippov, A.F.: Classical Solutions of Differential Equationswith multivalued right hand side. SIAM J. Control and Optimization 5 (1967) 609\u2013621","journal-title":"SIAM J. Control and Optimization"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Filippov, A.F.: Differential Equations with Discontinuous Right Hand Sides. Kluwer Academic Publishers. (1988)","DOI":"10.1007\/978-94-015-7793-9"},{"key":"17_CR8","unstructured":"Ge, X., Kohn, W., Nerode, A., Remmel, J.B.: Algorithms for chattering approximations to relaxed controls. Tech. Report 94\u201323, Mathematical Sciences Institute, Cornell University. (1994)"},{"key":"17_CR9","unstructured":"Ge, X., Nerode, A.: Effective Content of Relaxed Calculus of Variations: semicontinuity. Tech Report, Feb. 1995, Mathematical Sciences Institute, Cornell University. (1995)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Grossman, R., Nerode, A., Rischel, H., Ravn, A., eds.: Hybrid Systems. Springer Lecture Notes in Computer Science. (1993)","DOI":"10.1007\/3-540-57318-6"},{"key":"17_CR11","unstructured":"Kohn, W., Nerode, A.: An autonomous control theory: an overview. IEEE Symposium on Computer Aided Control System Design (March 17\u201319, 1992, Napa Valley, CA), (1992) 204\u2013210"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A.: Multiple Agent Autonomous Control Systems. Proc. 31st IEEE CDC Tucson, Ar. 2956\u20132962 (1993)","DOI":"10.1007\/978-1-4612-0325-4_20"},{"key":"17_CR13","unstructured":"Kohn, W., Nerode, A.: Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. in [10], (1993) 317\u2013356"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A.: Multiple agent autonomous hybrid control systems. Logical Methods: A Symposium in honor of Anil Nerode's 60th Birthday, (J. N. Crossley, Jeffrey B. Remmel, Richard A., Shore, Moss E. Sweedler, eds), Birkhauser. (1993)","DOI":"10.1007\/978-1-4612-0325-4_20"},{"key":"17_CR15","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., Ge, X.: Multiple Agent Hybrid Control: Carrier Manifolds and Chattering Approximations to Optimal Control. CDC94 (1994)"},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0304-3975(94)00150-H","volume":"138","author":"W. Kohn","year":"1995","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., Yakhnis, A.: Viability in Hybrid Systems. Theoretical Comp. Sc. 138 (1995) 141\u2013168","journal-title":"Theoretical Comp. Sc."},{"key":"17_CR17","unstructured":"Nerode, A., Remmel, J.B., Yakhnis, A.: Hybrid Systems Games: Extraction of Control Automata with Small Topologies. Tech Report No. 93-102, December 1993, Mathematical Sciences Institute, Cornell University. (1993)"},{"key":"17_CR18","unstructured":"Nerode, A., Yakhnis, A.: Modeling Hybrid Systems as Games. CDC92 (1992) 2947\u20132952"},{"key":"17_CR19","unstructured":"Nerode, A., Yakhnis, A.: Hybrid Games and Hybrid Systems. Tech Report No. 932-77, October 1993, Mathematical Sciences Institute, Cornell University. (1993)"},{"key":"17_CR20","unstructured":"Nerode, A., Yakhnis, A.: Control Automata and Fixed Points of Set-Valued Operators for Discrete Sensing Hybrid Systems, Tech. Report 93-105, Mathematical Sciences Institute, Cornell University. (1993)"},{"key":"17_CR21","unstructured":"Roxin, E.O.: The Attainable set in Control Systems, in Mathematical Theory of Control, Lecture Notes in Pure and Applied Mathematics, volume 142, M. Joshi and A. Balakrishnan editors, Marcel Dekker, inc. (1993)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Warga, J.: Optimal Control of Differential and Functional Equations. Academic Press. (1972)","DOI":"10.1016\/B978-0-12-735150-6.50011-7"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:59:33Z","timestamp":1605628773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}