Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

17 résultats
Page :
triés par

Reliable Robot Localization: A Constraint-programming Approach over Dynamical Systems

 Simon Rohou , Luc Jaulin , Lyudmila Mihaylova , Fabrice Le Bars , Sandor M. Veres
ISTE Ltd and John Wiley & Sons Inc, 2019, 978-1-84821-970-0. ⟨10.1002/9781119680970⟩
Ouvrages hal-02435019v1
Image document

An Online Interval-Based Inertial Navigation System for Control Purposes of Autonomous Boats

 Fabrice Le Bars , Robin Sanchez , Luc Jaulin , Simon Rohou , Andreas Rauh
Frontiers in Control Engineering, 2022, ⟨10.3389/fcteg.2021.786188⟩
Article dans une revue hal-03597657v1
Image document

Lie symmetries applied to interval integration

 Julien Damers , Luc Jaulin , Simon Rohou
Automatica, 2022, 144, pp.110502. ⟨10.1016/j.automatica.2022.110502⟩
Article dans une revue hal-03749780v1
Image document

Reliable non-linear state estimation involving time uncertainties

 Simon Rohou , Luc Jaulin , Lyudmila Mihaylova , Fabrice Le Bars , Sandor M Veres
Automatica, 2018, 93, pp.379-388. ⟨10.1016/j.automatica.2018.03.074⟩
Article dans une revue hal-01778187v1
Image document

Experimental Validation of an Ellipsoidal State Estimation Procedure for a Magnetic Levitation System

 Andreas Rauh , Jonas Soueidan , Simon Rohou , Luc Jaulin
22nd IFAC World Congress, International Federation of Automatic Control, Jul 2023, Yokohama, Japan. pp.8494-8499, ⟨10.1016/j.ifacol.2023.10.1138⟩
Communication dans un congrès hal-04338774v1
Image document

Proving Feasibility of a Docking Mission: A Contractor Programming Approach

 Auguste Bourgois , Simon Rohou , Luc Jaulin , Andreas Rauh
Mathematics , 2022, 10 (7), pp.1130. ⟨10.3390/math10071130⟩
Article dans une revue hal-03647551v1
Image document

Calcul par intervalles pour la robotique mobile intelligente Lab-STICC

 Luc Jaulin , Benoit Zerr , Fabrice Le Bars , Simon Rohou , Damien Massé
Bulletin de l'Association Française pour l'Intelligence Artificielle, 2019, 104, pp.9-10
Article dans une revue hal-02280704v1

Brunovsky Decomposition for Dynamic Interval Localization

 Simon Rohou , Luc Jaulin
IEEE Transactions on Automatic Control, 2023, 68 (11), pp.6937-6943. ⟨10.1109/TAC.2023.3246943⟩
Article dans une revue hal-04060291v1
Image document

Towards a Generic Interval Solver for Differential-Algebraic CSP

 Simon Rohou , Abderahmane Bedouhene , Gilles Chabert , Alexandre Goldsztejn , Luc Jaulin , et al.
CP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
Communication dans un congrès hal-02956402v1
Image document

An Ellipsoidal Predictor-Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors

 Andreas Rauh , Simon Rohou , Luc Jaulin
Frontiers in Control Engineering, 2022, ⟨10.3389/fcteg.2022.785795⟩
Article dans une revue hal-03619435v1
Image document

Guaranteed computation of robot trajectories

 Simon Rohou , Luc Jaulin , Lyudmila Mihaylova , Fabrice Le Bars , Sandor M Veres
Robotics and Autonomous Systems, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩
Article dans une revue hal-01516228v1
Image document

Exact bounded-error continuous-time linear state estimator

 Simon Rohou , Luc Jaulin
Systems and Control Letters, 2021, 153, pp.104951. ⟨10.1016/j.sysconle.2021.104951⟩
Article dans une revue hal-03242585v1
Image document

Set-membership state estimation by solving data association

 Simon Rohou , Benoît Desrochers , Luc Jaulin
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
Communication dans un congrès hal-02904517v1
Image document

Reliable robot localization: a constraint programming approach over dynamical systems

 Simon Rohou
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English. ⟨NNT : ⟩
Thèse tel-03010085v1
Image document

Brunovsky decomposition for dynamic interval localization

 Simon Rohou , Luc Jaulin
IEEE Transactions on Automatic Control, In press, ⟨10.1109/TAC.2023.3246943⟩
Article dans une revue hal-04075520v1
Image document

Proving the existence of loops in robot trajectories

 Simon Rohou , Peter Franek , Clément Aubry , Luc Jaulin
The International Journal of Robotics Research, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
Article dans une revue hal-01904112v1
Image document

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application

 Andreas Rauh , Marit Lahme , Simon Rohou , Luc Jaulin , Thach Ngoc Dinh , et al.
Logical Methods in Computer Science, In press, ⟨10.48550/arXiv.2309.11622⟩
Article dans une revue hal-04238093v1
Page :