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 …

In this paper we show how to compute the reachable space for uncertain nonlinear
continuous dynamical systems by using guaranteed set integration. We introduce two ways …

In this paper, we show how to compute an over-approximation for the reachable set of
uncertain nonlinear continuous dynamical systems by using guaranteed set integration. We …

We present the first review of methods to overapproximate the set of reachable states of
linear time-invariant systems subject to uncertain initial states and input signals for short time …

This paper deals with guaranteed state estimation in a bounded-error context for an
aerospace model. Perturbations are assumed bounded but otherwise unknown. The main …

In this work, we investigate the reach-avoid problem of a class of time-varying analytic
systems with disturbances described by uncertain parameters. Firstly, by proposing the …

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 …

We present OURS, a precision-oriented MATLAB tool for computing Over-and U nder-
approximations of Reachable Sets for analytic time-invariant differential equations. The main …

Simulation techniques are commonly used to analyze the influence of uncertainties of initial
conditions and systemparameters on the trajectories of the state variables of dynamical …

In this paper, we propose an approach for computing invariant sets of discrete-time
nonlinear systems by lifting the nonlinear dynamics into a higher dimensional linear model …