{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T16:02:22Z","timestamp":1784736142937,"version":"3.55.0"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1109\/tcst.2025.3593237","type":"journal-article","created":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T18:27:21Z","timestamp":1757096841000},"page":"2334-2349","source":"Crossref","is-referenced-by-count":5,"title":["Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis"],"prefix":"10.1109","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2934-147X","authenticated-orcid":false,"given":"Karan","family":"Mahesh","sequence":"first","affiliation":[{"name":"Aurora Flight Sciences, A Boeing Company, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6071-621X","authenticated-orcid":false,"given":"Tyler M.","family":"Paine","sequence":"additional","affiliation":[{"name":"Woods Hole Oceanographic Institute, Woods Hole, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2733-0344","authenticated-orcid":false,"given":"Max L.","family":"Greene","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, A Boeing Company, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6274-7527","authenticated-orcid":false,"given":"Nicholas","family":"Rober","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3384-6727","authenticated-orcid":false,"given":"Steven","family":"Lee","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, A Boeing Company, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7694-9536","authenticated-orcid":false,"given":"Sildomar T.","family":"Monteiro","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, A Boeing Company, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4354-0459","authenticated-orcid":false,"given":"Anuradha","family":"Annaswamy","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2520-6465","authenticated-orcid":false,"given":"Michael R.","family":"Benjamin","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8576-1930","authenticated-orcid":false,"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-011-0096-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.10.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24740-8_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4031\/MTSJ.43.1.11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANS.2016.7761236"},{"key":"ref6","volume-title":"Guidance and Control of Ocean Vehicles","author":"Fossen","year":"1994"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1991.132047"},{"issue":"2","key":"ref8","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1016\/S1474-6670(17)48645-9","article-title":"Cascaded adaptive control of marine vehicles with significant actuator dynamics","volume":"26","author":"Fossen","year":"1993","journal-title":"IFAC Proc. Volumes"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1996.506190"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907275"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2020.106980","article-title":"Finite-time adaptive tracking control of marine vehicles with complex unknowns and input saturation","volume":"198","author":"Shen","year":"2020","journal-title":"Ocean Eng."},{"key":"ref12","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.apor.2018.06.011","article-title":"Dynamic model identification of unmanned surface vehicles using deep learning network","volume":"78","author":"Woo","year":"2018","journal-title":"Appl. Ocean Res."},{"issue":"2","key":"ref13","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/S1474-6670(17)51653-5","article-title":"Robust adaptive control of underwater vehicles: A comparative study","volume":"28","author":"Fossen","year":"1995","journal-title":"IFAC Proc. Volumes"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4396-3_11"},{"key":"ref15","volume-title":"Stable Adaptive Systems","author":"Narendra","year":"2005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2871672"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2305791"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S0373463317000753"},{"key":"ref19","first-page":"123","article-title":"The development of the U.S. navy underway replenishment fleet","volume":"95","author":"Miller","year":"1987","journal-title":"Soc. Nav. Architects Mar. Eng.-Trans."},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1051\/matecconf\/202133901019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.5040\/9781805014300.ch-015"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561348"},{"issue":"117","key":"ref24","first-page":"1","article-title":"OVERT: An algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"Sidrane","year":"2022","journal-title":"J. Mach. Learn. Res."},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610163"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s40815-024-01767-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2021.3059210"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-4900"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3182\/20090916-3-BR-3001.0022"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2003.823312"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2018.2869508"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2022.110971","article-title":"3D path following and L1 adaptive control for underwater vehicles","volume":"253","author":"Rober","year":"2022","journal-title":"Ocean Eng."},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2020.2998798"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1177\/027836498700600303"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/70.880812"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2200104"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-3537"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.23919\/OCEANS.2013.6741115"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795548"},{"key":"ref41","first-page":"4939","article-title":"Efficient neural network robustness certification with general activation functions","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"31","author":"Zhang"},{"key":"ref42","first-page":"5276","article-title":"Towards fast computation of certified robustness for ReLU networks","volume-title":"Proc. Int. Conf. Mach. Learn. (ICML)","author":"Weng"},{"key":"ref43","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","author":"Xu","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref44","article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Tjeng"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref47","volume-title":"Graduate Studies in Mathematics","volume":"19","author":"Evans","year":"1998"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264291"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561956"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref57","first-page":"2055","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","volume-title":"Proc. Conf. Robot Learn.","author":"Lew"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref60","volume-title":"Jax_Verify: Neural Network Verification in Jax","year":"2020"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0853-5_19"},{"key":"ref62","volume-title":"An Overview of MOOS-IvP and a Users Guide to the IvP Helm","author":"Benjamin","year":"2024"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20370"},{"key":"ref65","first-page":"1347","article-title":"The hydraulic interaction between passing vessels, called \u2019suction","volume":"37","author":"Reeve","year":"1911","journal-title":"Proc. United States Nav. Inst."},{"key":"ref66","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2023.114361","article-title":"Survey on hydrodynamic analysis of ship\u2013ship interaction during the past decade","volume":"278","author":"Zhou","year":"2023","journal-title":"Ocean Eng."},{"key":"ref67","doi-asserted-by":"crossref","DOI":"10.1016\/j.oceaneng.2022.113119","article-title":"Shipping accident analysis in restricted waters: Lesson from the Suez canal blockage in 2021","volume":"266","author":"Fan","year":"2022","journal-title":"Ocean Eng."}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/87\/11214702\/11152616.pdf?arnumber=11152616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T04:38:53Z","timestamp":1761280733000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11152616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":67,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2025.3593237","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11]]}}}