Accéder directement au contenu Accéder directement à la navigation


...
tel-03151588v2  Thèse
Auguste Bourgois. Safe & collaborative autonomous underwater docking
Robotics [cs.RO]. École Nationale Supérieure de Techniques Avancées Bretagne, 2021. English
...
hal-03148619v1  Article dans une revue
Andreas RauhJulia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩
...
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
...
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
...
hal-02904517v1  Communication dans un congrès
Simon RohouBenoît DesrochersLuc Jaulin. Set-membership state estimation by solving data association
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
...
hal-02520046v1  Chapitre d'ouvrage
Jérémy NicolaLuc Jaulin. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise
Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩
...
hal-02190303v1  Article dans une revue
Thomas Le MézoLuc JaulinBenoit Zerr. Bracketing backward reach sets of a dynamical system
International Journal of Control, Taylor & Francis, 2020, 93 (11), pp.2528-2540. ⟨10.1080/00207179.2019.1643910⟩
...
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
...
hal-02565053v1  Chapitre d'ouvrage
Laurène MazeauJordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
...
hal-02059649v1  Communication dans un congrès
Clément DorfferCédric HerzetAngélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
hal-02303198v1  Article dans une revue
Cedric HerzetClément DorfferAngélique Drémeau. Gather and Conquer: Region-Based Strategies to Accelerate Safe Screening Tests
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2019, 67 (12), pp.3300-3315. ⟨10.1109/TSP.2019.2914885⟩
...
hal-01937501v1  Communication dans un congrès
Clément DorfferAngélique DrémeauCédric Herzet. 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-01904112v1  Article dans une revue
Simon RohouPeter FranekClément AubryLuc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
...
hal-01867913v1  Rapport
Cyrielle Feron. PAnTHErS: User Guide
[Technical Report] ENSTA Bretagne; Lab-STICC. 2018
...
hal-01832904v1  Communication dans un congrès
Benoît DesrochersLuc JaulinSergey Kumkov. 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-01935907v1  Communication dans un congrès
Luc JaulinSergey Kumkov. Comparison of interval analysis methods and standard statistical ones in a problem of estimating experimental data with uncertainties
MSCMQ'2018 (Mathematics, Statistics and Computation to Support Measurement Quality 2018), D.I.Mendeleyev Institute for Metrology (Russia); COOMET, May 2018, Saint Petersbourg, Russia
...
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
...
hal-01516228v1  Article dans une revue
Simon RohouLuc JaulinLyudmila MihaylovaFabrice Le BarsSandor Veres. Guaranteed computation of robot trajectories
Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
hal-01702246v1  Communication dans un congrès
Angélique DrémeauCédric Herzet. 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⟩