東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Interval reachability analysis = bou...

Meyer, Pierre-Jean.

Linked to FindBook

Google Book

Amazon

博客來

Interval reachability analysis = bounding trajectories of uncertain systems with boxes for control and verification /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Interval reachability analysis/ by 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.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Automatic control. -
Online resource:	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. - 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

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

535879
Automatic control.

LC Class. No.: TJ213 / .M494 2021

Dewey Class. No.: 629.8

Interval reachability analysis = bounding trajectories of uncertain systems with boxes for control and verification /
LDR:02696nmm a2200337 a 4500 001 2237575
003 DE-He213
005 20210628170833.0
006 m d
007 cr nn 008maaau
008 211111s2021 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 3489925
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 535879
650 0 $a Interval analysis (Mathematics) $3 674271
650 0 $a Robotics. $3 519753
650 0 $a Mechatronics. $3 737861
650 0 $a Dynamics. $3 519830
650 0 $a Ergodic theory. $3 555691
650 0 $a Vibration. $3 544256
650 0 $a Statistics. $3 517247
650 1 4 $a Control and Systems Theory. $3 3381515
650 2 4 $a Control, Robotics, Mechatronics. $3 1002220
650 2 4 $a Dynamical Systems and Ergodic Theory. $3 891276
650 2 4 $a Vibration, Dynamical Systems, Control. $3 893843
650 2 4 $a Statistical Theory and Methods. $3 891074
700 1 $a Devonport, Alex. $3 3489926
700 1 $a Arcak, Murat. $3 2186770
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in electrical and computer engineering. $p Control, automation and robotics. $3 3489927
856 4 0 $u https://doi.org/10.1007/978-3-030-65110-7
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)