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