001433517 000__ 04026cam\a2200721\i\4500
001433517 001__ 1433517
001433517 003__ OCoLC
001433517 005__ 20230309003610.0
001433517 006__ m\\\\\o\\d\\\\\\\\
001433517 007__ cr\un\nnnunnun
001433517 008__ 210122s2021\\\\sz\\\\\\ob\\\\000\0\eng\d
001433517 019__ $$a1235593230$$a1238204450
001433517 020__ $$a9783030651107$$q(electronic bk.)
001433517 020__ $$a303065110X$$q(electronic bk.)
001433517 020__ $$z3030651096
001433517 020__ $$z9783030651091
001433517 0247_ $$a10.1007/978-3-030-65110-7$$2doi
001433517 035__ $$aSP(OCoLC)1232263883
001433517 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dEBLCP$$dN$T$$dOCLCO$$dGW5XE$$dDCT$$dSFB$$dOCLCO$$dOCLCF$$dOCLCQ$$dOCLCO$$dOCLCQ
001433517 049__ $$aISEA
001433517 050_4 $$aTJ213
001433517 08204 $$a629.8$$223
001433517 1001_ $$aMeyer, Pierre-Jean,$$eauthor.
001433517 24510 $$aInterval reachability analysis :$$bbounding trajectories of uncertain systems with boxes for control and verification /$$cPierre-Jean Meyer, Alex Devonport, Murat Arcak.
001433517 264_1 $$aCham :$$bSpringer,$$c[2021]
001433517 300__ $$a1 online resource
001433517 336__ $$atext$$btxt$$2rdacontent
001433517 337__ $$acomputer$$bc$$2rdamedia
001433517 338__ $$aonline resource$$bcr$$2rdacarrier
001433517 347__ $$atext file
001433517 347__ $$bPDF
001433517 4901_ $$aSpringerBriefs in electrical and computer engineering. Control, automation and robotics
001433517 504__ $$aIncludes bibliographical references.
001433517 5050_ $$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.
001433517 506__ $$aAccess limited to authorized users.
001433517 520__ $$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.
001433517 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed March 10, 2021).
001433517 650_0 $$aAutomatic control.
001433517 650_0 $$aInterval analysis (Mathematics)
001433517 650_0 $$aRobotics.
001433517 650_0 $$aMechatronics.
001433517 650_0 $$aDynamics.
001433517 650_0 $$aErgodic theory.
001433517 650_0 $$aVibration.
001433517 650_0 $$aStatistics.
001433517 650_6 $$aCommande automatique.
001433517 650_6 $$aCalcul sur des intervalles.
001433517 650_6 $$aRobotique.
001433517 650_6 $$aMécatronique.
001433517 650_6 $$aDynamique.
001433517 650_6 $$aThéorie ergodique.
001433517 650_6 $$aVibration.
001433517 655_0 $$aElectronic books.
001433517 7001_ $$aDevonport, Alex,$$eauthor.
001433517 7001_ $$aArcak, Murat,$$eauthor.
001433517 77608 $$iPrint version:$$z3030651096$$z9783030651091$$w(OCoLC)1203964624
001433517 830_0 $$aSpringerBriefs in electrical and computer engineering.$$pControl, automation and robotics.
001433517 852__ $$bebk
001433517 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-65110-7$$zOnline Access$$91397441.1
001433517 909CO $$ooai:library.usi.edu:1433517$$pGLOBAL_SET
001433517 980__ $$aBIB
001433517 980__ $$aEBOOK
001433517 982__ $$aEbook
001433517 983__ $$aOnline
001433517 994__ $$a92$$bISE