Strategies for Improving Verification Techniques for Hybrid Systems: Using Rapidly-exploring Random Trees

By Simon Carroll

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639251512
• ISBN13: 9783639251517
• Release Date: April 2010
• Publisher: VDM Verlag
• Length: 156 Pages
• Weight: 0.52 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"