Planning robust temporal plans a comparison between CBTP and TGA approaches

ICAPS 2007, 17th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2007, Pages 2-9

  Abdeddaim Y ^c   Asarintt, E ^b   Gallien, M ^a   Ingrand, F ^a   Lesire, C ^a   Sighireanutt, M ^b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b UNIVERSITÉ PARIS DESCARTES   (France)

^c ESIEE PARIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SCHEDULING;

AUTOMATED PLANNING; CONSTRAINT SATISFACTION TECHNIQUES; PARTIAL ORDER; PLANNING COMMUNITY; REACHABILITY ANALYSIS; REAL-WORLD; ROBUST EXECUTION; TEMPORAL REPRESENTATIONS; TIMED GAME AUTOMATA; UNCERTAINTY;

AUTOMATION;

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

References (25)

1. Abdeddaïm, Y.; Asarin, E.; and Maler, O. 2006. Scheduling with timed automata. Theoretical Computer Sciences 354(2).
2. Abdeddaïm, Y; Asarin, E.; and Sighireanu, M. 2006. From IxTeT to timed games. Technical report, LIAFA.
3. Ai-Chang, M.; Bresina, J.; Charest, L.; Jónsson, A.; Hsu, J.; Kanefsky, B.; Maldague, P.; Morris, P.; Rajan, K.; and Yglesias, J. 2003. MAPGEN: Mixed initiative planning and scheduling for the Mars 03 MER mission. In ISAIRAS.
4. Alur, R., and Dill, D. 1990. Automata for modeling real-time systems. In ICALP.
5. Asarin, E., and Maler, O. 1999. As soon as possible: Time optimal control for timed automata. In HSCC.
6. Behrmann, G.; Cougnard, A.; David, A.; Fleury, E.; Larsen, K.; and Lime, D. 2007. Uppaal-Tiga: Time for playing games! In CAV.
7. Cassez, F.; David, A.; Fleury, E.; Larsen, K.; and Lime, D. 2005. Efficient on-the-fly algorithms for the analysis of timed games. In CONCUR.
8. Chien, S. 2006. Integrated AI in space: The autonomous sciencecraft on Earth observing one. In AAAI.
9. Cimatti, A.; Giunchiglia, F.; Giunchiglia, E.; and Traverso, P. 1997. Planning via model checking: A decision procedure for R. In ECP, 130-142.
10. Frank, J., and Jónsson, A. 2003. Constraint-based attribute and interval planning. Constraints 8(4).
11. Gallien, M., and Ingrand, F. 2006. Controlability and makespan issues with robot action planning and execution. In ICAPS workshop on Planning under Uncertainty and Execution Control for Autonomous Systems.
12. Ghallab, M., and Laruelle, H. 1994. Representation and control in IxTeT, a temporal planner. In AIPS.
13. Ghallab, M.; Nau, D.; and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann.
14. Jensen, R. M., and Veloso, M. M. 2000. Obdd-based universal planning for synchronized agents in non-deterministic domains. JAIR 13:189-226.
15. Khatib, L.; Muscettola, N.; and Havelund, K. 2001. Mapping temporal planning constraints into timed automata. In TIME.
16. Lemai, S., and Ingrand, F. 2004. Interleaving temporal planning and execution in robotics domains. In AAAI.
17. Liu, X., and Smolka, S. 1998. Simple linear-time algorithms for minimal fixed points (extended abstract). In ICALP. Lowry, M. R.; Havelund, K.; and Penix, J. 1997. Verification and validation of ai systems that control deep-space spacecraft. In ISMIS, 35-47.
18. Mackworth, A., and Freuder, E. 1985. The complexity of some polynomial newtork consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25(1).
19. Mackworth, A. 1977. Consistency in networks of relations. Artificial Intelligence 8.
20. Maler, O.; Pnueli, A.; and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. In STACS.
21. Morris, P. 2006. A structural characterization of temporal dynamic controllability. In CP.
22. Trinquart, R., and Ghallab, M. 2001. An extended functional representation in temporal planning: towards continuous change. In ECP.
23. Tripakis, S., and Altisen, K. 1999. On-the-fly controller synthesis for discrete and dense-time systems. In FM.
24. Vidal, T., and Fargier, H. 1999. Handling contingency in temporal constraint networks: from consistency to controllabilities. JETAI 11(1).
25. Vidal, T. 2000. A unified dynamic approach for dealing with temporal uncertainty and conditional planning. In ICAPS.