%0 Conference Paper %F Oral %T Autopilot for a marine vessel : a formal proff of robustness and optimal control based on an uncertain model %+ Lab-STICC_ENSTAB_CID_PRASYS %A Lefort, Alexandre %A Clement, Benoit %A Dal Santo, X. %< avec comité de lecture %B 13th national conference on Software and Hardware Architectures for Robots Control (SHARC 2018) %C Saint-Tropez, France %8 2018-06-13 %D 2018 %Z Engineering Sciences [physics]/AutomaticConference papers %G English %L hal-01867181 %U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01867181 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ ENIB %~ LAB-STICC %~ TDS-MACS %~ INSTITUTS-TELECOM