Books > Science & Mathematics > Mathematics > Applied mathematics > Non-linear science
|
Buy Now
Interval Reachability Analysis - Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (Paperback, 1st ed. 2021)
Loot Price: R1,829
Discovery Miles 18 290
|
|
Interval Reachability Analysis - Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification (Paperback, 1st ed. 2021)
Series: SpringerBriefs in Electrical and Computer Engineering
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.