Contract theory is a powerful tool to reason on systems that are interacting with an external
environment, possibly made of other systems. Formally, a contract is usually given by …

The stability analysis of nonlinear continuous systems often requires manual calculation,
which can become time-consuming when dealing with complex systems. Some works use …

We consider the concept of set invariance for discrete-time switched nonlinear systems with
time-delays, referred to here as D-invariance. Specifically, the existence of controlled …

In this paper, we present a new method for bracketing (ie, characterizing from inside and
from outside) all solutions of an ordinary differential equation in the case where the initial …

This paper is concerned with the determination of positively invariant polyhedron for positive
linear systems subject to external disturbances whose (∞, 1)-norm or (∞,∞)-norm are …

This paper presents the development made around the SeaBot, a new low-cost profiling
float design for shallow water. We introduce a simplified dynamical model of the float and …

Avoiding collisions between obstacles and vehicles such as cars, robots, or aircraft is
essential to the development of autonomy. To simplify the problem, many collision …

In this paper, we show that a basic fixed point method used to enclose the greatest fixed
point in a Kleene algebra will allow us to compute inner and outer approximations of …

In this paper, we propose to study the stability of a navigation method that allows a robot to
move in an unstructured environment without compass by measuring a scalar function ϕ …

The increasing number of offshore facilities triggers the need for reliable autonomous robots
to perform inspection and maintenance missions, while minimising operational expenses. In …