A mission control system for an autonomous underwater vehicle
The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The propose...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Universitat de Girona
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10803/69957 |