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 to bounded-error state estimation involving time
uncertainties. For a given bounded observation of a continuous-time non-linear system, it is …

Codac (Catalog Of Domains And Contractors) is a C++/Python library providing tools for
constraint programming over reals, trajectories and sets. It has many applications in …

The hyperoctahedral group B n is the group of symmetries of the hypercube [− 1, 1] n of R n.
For instance permutations, or symmetries along each of the n canonical planes of R n all …

In this paper, we propose a new approach to compute the projection of a set defined by
polynomial equations. It assumes that the polynomial equations have some nice symmetries …

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 …

This paper proposes a new interval-based contractor for nonlinear equations which is
minimal when dealing with narrow boxes. The method is based on the centered form …

In this paper, we propose a new approach to prove stability of non-linear discrete-time
systems. After introducing the new concept of stability contractor, we show that the interval …

This paper proposes a minimal contractor and a minimal separator for an area delimited by
an hyperbola of the plane. The task is facilitated using actions induced by the …

This paper proposes a minimal contractor and a minimal separator for an ellipse in the
plane. The task is facilitated using actions induced by the hyperoctahedral group of …