Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
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 analysis
bounding 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)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000195895
電子館藏
1圖書
電子書
EB TJ213 .M612 2021 2021
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-65110-7
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login