We present the CAPD:: DynSys library for rigorous numerical analysis of dynamical systems.
The basic interface is described together with several interesting case studies illustrating …

One of the main challenges in develo** autonomous transport systems based on
connected and automated vehicles is the comprehension and understanding of the …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

For linear time-invariant dynamic systems with exactly known coefficients of their system
matrices for which measurements with bounded errors are available at discrete time …