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 |