A Muller Approach for Reachability

Abstract

This paper presents an approach to deal with the prediction of dynamical systems in case of interval uncertainties. These uncertainties can be both on the initial state vector, on the time-dependent inputs and on the evolution function. The approach is based on the Muller theorem often used in an interval context to perform the prediction of cooperative systems. We show here that the Muller approach can be used for general non-cooperative systems. We also show the benefit we can obtain by using a conditioning approach in order to reduce the overestimation.