Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification by Pierre-Jean Meyer
English | PDF,EPUB | 2021 | 115 Pages | ISBN : 3030651096 | 11.8 MB
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, and for verification or control synthesis problems with respect to safety and reachability properties. The methods presented make use of: