| 書目名稱 | Interval Reachability Analysis |
| 副標題 | Bounding Trajectorie |
| 編輯 | Pierre-Jean Meyer,Alex Devonport,Murat Arcak |
| 視頻video | http://file.papertrans.cn/473/472928/472928.mp4 |
| 概述 | Offers a variety of computationally efficient reachability methods using multi-dimensional intervals.Provides a pedagogical description of each method, focusing on the requirements and trade-offs.Desc |
| 叢書名稱 | SpringerBriefs in Electrical and Computer Engineering |
| 圖書封面 |  |
| 描述 | .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 techniquesthat 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.?. |
| 出版日期 | Book 2021 |
| 關(guān)鍵詞 | Reachability; Interval Analysis; Dynamical Systems; Monotone Systems; Uncertain Systems; Bounding Boxes; V |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-65110-7 |
| isbn_softcover | 978-3-030-65109-1 |
| isbn_ebook | 978-3-030-65110-7Series ISSN 2191-8112 Series E-ISSN 2191-8120 |
| issn_series | 2191-8112 |
| copyright | The Author(s), under exclusive license to Springer Nature Switzerland AG 2021 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-8 19:59
發(fā)表于 2025-3-21 17:10:55
