{"type":"ScholarlyArticle","title":"Constraint-Based Scheduling with Complex Setup Operations: An Iterative Two-Layer Approach","authors":[{"name":"Adriana Pacheco","slug":"adriana-pacheco","given":"Adriana","family":"Pacheco","affiliation":"ONERA / DTIS , Université de Toulouse , F-31055 Toulouse - France"},{"name":"Cédric Pralet","slug":"cedric-pralet","given":"Cédric","family":"Pralet","affiliation":"ONERA / DTIS , Université de Toulouse , F-31055 Toulouse - France"},{"name":"Stéphanie Roussel","slug":"stephanie-roussel","given":"Stéphanie","family":"Roussel","affiliation":"ONERA / DTIS , Université de Toulouse , F-31055 Toulouse - France"}],"abstract":"In this paper, we consider scheduling problems involving resources that must perform complex setup operations between the tasks they realize. To deal with such problems, we introduce a simple yet efficient iterative two-layer decision process that alternates between the fast synthesis of high-level schedules based on a coarse-grain model of setup operations, and the production of detailed schedules based on a fine-grain model. Experiments realized on representative benchmarks of a multi-robot application show the efficiency of the approach.","doi":"10.24963/ijcai.2019/161","url":"https://ijcai.org/proceedings/2019/161","pdf":"https://ijcai.org/proceedings/2019/0161.pdf","markdown":"https://ijcai.org/proceedings/2019/161.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/161","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Constraints and SAT","track":"Main track","number":161,"pages":{"first":1155,"last":1161},"keywords":["Constraints and SAT: Constraint Satisfaction","Planning and Scheduling: Scheduling"],"videos":[],"references":[{"position":1,"raw":"[Barreiro et al., 2012] Javier Barreiro, Matthew Boyce, Minh Do, Jeremy Frank, Michael Iatauro, Tatiana Kichkaylo, Paul Morris, James Ong, Emilio Remolina, Tristan Smith, and David Smith. EUROPA: A platform for AI planning, scheduling, constraint programming, and op- timization. In Proceedings of the 28th International Con- ference on Automated Planning and Scheduling, 2012.","title":"EUROPA: A platform for AI planning, scheduling, constraint programming, and optimization","authors":"Javier Barreiro, Matthew Boyce, Minh Do, Jeremy Frank, Michael Iatauro, Tatiana Kichkaylo, Paul Morris, James Ong, Emilio Remolina, Tristan Smith, David Smith","year":"2012","venue":"Proceedings of the 28th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bechon et al., 2014] Patrick Bechon, Magali Barbier, Guil- laume Infantes, Charles Lesire, and Vincent Vidal. HiPOP: Hierarchical partial-order planning. In Proceedings of the 7th European Starting AI Researcher Symposium, 2014.","title":"HiPOP: Hierarchical partial-order planning","authors":"Patrick Bechon, Magali Barbier, Guillaume Infantes, Charles Lesire, Vincent Vidal","year":"2014","venue":"Proceedings of the 7th European Starting AI Researcher Symposium","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Benders, 1962] Jacobus F. Benders. Partitioning procedures for solving mixed-variables programming problems. Nu- merische Mathematik, 4(1):238-252, 1962.","title":"Partitioning procedures for solving mixed-variables programming problems","authors":"F Jacobus, Benders","year":"1962","venue":"Numerische Mathematik","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chien et al., 1999] Steve Chien, Russell Knight, Andre Stechert, Rob Sherwood, and Gregg Rabideau. Using iter- ative repair to increase the responsiveness of planning and scheduling for autonomous spacecraft. In International Joint Conference on Artificial Intelligence, 1999.","title":"Using iterative repair to increase the responsiveness of planning and scheduling for autonomous spacecraft","authors":"Steve Chien, Russell Knight, Andre Stechert, Rob Sherwood, Gregg Rabideau","year":"1999","venue":"International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Dvorak et al., 2014] Filip Dvorak, Roman Barták, Arthur Bit-Monnot, Franc ¸ois Ingrand, and Malik Ghallab. Plan- ning and acting with temporal and hierarchical decompo- sition models. In 26th IEEE International Conference on Tools with Artificial Intelligence, pages 115-121, 2014.","title":"Planning and acting with temporal and hierarchical decomposition models","authors":"Filip Dvorak, Roman Barták, Arthur Bit-Monnot, Franc ¸ois Ingrand, Malik Ghallab","year":"2014","venue":"26th IEEE International Conference on Tools with Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Erol et al., 1994] Kutluhan Erol, James Hendler, and Danna S. Nau. HTN planning: Complexity and expres- sivity. In Proceedings of the 12th National Conference on Artificial Intelligence, pages 1123-1128. AAAI Press, 1994.","title":"HTN planning: Complexity and expressivity","authors":"Erol","year":"1994","venue":"Proceedings of the 12th National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Khac Vu et al., 2016] Ky Khac Vu, Claudia D'Ambrosio, Youssef Hamadi, and Leo Liberti. Surrogate-based meth- ods for black-box optimization: Surrogate-based methods for black-box optimization. International Transactions in Operational Research, 24:393-424, 2016.","title":"Surrogate-based methods for black-box optimization: Surrogate-based methods for black-box optimization","authors":"Khac Vu","year":"2016","venue":"International Transactions in Operational Research","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Laborie and Rogerie, 2008] Philippe Laborie and Jérôme Rogerie. Reasoning with conditional time-intervals. In FLAIRS Conference, 2008.","title":"Reasoning with conditional time-intervals","authors":"Rogerie Laborie, Philippe Laborie, Jérôme Rogerie","year":"2008","venue":"FLAIRS Conference","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Laborie et al., 2009] Philippe Laborie, Jérôme Rogerie, Paul Shaw, and Petr Vilím. Reasoning with conditional time-intervals. Part II: An algebraical model for resources. In FLAIRS Conference, 2009.","title":"Reasoning with conditional time-intervals. Part II: An algebraical model for resources","authors":"Philippe Laborie, Jérôme Rogerie, Paul Shaw, Petr Vilím","year":"2009","venue":"FLAIRS Conference","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Laborie et al., 2018] Philippe Laborie, Jérôme Rogerie, Paul Shaw, and Petr Vilím. IBM ILOG CP Optimizer for scheduling. Constraints, 23(2):210-250, 2018.","title":"IBM ILOG CP Optimizer for scheduling","authors":"Philippe Laborie, Jérôme Rogerie, Paul Shaw, Petr Vilím","year":"2018","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Mansouri and Pecora, 2016] Masoumeh Mansouri and Fed- erico Pecora. A robot sets a table: a case for hybrid reason- ing with different types of knowledge. Journal of Exper- imental & Theoretical Artificial Intelligence, 28(5):801- 821, 2016.","title":"A robot sets a table: a case for hybrid reasoning with different types of knowledge","authors":"Pecora ; Erico Mansouri, Pecora","year":"2016","venue":"Journal of Experimental & Theoretical Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Nau et al., 2005] Danna S. Nau, Tsz-Chiu Au, Okhtay Il- ghami, Ugur Kuter, Dan Wu, Fusun Yaman, Héctor Muñoz-Ávila, and J. William Murdock. Applications of SHOP and SHOP2. IEEE Intelligent Systems, 20(2):34- 41, 2005.","title":"Applications of SHOP and SHOP2","authors":"Danna S Nau, Tsz-Chiu Au, Okhtay Ilghami, Ugur Kuter, Dan Wu, Fusun Yaman, Héctor Muñoz-Ávila, J William Murdock","year":"2005","venue":"IEEE Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Oddi et al., 2011] Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, and Stephen F. Smith. Applying iterative flatten- ing search to the job shop scheduling problem with alter- native resources and sequence dependent setup times. In Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems, pages 15-22, 2011.","title":"Applying iterative flattening search to the job shop scheduling problem with alternative resources and sequence dependent setup times","authors":"Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F Smith","year":"2011","venue":"Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Perret et al., 2016] Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, and Benoît Tri- quet. Mapping hard real-time applications on many-core processors. In Proceedings of the 24th International Con- ference on Real-Time Networks and Systems, pages 235- 244. ACM, 2016.","title":"Mapping hard real-time applications on many-core processors","authors":"Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, Benoît Triquet","year":"2016","venue":"Proceedings of the 24th International Conference on Real-Time Networks and Systems","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Qi et al., 2017] Chao Qi, Dan Wang, Héctor Muñoz-Ávila, Peng Zhao, and Hongwei Wang. Hierarchical task net- work planning with resources and temporal constraints. Knowledge-Based Systems, 133:17-32, 2017.","title":"Hierarchical task network planning with resources and temporal constraints","authors":"Chao Qi, Dan Wang, Héctor Muñoz-Ávila, Peng Zhao, Hongwei Wang","year":"2017","venue":"Knowledge-Based Systems","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Stock et al., 2015] Sebastian Stock, Masoumeh Mansouri, Federico Pecora, and Joachim Hertzberg. Online task merging with a hierarchical hybrid task planner for mobile service robots. In IEEE/RSJ International Conference on Intelligent Robots and Systems, pages 6459-6464, 2015.","title":"Online task merging with a hierarchical hybrid task planner for mobile service robots","authors":"Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg","year":"2015","venue":"IEEE/RSJ International Conference on Intelligent Robots and Systems","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Tran et al., 2017] Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, and J. Christopher Beck. Robots in retire- ment homes: Applying off-the-shelf planning and schedul- ing to a team of assistive robots. Journal of Artificial In- telligence Research, 58:523-590, 2017.","title":"Robots in retirement homes: Applying off-the-shelf planning and scheduling to a team of assistive robots","authors":"Tony T Tran, Stegun Tiago, Goldie Vaquero, J Christopher Nejat, Beck","year":"2017","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Umbrico et al., 2018] Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, and Andrea Orlandini. Integrat- ing resource management and timeline-based planning. In Proceedings of the 28th International Conference on Au- tomated Planning and Scheduling, pages 264-272, 2018.","title":"Integrating resource management and timeline-based planning","authors":"Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini","year":"2018","venue":"Proceedings of the 28th International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}