Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
    Pierre-Jean Meyer; Alex Devonport; Murat Arcak
    978-3-030-65110-7
    2021
    Edition 1
    • Offers a variety of computationally efficient reachability methods using multi-dimensional intervals
    • Provides a pedagogical description of each method, focusing on the requirements and trade-offs
    • Describes applications in safety and reachability verification, robustness analysis, and symbolic control synthesis
    • Implements methods in open-source software: Toolbox for Interval Reachability Analysis

    €130

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.