Run-time Plan Repair for AUV Missions

被引:1
|
作者
Harris, Catherine [1 ]
Dearden, Richard [1 ]
机构
[1] Univ Birmingham, Birmingham B15 2TT, W Midlands, England
来源
STAIRS 2014 | 2014年 / 264卷
关键词
FRAMEWORK; SEARCH; SYSTEM;
D O I
10.3233/978-1-61499-421-3-151
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Autonomous underwater vehicle (AUV) missions are challenging due to limited or no communication with the vehicle and uncertainty about what may be encountered during the mission. The vehicle has limited battery power and memory to store datasets and does not know how much of these resources its actions will consume. Managing the uncertainty by building contingency plans (as in previous work) is infeasible owing to the large number of contingencies. Purely online planning is also difficult because of restricted computation. We propose a mixture of off-line planning and on-line plan repair, presenting an approach for deleting parts of a plan when resources are tight, or stitching new plan fragments into an existing plan when additional resources are available. We discuss this novel approach using a simulated AUV mission domain.
引用
收藏
页码:151 / 160
页数:10
相关论文
共 50 条
  • [1] Run-time correction
    Grubb, WA
    [J]. OIL & GAS JOURNAL, 2004, 102 (13) : 10 - 10
  • [2] RUN-TIME DEBUGGERS
    NELSON, T
    [J]. DR DOBBS JOURNAL, 1993, 18 (12): : 36 - 36
  • [3] Run-time verification
    Colin, S
    Mariani, L
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [4] Conversation errors in web service coordination: Run-time detection and repair
    Blanchet, W
    Elio, R
    Stroulia, E
    [J]. 2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings, 2005, : 442 - 449
  • [5] Run-time reconfiguration at Xilinx
    Guccione, SA
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 873 - 873
  • [6] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
  • [7] RUN-TIME PRINT VALUES
    FINKEL, R
    [J]. SIGPLAN NOTICES, 1983, 18 (02): : 62 - 64
  • [8] GENERATION OF RUN-TIME ENVIRONMENTS
    KAISER, GE
    [J]. SIGPLAN NOTICES, 1986, 21 (07): : 51 - 57
  • [9] On run-time enforcement of policies
    Shah, Harshit
    Shyamasundar, R. K.
    [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 268 - +
  • [10] Run-time cache bypassing
    Johnson, TL
    Connors, DA
    Merten, MC
    Hwu, WMW
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (12) : 1338 - 1354