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