Interval Reachability Analysis - Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (Paperback, 1st ed. 2021)

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: interval analysis; monotonicity theory; contraction theory; and data-driven techniques that sample trajectories. The methods are implemented in an accompanying open-source Toolbox for Interval Reachability Analysis. This brief provides a tutorial description of each method, focusing on the requirements and trade-offs relevant to the user, requiring only basic background on dynamical systems. The second part of the brief describes applications of interval reachability analysis. This makes the brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	SpringerBriefs in Electrical and Computer Engineering
Release date:	2021
First published:	2021
Authors:	Pierre-Jean Meyer • Alex Devonport • Murat Arcak
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	112
Edition:	1st ed. 2021
ISBN-13:	978-3-03-065109-1
Categories:	Books > Science & Mathematics > Mathematics > Probability & statistics Books > Science & Mathematics > Mathematics > Applied mathematics > Non-linear science Books > Professional & Technical > Mechanical engineering & materials > Materials science > Mechanics of solids > Dynamics & vibration Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > General Promotions
LSN:	3-03-065109-6
Barcode:	9783030651091

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!