國立虎尾科技大學 |

Interval Reachability Analysis = Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Interval Reachability Analysis/ by Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
其他題名:	Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification /
作者:	Meyer, Pierre-Jean.
其他作者:	Arcak, Murat.
面頁冊數:	X, 112 p. 21 illus., 18 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Statistical Theory and Methods. -
電子資源:	https://doi.org/10.1007/978-3-030-65110-7
ISBN:	9783030651107

Interval Reachability Analysis = Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification /
Meyer, Pierre-Jean.

Interval Reachability AnalysisBounding Trajectories of Uncertain Systems with Boxes for Control and Verification /[electronic resource] :by Pierre-Jean Meyer, Alex Devonport, Murat Arcak. - 1st ed. 2021. - X, 112 p. 21 illus., 18 illus. in color.online resource. - SpringerBriefs in Control, Automation and Robotics,2192-6794. - SpringerBriefs in Control, Automation and Robotics,.

Chapter 1. Introduction -- Part 1: Reachability Methods -- Chapter 2. Interval Analysis -- Chapter 3. Monotonicity -- Chapter 4. Mixed-Monotonicity -- Chapter 5. Sampled-Data Mixed-Monotonicity -- Chapter 6. Growth Bounds -- Chapter 7. Sampling-Based Methods -- Part 2: Applications -- Chapter 8. Safety and Reachability Verification -- Chapter 9. Interval Volume as a Robustness Measure -- Chapter 10. Abstraction-Based Control Synthesis.

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. .

ISBN: 9783030651107

Standard No.: 10.1007/978-3-030-65110-7doiSubjects--Topical Terms:

671396
Statistical Theory and Methods.

LC Class. No.: TJ212-225

Dewey Class. No.: 629.8

Interval Reachability Analysis = Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification /
LDR:03023nam a22003975i 4500 001 1052173
003 DE-He213
005 20210922021749.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030651107 $9 978-3-030-65110-7
024 7 $a 10.1007/978-3-030-65110-7 $2 doi
035 $a 978-3-030-65110-7
050 4 $a TJ212-225
072 7 $a TJFM $2 bicssc
072 7 $a TEC004000 $2 bisacsh
072 7 $a TJFM $2 thema
082 0 4 $a 629.8 $2 23
100 1 $a Meyer, Pierre-Jean. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1356842
245 1 0 $a Interval Reachability Analysis $h [electronic resource] : $b Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification / $c by Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a X, 112 p. 21 illus., 18 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a SpringerBriefs in Control, Automation and Robotics, $x 2192-6794
505 0 $a Chapter 1. Introduction -- Part 1: Reachability Methods -- Chapter 2. Interval Analysis -- Chapter 3. Monotonicity -- Chapter 4. Mixed-Monotonicity -- Chapter 5. Sampled-Data Mixed-Monotonicity -- Chapter 6. Growth Bounds -- Chapter 7. Sampling-Based Methods -- Part 2: Applications -- Chapter 8. Safety and Reachability Verification -- Chapter 9. Interval Volume as a Robustness Measure -- Chapter 10. Abstraction-Based Control Synthesis.
520 $a 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. .
650 2 4 $a Statistical Theory and Methods. $3 671396
650 2 4 $a Vibration, Dynamical Systems, Control. $3 670825
650 2 4 $a Dynamical Systems and Ergodic Theory. $3 671353
650 2 4 $a Control, Robotics, Mechatronics. $3 768396
650 1 4 $a Control and Systems Theory. $3 1211358
650 0 $a Statistics . $3 1253516
650 0 $a Dynamical systems. $3 1249739
650 0 $a Vibration. $3 595749
650 0 $a Ergodic theory. $3 672355
650 0 $a Dynamics. $3 592238
650 0 $a Mechatronics. $3 559133
650 0 $a Robotics. $3 561941
650 0 $a Control engineering. $3 1249728
700 1 $a Arcak, Murat. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 787321
700 1 $a Devonport, Alex. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1356843
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030651091
776 0 8 $i Printed edition: $z 9783030651114
830 0 $a SpringerBriefs in Control, Automation and Robotics, $x 2192-6786 $3 1254578
856 4 0 $u https://doi.org/10.1007/978-3-030-65110-7
912 $a ZDB-2-INR
912 $a ZDB-2-SXIT
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)
950 $a Intelligent Technologies and Robotics (R0) (SpringerNature-43728)