{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:22:15Z","timestamp":1768342935098,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000147","name":"Division of Civil, Mechanical and Manufacturing Innovation","doi-asserted-by":"publisher","award":["1949748"],"award-info":[{"award-number":["1949748"]}],"id":[{"id":"10.13039\/100000147","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10846-023-01928-w","type":"journal-article","created":{"date-parts":[[2023,8,5]],"date-time":"2023-08-05T06:01:30Z","timestamp":1691215290000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities"],"prefix":"10.1007","volume":"108","author":[{"given":"Xuejiao","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bowen","family":"Mu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dillard","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1518-0721","authenticated-orcid":false,"given":"Joseph","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,5]]},"reference":[{"issue":"1","key":"1928_CR1","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TIV.2016.2578706","volume":"1","author":"B Paden","year":"2016","unstructured":"Paden, B., C\u00e1p, M., Yong, S.Z., Yershov, D., Frazzoli, E.: A survey of motion planning and control techniques for self-driving urban vehicles. IEEE Trans. Intell. Veh. 1(1), 33\u201355 (2016)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"1928_CR2","doi-asserted-by":"crossref","unstructured":"Broadhurst, A., Baker, S., Kanade, T.: Monte Carlo road safety reasoning. IEEE Intell. Veh. Symp. 319\u2013324 (2005)","DOI":"10.1109\/IVS.2005.1505122"},{"issue":"1","key":"1928_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TITS.2007.909241","volume":"9","author":"A Eidehall","year":"2008","unstructured":"Eidehall, A., Petersson, L.: Statistical threat assessment for general road scenes using Monte Carlo sampling. IEEE Trans. Intell. Transp. Syst. 9(1), 137\u2013147 (2008)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"1928_CR4","doi-asserted-by":"crossref","unstructured":"Zhou, Y., Baras, J.S.: Reachable set approach to collision avoidance for UAVs. IEEE Conf. Decis. Control. 5947\u20135952 (2015)","DOI":"10.1109\/CDC.2015.7403154"},{"key":"1928_CR5","doi-asserted-by":"crossref","unstructured":"Rubies-Royo, V., Fridovich-Keil, D., Herbert, S., Tomlin, C.J.: A classification-based approach for approximate reachability. Int. Conf. Robot. Autom. 7697\u20137704 (2019)","DOI":"10.1109\/ICRA.2019.8793919"},{"issue":"12","key":"1928_CR6","doi-asserted-by":"publisher","first-page":"2151","DOI":"10.1017\/S0263574719001905","volume":"38","author":"S Kleff","year":"2020","unstructured":"Kleff, S., Li, N.: Robust motion planning in dynamic environments based on sampled-data Hamilton-Jacobi reachability. Robotica 38(12), 2151\u20132172 (2020)","journal-title":"Robotica"},{"issue":"20","key":"1928_CR7","first-page":"279","volume":"51","author":"M Obayashi","year":"2018","unstructured":"Obayashi, M., Takano, G.: Real-time autonomous car motion planning using NMPC with approximated problem considering traffic environment. IFAC-Pap 51(20), 279\u2013286 (2018)","journal-title":"IFAC-Pap"},{"issue":"8","key":"1928_CR8","doi-asserted-by":"publisher","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","volume":"62","author":"AD Ames","year":"2016","unstructured":"Ames, A.D., Xu, X., Grizzle, J.W., Tabuada, P.: Control barrier function based quadratic programs for safety critical systems. IEEE Trans. Automat. Contr. 62(8), 3861\u20133876 (2016)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"1928_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.automatica.2018.07.004","volume":"96","author":"M Jankovic","year":"2018","unstructured":"Jankovic, M.: Robust control barrier functions for constrained stabilization of nonlinear systems. Automatica 96, 359\u2013367 (2018)","journal-title":"Automatica"},{"key":"1928_CR10","doi-asserted-by":"crossref","unstructured":"Prandini, M., Hu, J.: Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction. IEEE Conf. Decis. Control. 4036\u20134041 (2008)","DOI":"10.1109\/CDC.2008.4739248"},{"issue":"2","key":"1928_CR11","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/TITS.2009.2018966","volume":"10","author":"M Althoff","year":"2009","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Model-based probabilistic collision detection in autonomous driving. IEEE Trans. Intell. Transp. Syst. 10(2), 299\u2013310 (2009)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"1928_CR12","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.1109\/TITS.2011.2158210","volume":"12","author":"P Falcone","year":"2011","unstructured":"Falcone, P., Ali, M., Sjoberg, J.: Predictive threat assessment via reachability analysis and set invariance theory. IEEE Trans. Intell. Transp. Syst. 12(4), 1352\u20131361 (2011)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"1928_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/MITS.2013.2278405","volume":"5","author":"R Kianfar","year":"2013","unstructured":"Kianfar, R., Falcone, P., Fredriksson, J.: Safety verification of automated driving systems. IEEE Intell. Transp. Syst. Mag. 5(4), 73\u201386 (2013)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"issue":"4","key":"1928_CR14","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","volume":"30","author":"M Althoff","year":"2014","unstructured":"Althoff, M., Dolan, J.M.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903\u2013918 (2014)","journal-title":"IEEE Trans. Robot."},{"issue":"2\u20134","key":"1928_CR15","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1504\/IJVAS.2010.035796","volume":"8","author":"SJ Anderson","year":"2010","unstructured":"Anderson, S.J., Peters, S.C., Pilutti, T.E., Iagnemma, K.: An optimal-control-based framework for trajectory planning, threat assessment, and semi-autonomous control of passenger vehicles in hazard avoidance scenarios. Int. J. Veh. Auton. Syst. 8(2\u20134), 190\u2013216 (2010)","journal-title":"Int. J. Veh. Auton. Syst."},{"key":"1928_CR16","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. IEEE Conf. Decis. Control. 4042\u20134048 (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"issue":"1","key":"1928_CR17","first-page":"21","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"issue":"10","key":"1928_CR18","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solutions of initial value problems for parametric ODEs. Appl. Numer. Math. 57(10), 1145\u20131162 (2007)","journal-title":"Appl. Numer. Math."},{"issue":"5","key":"1928_CR19","doi-asserted-by":"publisher","first-page":"2307","DOI":"10.1137\/140976807","volume":"53","author":"B Houska","year":"2015","unstructured":"Houska, B., Villanueva, M.E., Chachuat, B.: Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations. SIAM J. Numer. Anal. 53(5), 2307\u20132328 (2015)","journal-title":"SIAM J. Numer. Anal."},{"key":"1928_CR20","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrmann, B., He\u00df, D., Eilbrecht, J., Stursberg, O., K\u00f6ster, F., Althoff, M.: Ensuring drivability of planned motions using formal methods. IEEE Trans. Intell. Transp. Syst. 1\u20138 (2017)","DOI":"10.1109\/ITSC.2017.8317647"},{"key":"1928_CR21","doi-asserted-by":"crossref","unstructured":"He\u00df, D., Althoff, M., Sattel, T.: Formal verification of maneuver automata for parameterized motion primitives. IEEE Int. Conf. Intell. Robots Syst. 1474\u20131481 (2014)","DOI":"10.1109\/IROS.2014.6942751"},{"key":"1928_CR22","unstructured":"Harrison, G.W.: Dynamic models with uncertain parameters. In Proceedings of the first international conference on mathematical modeling 1, 295\u2013304 (1997)"},{"key":"1928_CR23","doi-asserted-by":"crossref","unstructured":"Harwood, S.M., Barton, P.I.: Efficient polyhedral enclosures for the reachable set of nonlinear control systems. Math. Control Signals Syst. 28(1), 8 (2016)","DOI":"10.1007\/s00498-015-0153-2"},{"key":"1928_CR24","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1016\/B978-0-444-59520-1.50120-2","volume":"30","author":"B Chachuat","year":"2012","unstructured":"Chachuat, B., Villanueva, M.: Bounding the solutions of parametric ODEs: When Taylor models meet differential inequalities. Comput. Aided Chem. Eng. 30, 1307\u20131311 (2012)","journal-title":"Comput. Aided Chem. Eng."},{"key":"1928_CR25","doi-asserted-by":"crossref","unstructured":"Shen, K., Scott, J.K.: Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities. Math. Control Signals Syst. 1\u201327 (2020)","DOI":"10.1007\/s00498-020-00254-y"},{"issue":"1","key":"1928_CR26","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.automatica.2012.09.020","volume":"49","author":"JK Scott","year":"2013","unstructured":"Scott, J.K., Barton, P.I.: Bounds on the reachable sets of nonlinear control systems. Automatica 49(1), 93\u2013100 (2013)","journal-title":"Automatica"},{"key":"1928_CR27","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1016\/j.compchemeng.2017.08.001","volume":"106","author":"K Shen","year":"2017","unstructured":"Shen, K., Scott, J.K.: Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy. Comput. Chem. Eng. 106, 596\u2013608 (2017)","journal-title":"Comput. Chem. Eng."},{"key":"1928_CR28","doi-asserted-by":"crossref","unstructured":"Althoff, M., Dolan, J.M.: Reachability computation of low-order models for the safety verification of high-order road vehicle models. Am. Control Conf. 3559\u20133566 (2012)","DOI":"10.1109\/ACC.2012.6314777"},{"key":"1928_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526473","volume-title":"Interval Methods for Systems of Equations","author":"A Neumaier","year":"1991","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Encyclopedia of Mathematics and its Applications (1991)"},{"issue":"5","key":"1928_CR30","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1080\/00207170802370033","volume":"82","author":"BOS Teixeira","year":"2009","unstructured":"Teixeira, B.O.S., Chandrasekar, J., Torres, L.A.B., Aguirre, L.A., Bernstein, D.S.: State estimation for linear and non-linear equality-constrained systems. Int. J. Contr. 82(5), 918\u2013936 (2009)","journal-title":"Int. J. Contr."},{"key":"1928_CR31","unstructured":"Scott, J.K.: Reachability analysis and deterministic global optimization of differential-algebraic systems. PhD thesis, Massachusetts Institute of Technology (2012)"},{"key":"1928_CR32","doi-asserted-by":"crossref","unstructured":"Barton, P.I., Scott, J.K.: Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation. Numer. Math. 125(1):27\u201360 (2013)","DOI":"10.1007\/s00211-013-0532-x"},{"key":"1928_CR33","doi-asserted-by":"crossref","unstructured":"Kochdumper, N., Gassert, P., Althoff, M.: Verification of collision avoidance for commonroad traffic scenarios. In ARCH@ ADHS, p 184\u2013194 (2021)","DOI":"10.29007\/1973"},{"issue":"3","key":"1928_CR34","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"AC Hindmarsh","year":"2005","unstructured":"Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S.: Sundials: Suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Math. Softw. 31(3), 363\u2013396 (2005)","journal-title":"ACM Trans. Math. Softw."},{"key":"1928_CR35","unstructured":"Kanayama, Y., Kimura, Y., Miyazaki, F., Noguchi, T.: A stable tracking control method for an autonomous mobile robot. Proc. IEEE Int. Conf. Robot. Autom. 384\u2013389 (1990)"},{"key":"1928_CR36","unstructured":"Althoff, M.: An introduction to CORA Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, p 120\u2013151 (2015)"},{"issue":"4","key":"1928_CR37","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1109\/TRO.2010.2052325","volume":"26","author":"M Werling","year":"2010","unstructured":"Werling, M., Groll, L., Bretthauer, G.: Invariant trajectory tracking with a full-size autonomous road vehicle. IEEE Trans. Robot. 26(4), 758\u2013765 (2010)","journal-title":"IEEE Trans. Robot."},{"key":"1928_CR38","first-page":"1","volume":"13","author":"C Samson","year":"1992","unstructured":"Samson, C.: Path following and time-varying feedback stabilization of a wheeled mobile robot. Proc. Int. Conf. Adv. Robot. 13, 1\u201314 (1992)","journal-title":"Proc. Int. Conf. Adv. Robot."}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-023-01928-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10846-023-01928-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10846-023-01928-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:10:24Z","timestamp":1729883424000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10846-023-01928-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["1928"],"URL":"https:\/\/doi.org\/10.1007\/s10846-023-01928-w","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"1 April 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Statements and Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}],"article-number":"78"}}