This paper gives an overview of recent developments in set-theoretic methods for nonlinear
systems, with a particular focus on the activities in our own research group. Central to these …

In this letter, we propose a novel approach for computing robust backward reachable sets
from noisy data for unknown constrained linear systems subject to bounded disturbances …

This paper is concerned with guaranteed parameter estimation of non-linear dynamic
systems in a context of bounded measurement error. The problem consists of finding—or …

This work presents a general theory for the construction of a polyhedral outer approximation
of the reachable set (“polyhedral bounds”) of a dynamic system subject to time-varying …

This paper presents new methods for set-valued state estimation of nonlinear discrete-time
systems with unknown-but-bounded uncertainties. A single time step involves propagating …

In recent years, many applications, as well as theoretical properties of interval analysis have
been investigated. Without any claim for completeness, such applications and …

Many control problems can be naturally formulated, analyzed, and solved in a set-theoretic
context. Sets appear naturally when three aspects, which are crucial in control systems …

Methods for model validation of continuous-time nonlinear systems with uncertain
parameters are presented in this paper. The methods employ functions of state-parameter …

The main objective of this paper is to highlight the role of the set theoretic analysis in the
model predictive control synthesis. In particular, the set theoretic analysis is invoked to:(i) …

The computation of rigorous enclosures of the reachable sets of nonlinear control systems is
considered, with a focus on applications for which speed is crucial. Low computational costs …