A Graphical Environment for AUV Mission Programming and Veri cation

Abstract

One approach for creation of a graphical environment for AUV mission programming and veriication is described in the paper. It is based on a Petri net theory. The results of the AUV mission programming and veriication using the graphical environment are supplemented. 

5 Figures and Tables

Topics

  • Presentations referencing similar topics