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