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