ISBN: 9783030651091 - interval reachability analysis: bounding trajectories of uncertain systems with boxes for control and verification (springerbriefs in control, automation and robotics) (16 Ergebnisse)

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 124 pages. 9.25x6.10x0.30 inches. In Stock.

Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 briefprovides 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 makesthe brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.…

Taschenbuch. Zustand: Neu. Interval Reachability Analysis | Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification | Pierre-Jean Meyer (u. a.) | Taschenbuch | SpringerBriefs in Electrical and Computer Engineering | x | Englisch | 2021 | Springer | EAN 9783030651091 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: new. Questo è un articolo print on demand.

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 briefprovides 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 makesthe brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification. 124 pp. Englisch.…

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Offers a variety of computationally efficient reachability methods using multi-dimensional intervalsProvides a pedagogical description of each method, focusing on the requirements and trade-offsDescribes applications .…

Zustand: New. Print on Demand.

Zustand: New. PRINT ON DEMAND.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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; anddata-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 makesthe brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 124 pp. Englisch.…