Object tracking Control Model checking Scheduling Algorithms Underwater Robotics Acoustique Possibility distribution Fault tolerance Underwater vehicles Underwater Modeling Adaptive window Precision agriculture Architecture Automata Automatique Autonomous Underwater Vehicles Détection acoustique Automates temporisés Mapping Acoustic detection Autonomous Underwater Vehicle ASV Allocation des ressources humaines Vehicle routing Architecture of Hardware-in-The-Loop simulator Acoustic Architecture Description Language SLAM Adaptive control Suivi de fond 3D Occupancy Grid Multi-vehicles simulator Formal verification Approche contextuelle Informatique industrielle Simulation Aide à la décision Robotique sous-marine Distance Control architecture Validation Architecture de simulateur Hadrware-in-The-Loop Environment Exploration Autonomous underwater vehicles Microcontrôleur Formal analysis Robotics Occlusion detection Robust control 3D reconstruction Analyse paramétrée Autonomy Affection des Ressources Humaines Localization Distributed simulation Autonomous Underwater Vehicle AUV Underwater vehicle Mobile robot Performance Autonomous underwater vehicle Acoustic diffraction Safety Timed automata Real-time systems Antinoise Algorithm complexity Fuzzy logic 3D Collision avoidance Autonomous Vehicles Architecture embarquée Path planning Perception Change Management Assistive robotics Abstraction de modèle Algorithme Heuristique Orientation Adaptive Control Nonlinear control Implementation AMDEC Adjustable/adaptive autonomy Path following Optimisation Bottom tracking Diffraction Angulliform motion Navigation Apprentissage organisationnel FPGA AUV Robotique Petri nets Dependability Underwater robotics 3D registration Architecture de contrôle