000			03493nam a22004455i 4500
999			_c330792 _d330792 _x1
001			330792
003			ES-MaUEC
005			20230102114616.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			210120s2021 gw | s |||| 0|eng d
020			_a9783030651107
024	7		_a10.1007/978-3-030-65110-7 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _erda _dES-MaUEC
050		4	_aTJ213 _b2021 EB
100	1		_aMeyer, Pierre-Jean _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9678148
245	1	0	_aInterval Reachability Analysis _bBounding Trajectories of Uncertain Systems with Boxes for Control and Verification _cby Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
250			_aFirst edition 2021
264		1	_aCham _bSpringer International Pulishing _c2021
300			_a1 recurso en línea (X, 112 páginas) _b21 ilustraciones, 18 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF _2
490	0		_aSpringerBriefs in Control Automation and Robotics _x2192-6786
490	0		_aIntelligent Technologies and Robotics (SpringerNature-42732)
490	0		_aIntelligent Technologies and Robotics (R0) (SpringerNature-43728)
505	0		_aChapter 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	3		_aThis 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.
988			_aSpringer_Robotics_2021
650		7	_2embne _aControl automático _9405125
650		7	_2embne _9496877 _aMecatrónica
700	1		_aDevonport, Alex _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9678149
700	1		_aArcak, Murat _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _948588
776	0	8	_iPrinted edition: _z9783030651091
776	0	8	_iPrinted edition: _z9783030651114
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-65110-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE _n0
998			_b04/2021 _dz _eIG _zSI