CAPD:: DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

T Kapela, M Mrozek, D Wilczak, P Zgliczyński - … in nonlinear science and …, 2021 - Elsevier
CAPD::DynSys: A flexible C++ toolbox for rigorous numerical analysis of dynamical systems -
ScienceDirect Skip to main contentSkip to article Elsevier logo Journals & Books Search …

Set-membership estimation in shared situational awareness for automated vehicles in occluded scenarios

V Narri, A Alanwar, J Mårtensson… - 2021 IEEE Intelligent …, 2021 - ieeexplore.ieee.org
One of the main challenges in developing autonomous transport systems based on
connected and automated vehicles is the comprehension and understanding of the …

Lie symmetries applied to interval integration

J Damers, L Jaulin, S Rohou - Automatica, 2022 - Elsevier
In this paper, we propose a new approach for improving significantly existing guaranteed
integration methods for state equations with uncertain initial conditions. We first find a tube …

[HTML][HTML] Integrity and collaboration in dynamic sensor networks

S Schön, C Brenner, H Alkhatib, M Coenen, H Dbouk… - Sensors, 2018 - mdpi.com
Global Navigation Satellite Systems (GNSS) deliver absolute position and velocity, as well
as time information (P, V, T). However, in urban areas, the GNSS navigation performance is …

Safe and adaptive autonomous navigation under uncertainty based on sequential waypoints and reachability analysis

NMB Lakhal, L Adouane, O Nasri, JBH Slama - Robotics and Autonomous …, 2022 - Elsevier
This paper presents a new approach for a safe autonomous navigation based on reliable
state space reachability analysis. This latter improves an already proposed flexible …

[图书][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 …

Dual set membership filter with minimizing nonlinear transformation of ellipsoid

Z Wang, X Shen, H Liu, F Meng… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
In this article, we propose a dual set membership filter for nonlinear dynamic systems with
additive unknown but bounded noises, and it has three distinct advantages. First, the …

Reliability assessment of an unscented kalman filter by using ellipsoidal enclosure techniques

A Rauh, S Wirtensohn, P Hoher, J Reuter, L Jaulin - Mathematics, 2022 - mdpi.com
The Unscented Kalman Filter (UKF) is widely used for the state, disturbance, and parameter
estimation of nonlinear dynamic systems, for which both process and measurement …

Interval extended Kalman filter—application to underwater localization and control

M Louédec, L Jaulin - Algorithms, 2021 - mdpi.com
The extended Kalman filter has been shown to be a precise method for nonlinear state
estimation and is the facto standard in navigation systems. However, if the initial estimated …