{"product_id":"9783030651091-interval-reachability-analysis-boundin","title":"Interval Reachability Analysis","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eBounding Trajectories of Uncertain Systems with Boxes for Control and Verification\u003cbr\u003e\u003cp\u003eThis brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’.\u003c\/p\u003e\n\u003cbr\u003e\u003cp\u003eThis 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:\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003einterval analysis;\u003c\/li\u003e\n\u003cli\u003emonotonicity theory;\u003c\/li\u003e\n\u003cli\u003econtraction theory; and\u003c\/li\u003e\n\u003cli\u003edata-driven techniques      that sample trajectories.\u003c\/li\u003e\n\u003c\/ul\u003e \u003cp\u003eThe methods are implemented in an accompanying open-source Toolbox for Interval Reachability Analysis.\u003c\/p\u003e\n\u003cp\u003eThis 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. \u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282730561910,"sku":"9783030651091","price":55.66,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36199901_8c17eab9-fe90-4fa2-86f1-1fe0a4a508fb.jpg?v=1758767908","url":"https:\/\/www.rarewaves.com\/products\/9783030651091-interval-reachability-analysis-boundin","provider":"Rarewaves.com","version":"1.0","type":"link"}