{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:25Z","timestamp":1725486565085},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656432"},{"type":"electronic","value":"9783540491637"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49163-5_7","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T07:15:39Z","timestamp":1182582939000},"page":"122-141","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Wolf","family":"Kohn","sequence":"first","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","year":"1996","unstructured":"Alur, R., Henzinger, T. A., Sontag, E. D., eds. Hybrid Systems III, Lecture Notes in Computer Science 1066 (Springer-Verlag, Berlin, 1996)."},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","year":"1995","unstructured":"Antsaklis, P., Kohn, W., Nerode, A, and Sastry, S. eds., Hybrid Systems II, Lecture Notes in Computer Science 999 (Springer-Verlag, Berlin, 1995)."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems IV","year":"1997","unstructured":"Antsaklis, P., Kohn, W., Nerode, A, and Sastry, S. eds., Hybrid Systems IV, Lecture Notes in Computer Science 1273 (Springer-Verlag, Berlin, 1997)."},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4307-4","volume-title":"Symmetries and Differential Equations","author":"G. K. Bluman","year":"1989","unstructured":"Bluman, G. K., Kumei, S., Symmetries and Differential Equations (Springer-Verlag, Berlin, 1989)."},{"key":"7_CR5","unstructured":"Caratheodory, C., Calculus of Variations and Partial Differential Equations of the First Order (Dover reprint, 1982)"},{"key":"7_CR6","unstructured":"Atiyah M., Collected Works, vol. 5 (Oxford Science Publications, Clarendon Press, 1987)"},{"key":"7_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0325-4","volume-title":"Logical Methods: In Honor of Anil Nerode\u2019s Sixtieth Birthday","author":"J.N. Crossley","year":"1993","unstructured":"Crossley, J.N., Remmel, J.B., Shore, R.A. and Sweedler, M.E., Logical Methods: In Honor of Anil Nerode\u2019s Sixtieth Birthday (Birkhauser, Boston, 1993)."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Darling, R.W.R., Differential Forms and Connections (Cambridge University Press, 1994)","DOI":"10.1017\/CBO9780511805110"},{"key":"7_CR9","unstructured":"Ge, X., W. Kohn, A. Nerode, and J.B. Remmel, \u201cMultiple agent hybrid control: carrier manifolds and chattering approximations to optimal control,\u201d Proceedings of the 33rd IEEE Conference on Decision and Control CDC\u201994 (IEEE Press, 1994), 4221\u20134227."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Ge, X., Kohn, W., Nerode, A. and Remmel, J.B., \u201cHybrid Systems: Chattering Approximations to Relaxed Controls\u201d, in [1] (1996); 76\u2013100.","DOI":"10.1007\/BFb0020937"},{"key":"7_CR11","unstructured":"Gelfand, I.M., and Fomin, S.V., Calculus of Variations (Prentice Hall, 1963)."},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems","year":"1993","unstructured":"Grossman, R.L., Nerode, A., Ravn, A., Rischel, H. eds., Hybrid Systems, Lecture Notes in Computer Science 736 (Springer-Verlag, Berlin, 1993)."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Kohn, W., \u201cDeclarative Control Architecture\u201d Communications of the ACM, Aug 1991,Vol. 34, No. 8.","DOI":"10.1145\/108515.108530"},{"key":"7_CR14","unstructured":"Kohn W., Nerode, A., \u201cMultiple-Agent Hybrid Systems\u201d, Proceedings of the 31st IEEE Conference on Decision and Control CDC\u201992 (IEEE Press, 1992); 2956\u20132972."},{"key":"7_CR15","unstructured":"Kohn, W., Nerode, A., \u201cAn Autonomous Systems Control Theory: An Overview\u201d, Proceedings of IEEE CACSD\u201992, March 17-19, Napa, Ca.; 200\u2013220."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A. \u201cMultiple Agent Hybrid Control Architecture\u201d, in [12] (1993); 297\u2013315.","DOI":"10.1007\/3-540-57318-6_34"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A.., \u201cModels For Hybrid Systems: Automata, Topologies, Controllability, Observability\u201d, in [12] (1993); 317\u2013356.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Kohn W., Nerode, A., \u201cMultiple Agent Hybrid Control Architecture\u201d, in [7] (1993); 593\u2013623.","DOI":"10.1007\/978-1-4612-0325-4_20"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., \u201cHybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections\u201d, in [2] (1995); 294\u2013321.","DOI":"10.1007\/3-540-60472-3_15"},{"key":"7_CR20","doi-asserted-by":"publisher","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., \u201cViability in hybrid systems,\u201d Theoretical Computer Science138 (1995), 141\u2013168","journal-title":"Theoretical Computer Science"},{"key":"7_CR21","first-page":"517","volume":"2","author":"W. Kohn","year":"1996","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., \u201cFeedback Derivations: Near Optimal Controls for Hybrid Systems\u201d, Proceedings of 1996 IMACS Multiconference on Computation Engineering in Systems Applications (CESA\u201996), vol. 2, (1996), 517\u2013521.","journal-title":"Proceedings of 1996 IMACS Multiconference on Computation Engineering in Systems Applications (CESA\u201996)"},{"key":"7_CR22","first-page":"507","volume":"2","author":"W. Kohn","year":"1996","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., \u201cContinualization: A Hybrid Systems Control Technique for Computing\u201d, Proceedings of 1996 IMACS Multiconference on Computational Engineering in Systems Applications (CESA\u201996), vol. 2, (1996), 507\u2013511.","journal-title":"Proceedings of 1996 IMACS Multiconference on Computational Engineering in Systems Applications (CESA\u201996)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kohn, W., Nerode, A., Remmel, J.B., \u201cAgent Based Velocity Control of Highway Systems,\u201d in [3] (1997); 175\u2013214.","DOI":"10.1007\/BFb0031561"},{"key":"7_CR24","unstructured":"Kohn, W., Remmel, J. B., Nerode, A., \u201cAutomaton Comparison Procedure for the Verification of Hybrid Systems,\u201d Proceedings of 5th IEEE Mediterranean Conference on Control and Systems (MED\u201997)."},{"key":"7_CR25","volume-title":"Tensors, Differential Forms, and Variational Principles","author":"D. Lovelock","year":"1989","unstructured":"Lovelock, D., and Rund, H., Tensors, Differential Forms, and Variational Principles (Dover, New York, 1989)."},{"key":"7_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4350-2","volume-title":"Applications of Lie Groups to Differential Equations","author":"P. J. Olver","year":"1993","unstructured":"Olver, P. J., Applications of Lie Groups to Differential Equations, Second Edition (Springer-Verlag, Berlin, 1993).","edition":"Second Edition"},{"key":"7_CR27","unstructured":"Rickart, C., General Theory of Banach Algebras (D. Van Nostrand, 1960)."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Rund, H. The Differential Geometry of Finsler spaces (Springer-Verlag, 1959).","DOI":"10.1007\/978-3-642-51610-8"},{"key":"7_CR29","unstructured":"Rund, H., The Hamilton-Jacobi Theory in the Calculus of Variations (D. van Nostrand, 1966)."},{"key":"7_CR30","volume-title":"Differential Geometry","author":"S. Sternberg","year":"1983","unstructured":"Sternberg, S., Differential Geometry (Dover, New York, 1983)."},{"key":"7_CR31","volume-title":"Optimal Control of Differential and Functional Equations","author":"K. Warga","year":"1977","unstructured":"Warga, K., Optimal Control of Differential and Functional Equations (Academic Press, New York, 1977)."},{"key":"7_CR32","volume-title":"Optimal Control Theory","author":"L.C. Young","year":"1980","unstructured":"Young, L.C., Optimal Control Theory (Chelsea Publishing Co., New York, 1980)."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49163-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T00:04:12Z","timestamp":1586131452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49163-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656432","9783540491637"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-49163-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}