{"type":"ScholarlyArticle","title":"Flexible Execution of Partial Order Plans With Temporal Constraints","authors":[{"name":"Christian J. Muise","slug":"christian-j-muise","given":"Christian J.","family":"Muise","affiliation":"Dept. of Computer Science University of Toronto"},{"name":"J. Christopher Beck","slug":"j-christopher-beck","given":"J. Christopher","family":"Beck","affiliation":"Dept. of Mechanical & Industrial Engineering University of Toronto"},{"name":"Sheila A. McIlraith","slug":"sheila-a-mcilraith","given":"Sheila A.","family":"McIlraith","affiliation":"Dept. of Computer Science University of Toronto"}],"abstract":"We propose a unified approach to plan execution and schedule dispatching that converts a plan, which has been augmented with temporal constraints, into a policy for dispatching. Our approach generalizes the original plan and temporal constraints so that the executor need only consider the subset of state that is relevant to successful execution of valid plan fragments. We can accommodate a variety of calamitous and serendipitous changes to the state of the world by supporting the seamless re-execution or omission of plan fragments, without the need for costly replanning. Our methodology for plan generalization and online dispatching is a novel combination of plan execution and schedule dispatching techniques. We demonstrate the effectiveness of our method through a prototype implementation and a series of experiments.","doi":null,"url":"https://ijcai.org/proceedings/2013/343","pdf":"https://ijcai.org/proceedings/2013/0343.pdf","markdown":"https://ijcai.org/proceedings/2013/343.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/343","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":343,"pages":{"first":2328,"last":2334},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Alur and Dill, 1994] R. Alur and D. L. Dill. A the- ory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.","title":"A theory of timed automata","authors":"R Alur, D L Dill","year":"1994","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bauer et al., 2007] A. Bauer, M. Leucker, and C. Schallhart. Runtime verification for LTL and TLTL. Transactions on Software Engineering and Methodology, pages 1-68, 2007.","title":"Runtime verification for LTL and TLTL","authors":"A Bauer, M Leucker, C Schallhart","year":"2007","venue":"Transactions on Software Engineering and Methodology","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Boutilier and Brafman, 2001] C. Boutilier and R. I. Braf- man. Partial-order planning with concurrent interact- ing actions. Journal of Artificial Intelligence Research, 14:105-136, 2001.","title":"Partial-order planning with concurrent interacting actions","authors":"C Boutilier, R I Brafman","year":"2001","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Coles et al., 2008] A. Coles, M. Fox, D. Long, and A. Smith. Planning with problems requiring temporal co- ordination. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence, pages 892-897, 2008.","title":"Planning with problems requiring temporal coordination","authors":"A Coles, M Fox, D Long, A Smith","year":"2008","venue":"Proceedings of the 23rd AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Coles et al., 2010] A. J. Coles, A. I. Coles, M. Fox, and D. Long. Forward-chaining partial-order planning. In Proceedings of the 20th International Conference on Au- tomated Planning and Scheduling, pages 42-49, 2010.","title":"Forward-chaining partial-order planning","authors":"A J Coles, A I Coles, M Fox, D Long","year":"2010","venue":"Proceedings of the 20th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Conrad and Williams, 2011] P. R. Conrad and B. C. Williams. Drake: An Efficient Executive for Temporal Plans with Choice. Journal of Artificial Intelligence Re- search, 42:607-659, 2011.","title":"Drake: An Efficient Executive for Temporal Plans with Choice","authors":"P R Conrad, B C Williams","year":"2011","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Cushing et al., 2007] W. Cushing, S. Kambhampati, Mausam, and Weld D. S. When is temporal planning really temporal. In Proceedings of the 20th Interna- tional Joint Conference on Artifical Intelligence, pages 1852-1859, 2007.","title":"When is temporal planning really temporal","authors":"W Cushing, S Kambhampati, Mausam, D S Weld","year":"2007","venue":"Proceedings of the 20th International Joint Conference on Artifical Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2007/299"},{"position":8,"raw":"[Dechter et al., 1991] R. Dechter, I. Meiri, and J. Pearl. Tem- poral constraint networks. Artificial Intelligence, 49(1- 3):61-95, 1991.","title":"Temporal constraint networks","authors":"R Dechter, I Meiri, J Pearl","year":"1991","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Doherty et al., 2009] P. Doherty, J. Kvarnström, and F. Heintz. A temporal logic-based planning and ex- ecution monitoring framework for unmanned aircraft systems. Autonomous Agents and Multi-Agent Systems, 19(3):332-377, 2009.","title":"A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems","authors":"P Doherty, J Kvarnström, F Heintz","year":"2009","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Fox and Long, 2003] M. Fox and D. Long. PDDL2.1: An extension to pddl for expressing temporal planning do- mains. Journal of Artificial Intelligence Research, 20:61- 124, 2003.","title":"PDDL2.1: An extension to pddl for expressing temporal planning domains","authors":"M Fox, D Long","year":"2003","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Fox et al., 2004] M. Fox, D. Long, and K. Halsey. An in- vestigation into the expressive power of PDDL2.1. In Pro- ceedings of the 16th European Conference of Artificial In- telligence, 2004.","title":"An investigation into the expressive power of PDDL2.1","authors":"M Fox, D Long, K Halsey","year":"2004","venue":"Proceedings of the 16th European Conference of Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Fritz and McIlraith, 2007] C. Fritz and S. A. McIlraith. Monitoring plan optimality during execution. In Proceed- ings of the 17th International Conference on Automated Planning and Scheduling, pages 144-151, 2007.","title":"Monitoring plan optimality during execution","authors":"C Fritz, S A Mcilraith","year":"2007","venue":"Proceedings of the 17th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gerevini et al., 2009] A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos. Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. Artificial Intelli- gence, 173(5-6):619-668, 2009.","title":"Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners","authors":"A Gerevini, P Haslum, D Long, A Saetti, Y Dimopoulos","year":"2009","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ghallab et al., 2004] M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory & Practice. Morgan Kauf- mann, 2004.","title":"Automated Planning: Theory & Practice","authors":"M Ghallab, D Nau, P Traverso","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Kim et al., 2001] P. Kim, B. C. Williams, and M. Abram- son. Executing reactive, model-based programs through graph-based temporal planning. In Proceedings of the 17th International Joint Conference on Artificial Intelligence, pages 487-493, 2001.","title":"Executing reactive, model-based programs through graph-based temporal planning","authors":"P Kim, B C Williams, M Abramson","year":"2001","venue":"Proceedings of the 17th International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2001/68"},{"position":16,"raw":"[Koymans, 1990] R. Koymans. Specifying real-time prop- erties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.","title":"Specifying real-time properties with metric temporal logic","authors":"R Koymans","year":"1990","venue":"Real-Time Systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kvarnström et al., 2008] J. Kvarnström, P. Doherty, and F. Heintz. A temporal logic-based planning and execution monitoring system. In Proceedings of the 18th Interna- tional Conference on Automated Planning and Scheduling, pages 332-377, 2008.","title":"A temporal logic-based planning and execution monitoring system","authors":"J Kvarnström, P Doherty, F Heintz","year":"2008","venue":"Proceedings of the 18th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lemai and Ingrand, 2003] S. Lemai and F. Ingrand. Inter- leaving temporal planning and execution: IxTeT-eXeC. In Proceedings of the ICAPS Workshop on Plan Execution, 2003.","title":"Interleaving temporal planning and execution: IxTeT-eXeC","authors":"S Lemai, F Ingrand","year":"2003","venue":"Proceedings of the ICAPS Workshop on Plan Execution","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Levine, 2012] S. J. Levine. Monitoring the execution of temporal plans for robotic systems. Master's Thesis, 2012.","title":"Monitoring the execution of temporal plans for robotic systems","authors":"S J Levine","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Muise et al., 2011] C. Muise, S. A. McIlraith, and J. C. Beck. Monitoring the execution of partial-order plans via regression. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages 1975-1982, 2011.","title":"Monitoring the execution of partial-order plans via regression","authors":"C Muise, S A Mcilraith, J C Beck","year":"2011","venue":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/330"},{"position":21,"raw":"[Muise et al., 2012] C. Muise, S. A. McIlraith, and J. C. Beck. Optimally relaxing partial-order plans with MaxSAT. In Proceedings of the 22nd International Con- ference on Automated Planning and Scheduling, pages 358-362, 2012.","title":"Optimally relaxing partial-order plans with MaxSAT","authors":"C Muise, S A Mcilraith, J C Beck","year":"2012","venue":"Proceedings of the 22nd International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Muscettola et al., 1998] N. Muscettola, P. H. Morris, and I. Tsamardinos. Reformulating temporal plans for efficient execution. In Proceedings of the 6th International Confer- ence on Principles of Knowledge Representation and Rea- soning, pages 444-452, 1998.","title":"Reformulating temporal plans for efficient execution","authors":"N Muscettola, P H Morris, I Tsamardinos","year":"1998","venue":"Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Pettersson, 2005] O. Pettersson. Execution monitoring in robotics: A survey. Robotics and Autonomous Systems, 53(2):73-88, 2005.","title":"Execution monitoring in robotics: A survey","authors":"O Pettersson","year":"2005","venue":"Robotics and Autonomous Systems","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Pnueli, 1977] A. Pnueli. The temporal logic of programs. In Proceedings of the Eighteenth IEEE Symposium Foun- dations of Computer Science, pages 46-57, 1977.","title":"The temporal logic of programs","authors":"A Pnueli","year":"1977","venue":"Proceedings of the Eighteenth IEEE Symposium Foundations of Computer Science","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Smith et al., 2000] D. E. Smith, J. Frank, and A. K. Jónsson. Bridging the gap between planning and schedul- ing. Knowledge Engineering Review, 15(1):47-83, 2000.","title":"Bridging the gap between planning and scheduling","authors":"D E Smith, J Frank, A K Jónsson","year":"2000","venue":"Knowledge Engineering Review","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Weld, 1994] D. S. Weld. An introduction to least commit- ment planning. AI Magazine, 15(4):27, 1994.","title":"An introduction to least commitment planning","authors":"D S Weld","year":"1994","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Younes and Simmons, 2003] H. L. S. Younes and R. G. Simmons. VHPOP: Versatile heuristic partial order plan- ner. Journal of Artificial Intelligence Research, 20:405- 430, 2003.","title":"VHPOP: Versatile heuristic partial order planner","authors":"H L S Younes, R G Simmons","year":"2003","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}