{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:53Z","timestamp":1761487493004},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020937","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"76-100","source":"Crossref","is-referenced-by-count":10,"title":["Hybrid systems: Chattering approximation to relaxed controls"],"prefix":"10.1007","author":[{"given":"Xiaolin","family":"Ge","sequence":"first","affiliation":[]},{"given":"Wolf","family":"Kohn","sequence":"additional","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"P. Antsaklis, W. Kohn, A. Nerode, S. Sastry, eds.: Hybrid Systems II, Lecture Notes in Computer Science vol. 999, Springer-Verlag. (1995)","DOI":"10.1007\/3-540-60472-3"},{"key":"6_CR2","unstructured":"J. P. Aubin and I. Ekeland: Applied Non-Linear Analysis Wiley. (1984)"},{"key":"6_CR3","unstructured":"A. Bejancu: Finsler geometry and applications, Harwood. (1990)"},{"key":"6_CR4","volume-title":"Dynamic Programming","author":"R. Belleman","year":"1957","unstructured":"R. Belleman, Dynamic Programming, Princeton University Press, Princeton, NJ, (1957)."},{"key":"6_CR5","volume-title":"Dynamic Programming and Modern Control Theory","author":"R.E. Bellman","year":"1965","unstructured":"R.E. Bellman and R. Kalaba, Dynamic Programming and Modern Control Theory, Academic Press, New York (1965)."},{"key":"6_CR6","unstructured":"E. Cartan: Les Espaces de Finsler, Actualities scientifiques et industrielle 79, Exposes de geometrie II. (1934)"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970142","volume-title":"Methods of Dynamics and Nonsmooth Optimization","author":"F. H. Clarke","year":"1989","unstructured":"F. H. Clarke: Methods of Dynamics and Nonsmooth Optimization, SIAM, Philadelphia. (1989)"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971309","volume-title":"Optimization and Nonsmooth Analysis","author":"F. H. Clarke","year":"1990","unstructured":"F. H. Clarke: Optimization and Nonsmooth Analysis, SIAM, Philadelphia. (1990)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"J. N. Crossley, J. B. Remmel, R. A. Shore, and Moss E. Sweedler: Logical Methods Birkhauser. (1993)","DOI":"10.1007\/978-1-4612-0325-4"},{"key":"6_CR10","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":"6_CR11","unstructured":"I. Ekeland and R. Temam: Convex analysis and variational problems North-Holland. (1976)"},{"key":"6_CR12","unstructured":"I. Ekeland: Infinite Dimensional Optimization and Convexity, University of Chicago Lecture Notes in Mathematics, University of Chicago Press. (1983)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"I. Ekeland: Convexity methods in Hamiltonian mechanics, Springer-Verlag. (1990)","DOI":"10.1007\/978-3-642-74331-3"},{"key":"6_CR14","volume-title":"Diss. G\u00f6ttingen","author":"P. Finsler","year":"1951","unstructured":"P. Finsler: \u00dcber Kurven und Fl\u00e4chen in allegmeinen R\u00e4umen. Diss. G\u00f6ttingen (1918) (republished by Verlag Birkh\u00e4user Basel (1951))"},{"key":"6_CR15","unstructured":"X. Ge, W. Kohn, A. Nerode, and J. B. Remmel: Algorithms for Chattering Approximations to Relaxed Optimal Control. MSI Tech. Report 95-1, Cornell University. (1995)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"R. L. Grossman, A. Nerode, A. Ravn, and H.Rischel, eds., Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag. (1993)","DOI":"10.1007\/3-540-57318-6"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"W. Kohn: A Declarative Theory for Rational Controllers, Proc. 27th IEEE CDC. (1988) 130\u2013136.","DOI":"10.1109\/CDC.1988.194283"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"W. Kohn and T. Skillman: Hierarchical Control Systems for Autonomous Space Robots, Proc. AIAA. (1988) 382\u2013390.","DOI":"10.2514\/6.1988-4098"},{"key":"6_CR19","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":"6_CR20","first-page":"382","volume":"1","author":"W. Kohn","year":"1988","unstructured":"W. Kohn: Autonomous Space Robots, Proc. AIAA Conf. on Guidance, Navigation, and Control, v. 1. (1988), 382\u2013390.","journal-title":"Proc. AIAA Conf. on Guidance, Navigation, and Control"},{"key":"6_CR21","unstructured":"W. Kohn: The Rational Tree Machine: Technical Description and Mathematical Foundations, IR and D BE-499, Technical Document 905-10107-1, Boeing Computer Services. July 7 (1989)"},{"key":"6_CR22","unstructured":"W. Kohn: Rational Algebras: A Constructive Approach, IR andD BE-499, Boeing Computer Service Technical Document D-905-10107-2. July 7 (1989)"},{"key":"6_CR23","unstructured":"W. Kohn: Cruise Missile Mission Planning: A Declarative Control Approach, Boeing Computer Services Technical Report. (1989)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"W. Kohn: Declarative Multiplexed Rational Controllers, Proc. 5th IEEE Int. Symp. Intelligent Cont. (1990) 794\u2013803.","DOI":"10.1109\/ISIC.1990.128548"},{"key":"6_CR25","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":"6_CR26","unstructured":"W. Kohn: A Knowledge-Based Planning and Declarative Control, Boeing Computer Services, Technical Document IRD BCS-021,in ISMIS 91. (1990)"},{"key":"6_CR27","unstructured":"W. Kohn and K. Carlsen: Symbolic Design and Analysis in Control, Proc. 1988 Grainger Lecture Series, U. of Illinois. (1989) 40\u201352."},{"key":"6_CR28","unstructured":"W. Kohn and A. Murphy: Multiple Agent Reactive Shop Control, IS-MIS91."},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"W. Kohn and A. Nerode: Multiple Agent Autonomous Control Systems, Proc. 31st IEEE CDC (Tucson). (1992) 2956\u20132966.","DOI":"10.1109\/CDC.1992.371270"},{"key":"6_CR30","unstructured":"W. Kohn and A. Nerode: 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":"6_CR31","unstructured":"W. Kohn and A. Nerode: A Multiple agent Hybrid Control Arcitecture. In Logical Methods (J. Crossley, J. B. Remmel, R. Shore, M. Sweedler, eds.), Birkhauser. (1993) 593\u2013623"},{"key":"6_CR32","unstructured":"W. Kohn and A. Nerode: Models for hybrid systems: automata, topologies, controllability and observability. In [GNRR93]. (1993) 317\u2013356."},{"key":"6_CR33","unstructured":"W. Kohn and A. Nerode: Multiple Agent Hybrid Control Architecture. In [GNRR93]. (1993) 297\u2013316."},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"W. Kohn, A. Nerode, and J. B. Remmel, Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections. In [AKNS95]. (1995)","DOI":"10.1007\/3-540-60472-3_15"},{"key":"6_CR35","unstructured":"W. Kohn, A. Nerode, and J. B. Remmel, Hybrid Systems as Finsler Manifolds II: The Bellman-Hamilton-Jacobi equations and Automata, in prep."},{"key":"6_CR36","unstructured":"W. Kohn, A. Nerode, J. B. Remmel, and X. Ge: Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control. CDC94 (1994)"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-3975(94)00150-H","volume":"138","author":"W. Kohn","year":"1995","unstructured":"W. Kohn, A. Nerode, and J. B. Remmel, A. Yakhnis: Viability in hybrid systems. J. Theoretical Computer Science. 138 (1995) 141\u2013168.","journal-title":"J. Theoretical Computer Science"},{"key":"6_CR38","doi-asserted-by":"crossref","DOI":"10.1090\/crmp\/002","volume-title":"Optimal Control via Nonsmooth Analysis","author":"P. D. Loewen","year":"1993","unstructured":"P. D. Loewen, Optimal Control via Nonsmooth Analysis: AMS, Providence. (1993)"},{"key":"6_CR39","unstructured":"J. Lu, X. Ge, W. Kohn, A. Nerode, and N. Coleman: A semi-autonomous multiagent decision model for a battlefield environment. MSI Technical Report, Oct. 1994, Cornell University. (1994)"},{"key":"6_CR40","volume-title":"Nonsmooth Optimization: Analysis of Algorithms with Applications to Optimal Control","author":"M. M. Makela","year":"1993","unstructured":"M. M. Makela: Nonsmooth Optimization: Analysis of Algorithms with Applications to Optimal Control, World Scientific, Singapore. (1993)"},{"key":"6_CR41","volume-title":"Foundations of Finsler geometry and special Finsler spaces","author":"M. Matsumoto","year":"1986","unstructured":"Matsumoto, M.: Foundations of Finsler geometry and special Finsler spaces. Kaiseisha Press, Shigkan. (1986)"},{"key":"6_CR42","unstructured":"A. Nerode and X. Ge: Effective Content of the Calculus of Variations, MSI Tech. Report, Feb. 1995, Cornell University. (1995)"},{"key":"6_CR43","volume-title":"Intermetrics Report","author":"A. Nerode","year":"1992","unstructured":"A. Nerode, J. James, and W. Kohn: Multiple agent declarative control architecture: A knowledge based system for reactive planning, scheduling and control in manufacturing systems. Intermetrics Report, Intermetrics, Bellevue, Wash. Nov. (1992)"},{"key":"6_CR44","volume-title":"Intermetrics Report","author":"A. Nerode","year":"1994","unstructured":"A. Nerode, J. James, and W. Kohn: Multiple Agent Hybrid Control Architecture: A generic open architecture for incremental construction of reactive planning and scheduling. Intermetrics Report, Intermetrics, Bellevue, Wash. June (1994)"},{"key":"6_CR45","unstructured":"A. Nerode, J. James, and W. Kohn: Multiple agent reactive control of distributed interactive simulations. Proc. Army Workshop on Hybrid Systems and Distributed Simulation, Feb. 28\u2013March 1. (1994)"},{"key":"6_CR46","volume-title":"Intermetrics Report","author":"A. Nerode","year":"1994","unstructured":"A. Nerode, J. James, and W. Kohn: Multiple agent reactive control of wireless distributed multimedia communications networks for the digital battlefield. Intermetrics Report, Intermetrics, Bellevue, Wash. June (1994)"},{"key":"6_CR47","unstructured":"A. Nerode, J. James, W. Kohn, and N. DeClaris: Intelligent integration of medical models. Proc. IEEE Conference on Systems, Man, and Cybernetics, San Antonio. 1\u20136 Oct. (1994)"},{"key":"6_CR48","unstructured":"A. Nerode, J. James,W. Kohn, and N. DeClaris: Medical information systems via high performance computing and communications. Proc. IEEE Biomedical Engineering Symposium, Baltimore, MD. Nov. (1994)"},{"key":"6_CR49","unstructured":"A. Nerode, J. James, W. Kohn, K. Harbison, and A. Agrawala: A hybrid systems approach to computer aided control system design. Proc. Joint Symposium on Computer Aided Control System Design. Tucson AZ 7\u20139 March (1994)"},{"key":"6_CR50","unstructured":"A. Nerode, J. B. Remmel, and A. Yakhnis: Hybrid system games: Extraction of control automata and small topologies, MSI Technical Report 93-102, Cornell University. (1993)"},{"key":"6_CR51","unstructured":"A. Nerode, J. B. Remmel, and A. Yakhnis: Hybrid systems and continuous Sensing Games. 9th IEEE Conference on Intelligent Control, August 25\u201327. (1993)"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"A. Nerode, J. B. Remmel, and A. Yakhnis: Controllers as Fixed Points of Set-Valued Operators, in [AKNS95]. (1995)","DOI":"10.1007\/3-540-60472-3_17"},{"key":"6_CR53","unstructured":"A. Nerode and A. Yakhnis: Modelling hybrid systems as games, CDC92. (1992) 2947\u20132952."},{"key":"6_CR54","unstructured":"A. Nerode and A. Yakhnis: Hybrid games and hybrid systems, MSI Technical Report 93-77, Cornell University. (1993)"},{"key":"6_CR55","unstructured":"A. Nerode and A. Yakhnis: An example of extraction of a finite control automaton and A. Nerode's AD-converter for a discrete sensing hybrid system, MSI Technical Report 93-104, Cornell University (1993)"},{"key":"6_CR56","unstructured":"W. Rudin: Functional Analysis, McGraw Hill (1991)"},{"key":"6_CR57","doi-asserted-by":"crossref","unstructured":"H. Rund: The Differential Geometry of Finsler Spaces, Springer. (1959)","DOI":"10.1007\/978-3-642-51610-8"},{"key":"6_CR58","unstructured":"H. Rund: The Hamilton Jacobi Theory, Van Nostrand. (1966)"},{"key":"6_CR59","unstructured":"C. Tuckey: Non-Standard Methods in the Calculus of Variations, Wiley. (1993)"},{"key":"6_CR60","volume-title":"Optimal Control of Differential and Functional Equations","author":"J. Warga","year":"1972","unstructured":"J. Warga: Optimal Control of Differential and Functional Equations, Academic Press, New York and London. (1972)"},{"key":"6_CR61","volume-title":"Lectures on the Calculus Of Variations and Optimal Control Theory","author":"L. C. Young","year":"1980","unstructured":"L. C. Young: Lectures on the Calculus Of Variations and Optimal Control Theory, Chelsea Pub. Company, New York, NY. (1980)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:41:27Z","timestamp":1586580087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/bfb0020937","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}