國立高雄大學圖資館 |

Language: English

Back

Interval reachability analysisboundi...

Arcak, Murat.

Interval reachability analysisbounding trajectories of uncertain systems with boxes for control and verification /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Interval reachability analysisby Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
Reminder of title:	bounding trajectories of uncertain systems with boxes for control and verification /
Author:	Meyer, Pierre-Jean.
other author:	Devonport, Alex.
Published:	Cham :Springer International Publishing :2021.
Description:	x, 112 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Automatic control.
Online resource:	https://doi.org/10.1007/978-3-030-65110-7
ISBN:	9783030651107$q(electronic bk.)

Interval reachability analysisbounding 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. - Cham :Springer International Publishing :2021. - x, 112 p. :ill., digital ;24 cm. - SpringerBriefs in electrical and computer engineering. Control, automation and robotics. - SpringerBriefs in electrical and computer engineering. 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$q(electronic bk.)

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

182078
Automatic control.

LC Class. No.: TJ213 / .M494 2021

Dewey Class. No.: 629.8

Interval reachability analysisbounding trajectories of uncertain systems with boxes for control and verification /
LDR:02696nmm a2200337 a 4500 001 597165
003 DE-He213
005 20210628170833.0
006 m d
007 cr nn 008maaau
008 211019s2021 sz s 0 eng d
020 $a 9783030651107$q(electronic bk.)
020 $a 9783030651091$q(paper)
024 7 $a 10.1007/978-3-030-65110-7 $2 doi
035 $a 978-3-030-65110-7
040 $a GP $c GP
041 0 $a eng
050 4 $a TJ213 $b .M494 2021
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
090 $a TJ213 $b .M612 2021
100 1 $a Meyer, Pierre-Jean. $3 890293
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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a x, 112 p. : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in electrical and computer engineering. Control, automation and robotics
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 0 $a Automatic control. $3 182078
650 0 $a Interval analysis (Mathematics) $3 229174
650 0 $a Robotics. $3 181952
650 0 $a Mechatronics. $3 189824
650 0 $a Dynamics. $3 189568
650 0 $a Ergodic theory. $3 219112
650 0 $a Vibration. $3 190457
650 0 $a Statistics. $3 182057
650 1 4 $a Control and Systems Theory. $3 825946
650 2 4 $a Control, Robotics, Mechatronics. $3 339147
650 2 4 $a Dynamical Systems and Ergodic Theory. $3 273794
650 2 4 $a Vibration, Dynamical Systems, Control. $3 274667
650 2 4 $a Statistical Theory and Methods. $3 274054
700 1 $a Devonport, Alex. $3 890294
700 1 $a Arcak, Murat. $3 515844
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in electrical and computer engineering. $p Control, automation and robotics. $3 890295
856 4 0 $u https://doi.org/10.1007/978-3-030-65110-7
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)