A Müller approach for reachability This paper presents an approach to deal with a dynamical system with 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 Müller theorem often used in an interval context to perform predictions of cooperative systems. We show here that the Müller method can be used for general non-cooperative systems. We also show the benefit we can reach by using a conditioning approach in order to reduce the pessimism.
