Strategic Level Mission Control - An Experiment in CORAL and PROLOG Implementations for Mission Control Specifications
Marco, D. B.
MetadataShow full item record
This paper presents the use of the software program- ming environments PROLOG and CORAL for the im- plementation of the Strategic Level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule based mission control specification language, CORAL builds on a graphi- cal 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.
Proceedings of the IEEE Symposium on Autonomous Underwater Vehicle Technology, Monterey, CA, June, 1996 pp.125-134
Showing items related by title, author, creator and subject.
Shirasaka, Masahide (Monterey, California. Naval Postgraduate School, 1994-09);There are two goals for autonomous vehicle navigation planning: shortest path and safe path. These goals are often in conflict; path safety is more important. Safety of the autonomous vehicle's navigation is determined by ...
Design, implementation and testing of a common data model supporting autonomous vehicle compatibility and interoperability Davis, Duane T. (Monterey, California. Naval Postgraduate School, 2006-09);Current autonomous vehicle interoperability is limited by vehicle-specific data formats and support systems. Until a standardized approach to autonomous vehicle command and control is adopted, true interoperability will ...
Wilkinson, Wilfrid P. (Monterey, California. Naval Postgraduate School, 1991-09);The Naval Postgraduate School has been conducting research into the design and testing of an Autonomous Underwater Vehicle. One facet of this research is to incrementally design a software architecture and implement it ...