@phdthesis{bourgois:tel-03419041, TITLE = {{Safe \& collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem}}, AUTHOR = {Bourgois, Auguste}, URL = {https://theses.hal.science/tel-03419041}, NUMBER = {2021ENTA0002}, SCHOOL = {{ENSTA Bretagne - {\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne}}, YEAR = {2021}, MONTH = Jan, KEYWORDS = {Underwater docking ; Stability of dynamical systems ; Hybrid systems ; Constraint programming ; Guaranteed integration ; Docking sous-marin ; Stabilit{\'e} des syst{\`e}mes dynamiques ; Syst{\`e}mes hybrides ; Programmation par contraintes ; Int{\'e}gration garantie}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-03419041/file/2021_auguste_bourgois_local.pdf}, HAL_ID = {tel-03419041}, HAL_VERSION = {v1}, }