Executing reactive, model-based programs through graph-based temporal planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 487-493

  Kim, Phil ^a   Williams, Brian C ^a   Abramson, Mark ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b CHARLES STARK DRAPER LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED PROGRAMMING; EXECUTION LANGUAGES; INTERMEDIATE REPRESENTATIONS; MODEL-BASED PROGRAMMING; PLANNING AND EXECUTION; TEMPORAL PLAN NETWORKS; TEMPORAL PLANNING; UNCERTAIN ENVIRONMENTS;

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; PLANNING;

EMBEDDED SYSTEMS;

EID: 84880905662     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. R. Ahuja, T. Magnanti, and J. Orlin. Network Flows: Theory, Algorithms, and Applications. Prentice Hall, 1993.
2. G. Berry and G. Gonthier. The esterel programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87-152, November 1992. (Pubitemid 23582985)
3. A. Blum and M. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90(1-2):281-300, 1997. (Pubitemid 127398372)
4. T. Cormen, C Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press, Camb., MA, 1990.
5. R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. AIJ, 49:61-95, 1991.
6. K. Erol, J. Hendler, and D. Nau. Htn planning: Complexity and expressivity. In Proceedings of AAAI-94, pages 1123-1128, 1994.
7. R. James Firby. The RAP language manual. Technical Report AAP-6, Univ. Chicago, March 1995.
8. P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. pages 1321-1336.
9. N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language lustre. pages 1305-1320.
10. N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic, 1993.
11. P. Laborie and M. Ghallab. Planning with sharable resource constraints. In Proceedings of IJCAI-95, 1995.
12. N. Muscettola, P. Morris, B. Pell, and B. Smith. Issues in temporal reasoning for autonomous control systems. In Autonomous Agents, 1998.
13. N. Muscettola, P. Nayak, B. Pell, and B. C. Williams. The new millennium remote agent: To boldly go where no ai system has gone before. Artificial Intelligence, 103(1-2):5-48, 1998.
14. N. Muscettola. HSTS: Integrating planning and scheduling. In Mark Fox and Monte Zweben, editors, Intelligent Scheduling. Morgan Kaufmann, 1994.
15. V. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. J Symb Comp, 22(5-6):475-520, 1996. (Pubitemid 126164723)
16. D. Smith and D. Weld. Temporal planning with mutual exclusion reasoning. In Proceedings of IJCAI-99, 1999.
17. I. Tsamardinos, N. Muscettola, and P. Morris. Fast transformation of temporal plans for efficient execution. In Proceedings of AAAI-98, 1998.
18. D. Weld. An introduction to least commitment planning. In AI Magazine, 1994.
19. D. Weld. Recent advances in ai planning. In AI Magazine, 1999.
20. B. C. Williams, S. Chung, and V. Gupta. Mode estimation of model-based programs: Monitoring systems with complex behavior. In Proceedings of IJCAI-01, 2001.