Strategic level mission control - An evaluation of CORAL and PROLOG implementations for mission control specifications

被引：3

作者：

Healey, AJ ^{[1
]}

Marco, DB ^{[1
]}

Oliveira, P ^{[1
]}

Pascoal, A ^{[1
]}

Silva, V ^{[1
]}

Silvestre, C ^{[1
]}

机构：

[1] USN,POSTGRAD SCH,AUTONOMOUS UNDERWATER VEHICLES LAB,MONTEREY,CA 93943

来源：

PROCEEDINGS OF THE 1996 SYMPOSIUM ON AUTONOMOUS UNDERWATER VEHICLE TECHNOLOGY | 1996年

关键词：

D O I：

10.1109/AUV.1996.532408

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：125 / 132

页数：8

共 50 条

[1] Internet mission control of the ROMEO Unmanned Underwater Vehicle using the CORAL mission controller
Bruzzone, G
Bono, R
Caccia, M
Veruggio, G
Ferreira, C
Silvestre, C
Oliveira, P
Pascoal, A
OCEANS '99 MTS/IEEE : RIDING THE CREST INTO THE 21ST CENTURY, VOLS 1-3, 1999, : 1081 - 1087
[2] Mission impossible to mission control
Wheeler, Aaron R.
Herr, Amy E.
LAB ON A CHIP, 2012, 12 (20) : 3851 - 3852
[3] Mission control
Emery, M
TRAINING & DEVELOPMENT, 1996, 50 (07): : 51 - 53
[4] Mission control
Eskow, D
DATAMATION, 1997, 43 (07): : 36 - &
[5] Mission: control
Eureka:Engineering Materials and Design, 1998, 18 (03):
[6] Mission to control
Raleigh, Patrick
Process Engineering (London), 2007, 88 (03): : 22 - 23
[7] Mission control meets mission critical
Jander, Mary
Data Communications, 1997, 26 (02):
[8] MISSION CONTROL
Krivanek, Robert
NUCLEAR ENGINEERING INTERNATIONAL, 2016, 61 (743): : 33 - 34
[9] Status Flow of Human Spaceflight Mission and Implementations in Flight Control Strategy
Xing, Jinjiang
Li, Jian
Zhou, Hong
Yang, Wen
PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 600 - +
[10] SHELLS FOR MISSION CONTROL
HEINDEL, TA
MURPHY, TB
RASMUSSEN, AN
MCFARLAND, RZ
MONTGOMERY, RE
POHLE, GE
AEROSPACE AMERICA, 1991, 29 (10) : 8 - 11