This paper presents sophisticated interval algorithms for the simulation of discrete-time
dynamical systems with bounded uncertainties of both initial conditions and system parameters. …

The purpose of this paper is to design a Fault Detection and Isolation (FDI) system based on
interval LPV observers with application to a real fuel cell. The interval LPV observer is used …

This paper provides a solution based on linear programming to the problem of designing
observers that ensures guaranteed bounds on the estimated states. Firstly, considering linear …

… We study three series of instances composed of sums of segments, known as zonotopes,
for three different values of n and d. That is, each instance is a sum of n segments with 0, 1 …

We address nonlinear reachability computation for uncertain monotone systems, those for
which flows preserve a suitable partial orderings on initial conditions. In a previous work …

This paper deals with fault detection for nonlinear continuous-time systems. A procedure
based on interval analysis is proposed to build a guaranteed qLPV (quasi-Linear Parameter-…

… be the set of points within the block or zonotope [6] … [6] Wolfram_zt, „Zonotope,” [Online].
Available: http://mathworld.wolfram.com/Zonotope.html. [7] D. Knuth, "Two Notes on Notation," …

This paper is about state estimation for nonlinear uncertain continuous-time systems in a
bounded-error context. We introduce a method for designing a guaranteed interval observer …

We prove the following result of Bondal's: that there is a fully faithful embedding $\kappa$ of
the perfect derived category of a proper toric variety into the derived category of …

We compare two rational polyhedral admissible decompositions of the cone of positive definite
quadratic forms: the perfect cone decomposition and the 2nd Voronoi decomposition. We …