Interval reachability analysis : bounding trajectories of uncertain systems with boxes for control and verification / Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or 'boxes'. It explains the importance of bounding trajectories for evaluating the robustness of systems in the face of parametric uncertainty,...
Full description
Saved in: