株式会社極東書店トップ ＞ 商品一覧 ＞ Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification. 1st ed. 2021
商品詳細
Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification. 1st ed. 2021
・ISBN 978-3-030-65109-1 paper EUR 64.99
￥17,371.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Meyer, Pierre-Jean / Devonport, Alex / Arcak, Murat, |
|---|---|
| シリーズ | (SpringerBriefs in Electrical and Computer Engineering) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2021 |
| ページ数 | 112 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A01-81542＞ |
解説
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.