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 条
  • [31] Software for satellite mission control
    不详
    IEE REVIEW, 1996, 42 (06): : 220 - 220
  • [32] EVALUATION OF SOFTWARE TESTING METRICS FOR NASA MISSION CONTROL CENTER
    STARK, GE
    DURST, RC
    PELNIK, TM
    SOFTWARE QUALITY JOURNAL, 1992, 1 (02) : 115 - 132
  • [33] The thermal control system for a network mission on Mars: The experience of the Netlander mission
    Nadalini, R
    Bodendieck, F
    ACTA ASTRONAUTICA, 2006, 58 (11) : 564 - 575
  • [34] A graphical mission management system for UUV mission specification, control and analysis
    Trimble, GM
    Aviles, WA
    OCEANS 2003 MTS/IEEE: CELEBRATING THE PAST...TEAMING TOWARD THE FUTURE, 2003, : 2462 - 2462
  • [35] Automated Slocum Mission Pipeline using Slocum Fleet Mission Control
    Lee, James Ju Heon
    Anstee, Stuart
    Fitch, Robert
    OCEANS 2023 - LIMERICK, 2023,
  • [36] Hippo and its mission for growth control
    Hyung Don Ryoo
    Hermann Steller
    Nature Cell Biology, 2003, 5 : 853 - 855
  • [37] Magnetic attitude control for a scientific mission
    Curti, F
    Ascani, L
    De Rosa, D
    ASTRODYNAMICS 2003, PTS 1-3, 2003, 116 : 871 - 886
  • [38] Mission control with the UML and SDL formalisms
    Champeau, J
    Dhaussy, P
    Latreille, L
    OCEANS 2000 MTS/IEEE - WHERE MARINE SCIENCE AND TECHNOLOGY MEET, VOLS 1-3, CONFERENCE PROCEEDINGS, 2000, : 1639 - 1645
  • [39] Hippo and its mission for growth control
    Ryoo, HD
    Steller, H
    NATURE CELL BIOLOGY, 2003, 5 (10) : 853 - 855
  • [40] Design of a mission control system for an AUV
    Carreras, M.
    Palomeras, N.
    Ridao, P.
    Ribas, D.
    INTERNATIONAL JOURNAL OF CONTROL, 2007, 80 (07) : 993 - 1007
12345