Strategies for Improving Verification Techniques for Hybrid Systems

Name: Strategies for Improving Verification Techniques for Hybrid Systems
Price: 58.97 USD
Availability: InStock
ISBN: 9783639251517

ISBN-10: 3639251512

ISBN-13: 9783639251517

Edition: N/A

Authors: Simon Carroll

List price: $78.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $58.97

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $78.00
Publisher: VDM Verlag Dr. Mueller e.K.
Binding: Paperback
Pages: 156
Size: 6.00" wide x 9.00" long x 0.36" tall
Weight: 0.528
Language: English