Optimisation-based verification process of obstacle avoidance systems for unmanned vehicles
This thesis deals with safety verification analysis of collision avoidance systems for unmanned vehicles. The safety of the vehicle is dependent on collision avoidance algorithms and associated control laws, and it must be proven that the collision avoidance algorithms and controllers are functionin...
Saved in:
| Main Author: | |
|---|---|
| Format: | Default Thesis |
| Published: |
2014
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/15106 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|