Abstraction de modèle Autonomous Underwater Vehicle Timed automata Change Management Perception Collision avoidance Possibility distribution Underwater robotics Acoustic Reconstruction 3D Affection des Ressources Humaines Mobile robot Tolérance aux fautes Occlusion detection Stereovision Fault tolerance Underwater vehicle Formal verification Distributed simulation Safety 3D Underwater Robotique sous-marine Microcontrôleur Control Acoustique Real-time systems Adaptive Control Robotics Marine robotics Robotique SLAM Navigation AMDEC Simulation Formal analysis Multi-vehicles simulator Adjustable/adaptive autonomy Dependability Autonomie Implementation Model checking Acoustic detection Acoustic diffraction Underwater Robotics Informatique industrielle Mobile Robotics Autonomous underwater vehicle Diffraction Autonomous underwater vehicles Suivi de fond Path following Distance Lower limb veins Robotic Scheduling Algorithms Détection acoustique Validation Architecture Autonomous Underwater Vehicles 3D registration Robotique mobile Viscoelasticity Adaptive window Underwater vehicles 3D Occupancy Grid Architecture de contrôle Fuzzy logic Resources management Localisation Control architecture Path planning Mobile robotics Localization Approche contextuelle ASV Mapping Precision agriculture Bottom tracking Robust control Performance Chronic venous disease 3D reconstruction Autonomy Karstic Exploration Petri nets Object tracking FPGA Computer vision Optimisation Environment Exploration Actuator saturation Modeling Orientation Adaptive control AUV Nonlinear control AI-based methods Vehicle routing