We present an abstraction and refinement methodology for the automated controller
synthesis to enforce general predefined specifications. The designed controllers require …

This paper proposes a new interval analysis method for the dynamic response of nonlinear
systems with uncertain-but-bounded parameters using Chebyshev polynomial series …

We propose an approach for verifying non-linear hybrid systems using higher-order Taylor
models that are a combination of bounded degree polynomials over the initial conditions …

A detailed comparison between Taylor model methods and other tools for validated
computations is provided. Basic elements of the Taylor model (TM) methods are reviewed …

This paper revisits the Taylor method for the numerical integration of initial value problems of
Ordinary Differential Equations (ODEs). The main goal is to present a computer program that …

We introduce the notion of “δ-complete decision procedures” for solving SMT problems over
the real numbers, with the aim of handling a wide range of nonlinear functions including …

This study proposes a new uncertain analysis method for multibody dynamics of mechanical
systems based on Chebyshev inclusion functions The interval model accounts for the …

In initial value problems for ODEs with interval-valued parameters and/or initial values, it is
desirable in many applications to be able to determine a validated enclosure of all possible …

This paper investigates the use of guaranteed methods to perform state and parameter
estimation for nonlinear continuous-time systems, in a bounded-error context. A state …

A state bounding observer aims at computing some domains which are guaranteed to
contain the set of states that are consistent both with the uncertain model and with the …