|
||
---|---|---|
hal-01698424v1
Article dans une revue
Thick set inversion Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩ |
||
hal-01832904v1
Communication dans un congrès
Localization with data association MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET May 2018, Saint Petersbourg, Russia |
||
hal-01702404v1
Communication dans un congrès
Chain of set inversion problems; Application to reachability analysis 20th World Congress of the International Federation of Automatic Control, IFAC 2017, Jul 2017, Toulouse, France |
||
hal-01867566v1
Communication dans un congrès
Interval state estimation with data association 11th Summer Workshop on Interval Methods (SWIM 2018), Jul 2018, Rostock, Germany |
||
hal-01495287v1
Communication dans un congrès
Minkowski operations of sets with application to robot localization SNR 2017, Apr 2017, Uppsala, Sweden |
||
hal-01298366v1
Article dans une revue
Computing a Guaranteed Approximation of the Zone Explored by a Robot IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (1), pp.425 - 430. ⟨10.1109/TAC.2016.2530719⟩ |
||
tel-02365087v1
Thèse
Simultaneous localization and mapping in unstructured environments : a set-membership approach Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0006⟩ |
||
hal-01182607v1
Communication dans un congrès
Set-Membership Approach to the Kidnapped Robot Problem IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p |
||
hal-01708026v1
Communication dans un congrès
Analytical performance analysis for blind quantum source separation with time-varying coupling 23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012 |
||
hal-01006676v1
Article dans une revue
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109 |
||
hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
hal-01006697v1
Communication dans un congrès
Context-aware Veri cation of a Landing Gear System ABZ 2014, Jun 2014, Toulouse, France. pp.52-65 |
||
hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-02515160v1
Communication dans un congrès
Data Management Mechanisms for Internet of Things: A position paper CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩ |
||
hal-00862497v1
Communication dans un congrès
Caractérisation de sources radar par des courbes de Bézier GRETSI 2013, Sep 2013, Brest, France |
||
hal-00746850v1
Communication dans un congrès
USE OF SHORT-TERM POLYNOMIAL PHASE ESTIMATION FOR NEW ELECTRONIC WARFARE SYSTEMS Radar 2012, Oct 2012, United Kingdom |
||
hal-00749178v1
Communication dans un congrès
SHORT-TERM POLYNOMIAL PHASE ESTIMATION : APPLICATION TO RADAR SIGNAL IN AN ELECTRONIC WARFARE CONTEXT EUSIPCO 2012, Aug 2012, Bucarest, Romania |
||
hal-01653133v1
Article dans une revue
Classification of radar pulses in a naval warfare context using Bézier curve modeling of the instantaneous frequency law IEEE Transactions on Aerospace and Electronic Systems, Institute of Electrical and Electronics Engineers, 2017, 53 (3), pp.1469 - 1480. ⟨10.1109/TAES.2017.2671578⟩ |
||
hal-02059649v1
Communication dans un congrès
Region-based relaxations to accelerate greedy approaches 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain |
||
hal-01937501v1
Communication dans un congrès
Efficient atom selection strategy for iterative sparse approximations iTWIST 2018 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Nov 2018, Marseille, France. pp.1-3 |
||
hal-01580604v2
Article dans une revue
Informed Nonnegative Matrix Factorization Methods for Mobile Sensor Network Calibration IEEE transactions on Signal and Information Processing over Networks, IEEE, 2018, 4 (4), pp.667-682. ⟨10.1109/TSIPN.2018.2811962⟩ |
||
hal-01653652v1
Communication dans un congrès
Sub-Antenna Sparse Processing for Coherence Loss in Underwater Source Localization EUSIPCO 2017, Aug 2017, Kos, Greece. ⟨10.23919/EUSIPCO.2017.8081643⟩ ![]() |
||
hal-01702246v1
Communication dans un congrès
DOA estimation in structured phase-noisy environments 42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), Mar 2017, La Nouvelle Orléans, LA, United States. pp.3176-3180, ⟨10.1109/ICASSP.2017.7952742⟩ ![]() |
||
hal-01653732v1
Communication dans un congrès
Phase Retrieval with a Multivariate Von Mises Prior: From a Bayesian Formulation to a Lifting Solution ICASSP 2017 - 42nd IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States. pp.1-5, ⟨10.1109/ICASSP.2017.7953027⟩ |
||
hal-01561299v1
Article dans une revue
Reconstruction of Dispersion Curves in the Frequency-Wavenumber Domain Using Compressed Sensing on a Random Array IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2017, 42 (4), pp.914-922. ⟨10.1109/JOE.2016.2644780⟩ |
||
hal-01780315v1
Article dans une revue
Baleen Whale distribution and seasonal occurrence Revealed by an ocean bottom seismometer network in The Western Indian Ocean Deep Sea Research Part II: Topical Studies in Oceanography, Elsevier, 2019, 161, pp.132-144. ⟨10.1016/j.dsr2.2018.04.005⟩ |
||
|