@phdthesis{lemezo:tel-02865800,
  TITLE = {{Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents}},
  AUTHOR = {Le M{\'e}zo, Thomas},
  URL = {https://hal.archives-ouvertes.fr/tel-02865800},
  SCHOOL = {{ENSTA Bretagne - {\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne}},
  YEAR = {2019},
  MONTH = Dec,
  KEYWORDS = {underwater robotics ; dynamical systems ; invariants sets ; abstract interpretation ; constraint programming ; profiling floats ; robotique sous-marine ; syst{\`e}mes dynamiques ; ensembles invariants ; interpr{\'e}tation abstraite ; programmation par contraintes ; flotteurs profilers},
  TYPE = {Theses},
  PDF = {https://hal.archives-ouvertes.fr/tel-02865800/file/lemezo_thesis.pdf},
  HAL_ID = {tel-02865800},
  HAL_VERSION = {v1},
}