{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T15:47:34Z","timestamp":1726847254844},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_14","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:27:49Z","timestamp":1194978469000},"page":"133-146","source":"Crossref","is-referenced-by-count":14,"title":["Hybrid Feedback Control for Path Tracking by a Bounded\u2014Curbature Vehicle"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Balluchi","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Sou\u00e9res","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Bicchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2000","unstructured":"E. Asarin, T. Dang, O. Maler, and O. Bournez. Approximate reachability analysis of piecewise-linear dynamical systems. In Nancy Lynch and Bruce H. Krogh, editors, Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 20\u201331. Springer-Verlag, New York, U.S.A., 2000."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1109\/5.871300","volume":"88","author":"A. Balluchi","year":"2000","unstructured":"A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli. Automotive engine control and hybrid systems: Challenges and opportunities. Proceedings of the IEEE, 88, \u201cSpecial Issue on Hybrid Systems\u201d (invited paper)(7):888\u2013912, July 2000.","journal-title":"Proceedings of the IEEE"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli. Controller synthesis for hybrid systems with lower bounds on event separation. In Proc. 38th IEEE Conference on Decision and Control, pages 3984\u20133989, Phoenix, Arizona, USA, December 1999.","DOI":"10.1109\/CDC.1999.827983"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/2372560","volume":"79","author":"L. E. Dubins","year":"1957","unstructured":"L. E. Dubins. On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents. American Journal of Mathematics, 79:497\u2013516, 1957.","journal-title":"American Journal of Mathematics"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger. Hybrid automata with finite bisimulations. In Z. F\u00fcl\u00f6p and F. G\u00e9cseg, editors, ICALP\u201995: Automata, Languages, and Programming, pages 324\u2013335. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0036069","volume-title":"Robot motion planning and control","author":"J.P. Laumond","year":"1998","unstructured":"J.P. Laumond, S. Sekhavat, and F. Lamiraux. Robot motion planning and control. Springer-Verlag, Berlin, Germany, 1998."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3), March 1999.","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"14_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-58179-0_45","volume-title":"Proceedings of Sixth International Conference on Computer-Aided Verification (CAV-94)","author":"A. Olivero","year":"1994","unstructured":"A. Olivero, J. Sifakis, and S. Yovine. Using abstractions for the verification of linear hybrid systems. In Proceedings of Sixth International Conference on Computer-Aided Verification (CAV-94), pages 81\u201394. Springer-Verlag, 1994. Lecture Notes in Computer Science 818."},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/9.362899","volume":"40","author":"C. Samson","year":"1995","unstructured":"C. Samson. Control of chained systems application to path following and time-varying point-stabilization of mobile robots. IEEE Transaction on Automatic Control, 40(1):64\u201377, January 1995.","journal-title":"IEEE Transaction on Automatic Control"},{"issue":"6","key":"14_CR10","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1109\/70.265927","volume":"9","author":"O.J. Sordalen","year":"1993","unstructured":"O.J. Sordalen and C. Canudas de Wit. Exponential control law for a mobile robot: Extension to path following. IEEE Transactions on Robotics and Automation, 9(6):837\u2013842,, 1993.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P. Sou\u00e8res, A. Balluchi, and A. Bicchi. Optimal feedback control for line tracking with a bounded-curvature vehicle. to appear in International Journal of Control, 2000.","DOI":"10.1007\/3-540-45351-2_14"},{"issue":"6","key":"14_CR12","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1109\/70.478428","volume":"11","author":"D. Tilbury","year":"1995","unstructured":"D. Tilbury, O.J. Sordalen, L. Bushnell, and S.S. Sastry. A multi-steering trailer system: conversion into chained form using dynamic feedback. IEEE Transactions on Robotics and Automation, 11(6):807\u201318, December 1995.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/TAC.1977.1101446","volume":"22","author":"V.I. Utkin","year":"1977","unstructured":"V.I. Utkin. Variable structure systems with sliding modes: a survey. IEEE Transations on Automatic Control, 22:212\u2013222, 1977.","journal-title":"IEEE Transations on Automatic Control"},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-46430-1_37","volume-title":"Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control","author":"J. Zhang","year":"2000","unstructured":"J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry. Dynamical systems revisited: Hybrid systems with zeno executions. In Nancy Lynch and Bruce H. Krogh, editors, Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 451\u2013464. Springer-Verlag, New York, U.S.A., 2000."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T07:24:33Z","timestamp":1556954673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}