Title :
Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
Author :
Healey, A.J. ; Marco, D.B. ; Oliveira, P. ; Pascoal, A. ; Silva, V. ; Silvestre, C.
Author_Institution :
Dept. of Mech. Eng., Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification language, CORAL builds on a graphical interface to describe mission programs using Petri nets. The paper describes the interfacing of CORAL with the tactical level of the vehicle, and details the programming and execution of a vehicle mission that was run in the NPS test tank
Keywords :
PROLOG; Petri nets; intelligent control; marine systems; military systems; programming environments; software engineering; specification languages; CORAL; NPS Phoenix vehicle; Naval Postgraduate School; PROLOG; Petri nets; autonomous underwater vehicles; graphical interface; rule-based mission control; software programming; specification language; strategic level mission control; Communication system control; Control systems; Mechanical engineering; Mobile robots; Petri nets; Programming environments; Shape control; Specification languages; Testing; Underwater vehicles;
Conference_Titel :
Autonomous Underwater Vehicle Technology, 1996. AUV '96., Proceedings of the 1996 Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-7803-3185-0
DOI :
10.1109/AUV.1996.532408
