Zobacz książki o podobnej tematyce

Więcej informacji o Strategies for Improving Verification Techniques for Hybrid Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 165 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Information technology: general issues

• Pełny tytuł: Strategies for Improving Verification Techniques for Hybrid Systems
• Podtytuł: Using Rapidly-exploring Random Trees
• Autor: Simon Carroll
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 156
• EAN: 9783639251517
• ISBN: 3639251512
• ID: 06832667
• Wydawca: VDM Verlag
• Waga: 236 g
• Wymiary: 229 × 152 × 9 mm
• Data wydania: 30. April 2010

Ulubione w innej kategorii

---

---

---