You might also like

More about Strategies for Improving Verification Techniques for Hybrid Systems

• Book details
• Synopsis
• Trending among others

You get 157 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Information technology: general issues

• Full title: Strategies for Improving Verification Techniques for Hybrid Systems
• Subtitle: Using Rapidly-exploring Random Trees
• Author: Simon Carroll
• Language: English
• Binding: Paperback
• Number of pages: 156
• EAN: 9783639251517
• ISBN: 3639251512
• ID: 06832667
• Publisher: VDM Verlag
• Weight: 236 g
• Dimensions: 229 × 152 × 9 mm
• Date of publishing: 30. April 2010

Trending among others

---

---

---