Name: Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (en Inglés)
Price: 90290.00 CLP
Availability: InStock
Author: Meyer, Pierre-Jean ; Devonport, Alex ; Arcak, Murat
ISBN: 9783030651091

portada Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

112

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.7 cm

Peso

0.19 kg.

ISBN13

9783030651091

Categorías

Cálculo y análisis matemático
Ingeniería mecánica
Ingeniería de control automático

Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (en Inglés)

Pierre-Jean Meyer (Autor) · Alex Devonport (Autor) · Murat Arcak (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 90.290

$ 164.170

Ahorras: $ 73.880

45% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 26 de Julio y el Miércoles 07 de Agosto.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (en Inglés)"

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 makesthe brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.