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.
Fields of Study & Subjects
Model Reduction and Neural Networks
Formal Methods in Verification
Modeling and Simulation Systems
Publication details
- Journal / source
- Acta Cybernetica
- Volume
- 27
- Issue
- 3
- Pages
- 405–428
- Publication date
- 22 June 2026
- Language
- EN