Robotique Use cases Sonar images Context Automatic target recognition Guaranteed integration Interval analysis Systèmes embarqués Array processing SLAM Time-frequency analysis Localisation Fusion FAD Smalltalk Détection Inverse problems Simulation Detection Security Breast Tumor Signal processing Target recognition Small Perturbation Model SPM Embedded systems MIMO Scattering Sea surface AUV Model checking Passive acoustic monitoring DSL Self-interference cancellation Constraint propagation Binary classification Estimation Framework Interval Analysis Sonar image K-means Formal verification Compressed sensing Robotics CMOD5 Feature extraction Deep learning RISC-V IoT Optimization Spectrum sensing MBES Electronic warfare Belief function Combination rules Belief functions Interval methods Energy efficiency Dynamical systems Modal propagation GNSS SIFT Errors Model-checking Wireless sensor network Underwater acoustics Cognitive radio Context-aware verification Machine learning Sonar Diffraction Radar Contractors Internet of Things H2H CDL Modélisation Electromagnetic scattering Localization Spectrum Sensing Cognitive Radio Cloud Uncertainty Obstacle avoidance DSmT Bounded uncertainty Full-duplex Modeling Global optimization Target tracking Wavelet Classification GPS Belief functions theory FPGA Analyse par intervalles Full-Duplex Field programmable gate arrays FPGA Constraint programming Diagnosis Mathematical model