메뉴 건너뛰기




Volumn , Issue , 2007, Pages 296-303

A fast incremental algorithm for maintaining dispatchability of partially controllable plans

Author keywords

[No Author keywords available]

Indexed keywords

DISPATCHABILITY; DISPATCHABLE EXECUTIONS; DYNAMIC CONTROL ALGORITHM; INCREMENTAL ALGORITHM; NEAR-REAL TIME; PLAN EXECUTION; REAL TIME SCHEDULING; REAL WORLD ENVIRONMENTS; REAL- TIME; UNCERTAINTY;

EID: 58349112733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (37)

References (22)
  • 1
    • 85163448381 scopus 로고    scopus 로고
    • [Bessiere, C. 1994] Arc-consistency and arc-consistency again. Artificial Intelligence 65, pages 179-190, 1994.
    • [Bessiere, C. 1994] Arc-consistency and arc-consistency again. Artificial Intelligence 65, pages 179-190, 1994.
  • 2
    • 85163432238 scopus 로고    scopus 로고
    • [Corment, T. H., Leiserson, C.E., Rivest, R. L. 1990] Introduction to Algorithms. MIT Press, Cambridge, MA.
    • [Corment, T. H., Leiserson, C.E., Rivest, R. L. 1990] Introduction to Algorithms. MIT Press, Cambridge, MA.
  • 3
    • 85163504518 scopus 로고    scopus 로고
    • [Dechter, R., Meiri, I., Pearl, J. 1991] Temporal constraint networks. AI, 49:61-95.
    • [Dechter, R., Meiri, I., Pearl, J. 1991] Temporal constraint networks. AI, 49:61-95.
  • 4
    • 85163457417 scopus 로고    scopus 로고
    • [Demestrescu, C., Emiliozzi, S., Italiano, G. 2004] Experimental analysis of dynamic all pairs shortest path algorithms. Proc. SODA'04, pp. 362-271.
    • [Demestrescu, C., Emiliozzi, S., Italiano, G. 2004] Experimental analysis of dynamic all pairs shortest path algorithms. Proc. SODA'04, pp. 362-271.
  • 5
    • 85163428887 scopus 로고    scopus 로고
    • [Doyle 1979] A truth maintenance system. AI, 12:231-272.
    • [Doyle 1979] A truth maintenance system. AI, 12:231-272.
  • 7
    • 85163499175 scopus 로고    scopus 로고
    • [Hofmann, A., Williams, B. 2006] Robust execution of temporally flexible plans for bipedal walking devices. Proc. ICAPS-06.
    • [Hofmann, A., Williams, B. 2006] Robust execution of temporally flexible plans for bipedal walking devices. Proc. ICAPS-06.
  • 8
    • 85163517948 scopus 로고    scopus 로고
    • [Koenig, S., Likhachev, M. 2001] Incremental A*. Advances in Neural Information Processing Systems (14).
    • [Koenig, S., Likhachev, M. 2001] Incremental A*. Advances in Neural Information Processing Systems (14).
  • 9
    • 85163487626 scopus 로고    scopus 로고
    • [Morris, P., Muscettola, N. 2000] Execution of temporal plans with uncertainty. In: Proc. AAAI-00.
    • [Morris, P., Muscettola, N. 2000] Execution of temporal plans with uncertainty. In: Proc. AAAI-00.
  • 10
    • 85163499267 scopus 로고    scopus 로고
    • [Morris, P., Muscettola, N., Vidal, T. 2001] Dynamic Control of plans with temporal uncertainty. In: Proc. IJCAI-01.
    • [Morris, P., Muscettola, N., Vidal, T. 2001] Dynamic Control of plans with temporal uncertainty. In: Proc. IJCAI-01.
  • 11
    • 85163454536 scopus 로고    scopus 로고
    • [Muscettola, N., Morris, P., Tsmardinos, I. 1998]. Reformulating temporal plans for efficient execution. Proc. KRR-98.
    • [Muscettola, N., Morris, P., Tsmardinos, I. 1998]. Reformulating temporal plans for efficient execution. Proc. KRR-98.
  • 12
    • 85163556953 scopus 로고    scopus 로고
    • [Muscettola, N., Nayak, P., Pell, B., Williams, B. 1998b] To boldly go where no AI system has gone before. AI 103(1):5-48.
    • [Muscettola, N., Nayak, P., Pell, B., Williams, B. 1998b] To boldly go where no AI system has gone before. AI 103(1):5-48.
  • 13
    • 85163523207 scopus 로고    scopus 로고
    • [Radibeau, G., Knight, R., Chien, S., Fukunaga, A, et al. 1999] Iterative Repair Planning for Spacecraft Operations in the ASPEN System, Proc. i-SAIRAS.
    • [Radibeau, G., Knight, R., Chien, S., Fukunaga, A, et al. 1999] Iterative Repair Planning for Spacecraft Operations in the ASPEN System, Proc. i-SAIRAS.
  • 14
    • 85163447794 scopus 로고    scopus 로고
    • [Robertson, P., Williams, B. 2005] A Model-Based System Supporting Automatic Self-Regeneration of Critical Software, Proceedings of the IFIP/IEEE Intl Workshop on Self-Managed Systems & Services, France.
    • [Robertson, P., Williams, B. 2005] A Model-Based System Supporting Automatic Self-Regeneration of Critical Software, Proceedings of the IFIP/IEEE Intl Workshop on Self-Managed Systems & Services, France.
  • 15
    • 85163516573 scopus 로고    scopus 로고
    • [Shu, I., Effinger, R., Williams, C. 2005] Enabling Fast Flexible Planning through Incremental Temporal Reasoning, ICAPS-05.
    • [Shu, I., Effinger, R., Williams, C. 2005] Enabling Fast Flexible Planning through Incremental Temporal Reasoning, ICAPS-05.
  • 16
    • 85163503579 scopus 로고    scopus 로고
    • [Stedl 2004] Managing Temporal Uncertainty Under Limited Communication: A Formal Model of Tight and Loose Team Communication, S.M. Thesis, MIT.
    • [Stedl 2004] Managing Temporal Uncertainty Under Limited Communication: A Formal Model of Tight and Loose Team Communication, S.M. Thesis, MIT.
  • 18
    • 85163529661 scopus 로고    scopus 로고
    • [Tsamardinos, I., Muscettola, N., Morris, P. 1998] Fast transformation of temporal plans for efficient execution. Proc. AAAI-98.
    • [Tsamardinos, I., Muscettola, N., Morris, P. 1998] Fast transformation of temporal plans for efficient execution. Proc. AAAI-98.
  • 19
    • 85163531976 scopus 로고    scopus 로고
    • [Vidal, T., Ghallab, M. 1996] Dealing with uncertain durations in temporal constraint networks dedicated to planning. Proc. ECAI-96.
    • [Vidal, T., Ghallab, M. 1996] Dealing with uncertain durations in temporal constraint networks dedicated to planning. Proc. ECAI-96.
  • 20
    • 0442314380 scopus 로고    scopus 로고
    • Handling contingency in temporal constraint networks: From consistencies to controllabilities
    • Vidal
    • [Vidal 1999] Handling contingency in temporal constraint networks: from consistencies to controllabilities. J. of Exp. & Th. AI, 11:23-45.
    • (1999) J. of Exp. & Th. AI , vol.11 , pp. 23-45
  • 21
    • 85163519932 scopus 로고    scopus 로고
    • Controllability characterization and checking in contingent temporal constraint networks
    • [Vidal 2000]. Controllability characterization and checking in contingent temporal constraint networks. Proc. KRR- 2000.
    • Proc. KRR- 2000
  • 22
    • 85163448996 scopus 로고    scopus 로고
    • [Zweben, M., Davis, E., Daun, B., Deale, M. 1993] Scheduling and rescheduling with iterative repair. IEEE SMC 3(6):1588-1596.
    • [Zweben, M., Davis, E., Daun, B., Deale, M. 1993] Scheduling and rescheduling with iterative repair. IEEE SMC 3(6):1588-1596.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.