TY - BOOK AU - Pierre-Jean Meyer, Alex Devonport, Murat Arcak. TI - Interval Reachability Analysis : Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification SN - 9783030651107 PY - 2021/// CY - Cham PB - Springer KW - Control engineering. Robotics. Automation. Dynamical systems. Multivariate analysis. Control and Systems Theory. Control, Robotics, Automation. Dynamical Systems. Multivariate Analysis UR - https://doi.org/10.1007/978-3-030-65110-7 ER -