Search for: [Abstract = "The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differential\-algebraic equations \(DAEs\) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters."]