Interval reachability analysis: bounding trajectories of uncertain systems with boxes for control and verification
Auteur :
Meyer, Pierre-Jean / Devonport, Alex / Arcak, Murat
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030651091
Date de publication :
21 janv. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’.