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

fYear

1996

fDate

2-6 Jun 1996

Firstpage

125

Lastpage

132

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/AUV.1996.532408

Filename

532408