Guaranteed computation of robot trajectories

S Rohou, L Jaulin, L Mihaylova, F Le Bars… - Robotics and …, 2017 - Elsevier
This paper proposes a new method for guaranteed integration of state equations. Within this
framework, the variables of interest are trajectories submitted to both arithmetic and …

[图书][B] Reliable robot localization: a constraint-programming approach over dynamical systems

S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres - 2020 - books.google.com
Localization for underwater robots remains a challenging issue. Typical sensors, such as
Global Navigation Satellite System (GNSS) receivers, cannot be used under the surface and …

Reliable non-linear state estimation involving time uncertainties

S Rohou, L Jaulin, L Mihaylova, F Le Bars, SM Veres - Automatica, 2018 - Elsevier
This paper presents a new approach to bounded-error state estimation involving time
uncertainties. For a given bounded observation of a continuous-time non-linear system, it is …

A simple controller for line following of sailboats

L Jaulin, F Le Bars - Robotic sailing 2012: proceedings of the 5th …, 2013 - Springer
This paper proposes a simple controller for sailboat robots. The resulting controller is simple
to implement and its parameters are easy to tune. Its complexity is low enough to be …

Loop detection of mobile robots using interval analysis

C Aubry, R Desmare, L Jaulin - Automatica, 2013 - Elsevier
This paper proposes an original set-membership approach for loop detection of mobile
robots in the situation where proprioceptive sensors only are available. To detect loops, the …

An interval approach to compute invariant sets

T Le Mézo, L Jaulin, B Zerr - IEEE Transactions on Automatic …, 2017 - ieeexplore.ieee.org
This paper proposes an original interval-based method to compute an outer approximation
of all invariant sets (such as limit cycles) of a continuous-time nonlinear dynamic system …

Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots

R Neuland, J Nicola, R Maffei, L Jaulin… - 2014 IEEE/RSJ …, 2014 - ieeexplore.ieee.org
Probabilistic approaches are extensively used to solve high-dimensionality problems in
many different fields. The particle filter is a prominent approach in the field of Robotics, due …

Integral algebra for simulating dynamical systems with interval uncertainties

L Jaulin - International Journal of Approximate Reasoning, 2024 - Elsevier
This paper presents an integral algebra and shows how it can be used to simulate a
dynamical system with interval uncertainties. These uncertainties, can be either on the initial …

Proving the existence of loops in robot trajectories

S Rohou, P Franek, C Aubry… - The International Journal …, 2018 - journals.sagepub.com
In this paper we present a reliable method to verify the existence of loops along the
uncertain trajectory of a robot, based on proprioceptive measurements only, within a …

Localization of a Vehicle: A Dynamic Interval Constraint Satisfaction Problem‐Based Approach

K Kueviakoe, Z Wang, A Lambert, E Frenoux… - Journal of …, 2018 - Wiley Online Library
This paper introduces a new interval constraint propagation (ICP) approach dealing with the
real‐time vehicle localization problem. Bayesian methods like extended Kalman filter (EKF) …