Strategies for Improving Verification Techniques for Hybrid Systems

Strategies for Improving Verification Techniques for Hybrid Systems


Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 4,396

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • Product Description

In this thesis, we demonstrate techniques to improve upon the Rapidly-exploring Random Tree (RRT) as a tool for planning and verification of hybrid systems. First, we perform experiments that show many planning/verification problems exhibit heavy-tailed behavior, where sampling-based algorithms sometimes require an inordinate number of nodes to solve them. We show that using restarts and multiple trees improves their solution time. Second, we note that for many complex planning/verification problems the hybrid state space admits a natural separation into distinct modes, such that search in one does not help find a path through any other. We use a forest of trees, each tasked with solving a specific mode, to find overall solutions more quickly and with fewer nodes. Third, we solve problems with unpredictable environment changes (because of other agents, unmodeled dynamics, or disturbances) using receding horizon search, where a new path is generated whenever the current path is invalidated.

Product Specifications
SKU :COC47906
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-04-08
0 Review(s)