A structural characterization of temporal dynamic controllability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4204 LNCS, Issue , 2006, Pages 375-389

  Morris, Paul ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DESIGN FOR TESTABILITY; DYNAMIC PROGRAMMING; REQUIREMENTS ENGINEERING; UNCERTAIN SYSTEMS;

DYNAMIC CONTROLLABILITY; TEMPORAL CYCLES; TEMPORAL NETWORKS; UNCERTAIN DURATIONS;

CONTROLLABILITY;

EID: 33750357084     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_28     Document Type: Conference Paper

References (8)

1. Muscettola, N., Nayak, P., Pell, B., Williams, B.: Remote agent: to boldly go where no AI system has gone before. Artificial Intelligence 103(1-2) (1998) 5-48
2. Vidai, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. JETAI 11 (1999) 23-45
3. Morris, P., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: Proc. of IJCAI-01. (2001)
4. Cormen, T., Leiserson, C., Rivest, R.: Introduction to Algorithms. MIT press, Cambridge, MA (1990)
5. Morris, P., Muscettola, N.: Dynamic controllability revisited. In: Proc. of AAAI-05. (2005)
6. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence 49 (1991) 61-95
7. Vidal, T.: Controllability characterization and checking in contingent temporal constraint networks. In: Proc. of Seventh Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'2000). (2000)
8. Tsamardinos, I., Muscettola, N., Morris, P.: Fast transformation of temporal plans for efficient execution. In: Proc. of Fifteenth Nat. Conf. on Artificial Intelligence (AAAI-98). (1998)