Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
Loading...
Authors
Healey, A.J.
Marco, D. B.
Oliveira, P.
Pascoal, A.
Silva, V.
Silvestre, C.
Advisors
Second Readers
Subjects
Date of Issue
1996-06
Date
Publisher
Language
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
Type
Article
Description
The article of record may be found at http://dx.doi.org/10.1109/AUV.1996.532408
Autonomous Underwater Vehicle Technology, 1996. AUV '96., Proceedings of the 1996 Symposium on
Autonomous Underwater Vehicle Technology, 1996. AUV '96., Proceedings of the 1996 Symposium on
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.