:
Interval Reachability Analysis:
Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
by Pierre-Jean Meyer
English | 2021 | ISBN: 3030651096 | 169 Pages | EPUB | 9 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:
Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me
