Advances in mixed-integer programming methods for chemical production scheduling.

The goal of this paper is to critically review advances in the area of chemical production scheduling over the past three decades and then present two recently proposed solution methods that have led to dramatic computational enhancements. First, we present a general framework and problem classification and discuss modeling and solution methods with an emphasis on mixed-integer programming (MIP) techniques. Second, we present two solution methods: (a) a constraint propagation algorithm that allows us to compute parameters that are then used to tighten MIP scheduling models and (b) a reformulation that introduces new variables, thus leading to effective branching. We also present computational results and an example illustrating how these methods are implemented, as well as the resulting enhancements. We close with a discussion of open research challenges and future research directions.

[1]  R. Sargent,et al.  The optimal operation of mixed production facilities—a general formulation and some approaches for the solution , 1996 .

[2]  Jaime Cerdá,et al.  Dynamic scheduling in multiproduct batch plants , 2003, Comput. Chem. Eng..

[3]  In-Beum Lee,et al.  A novel nonuniform discrete time formulation for short-term scheduling of batch and continuous processes , 2001 .

[4]  Gintaras V. Reklaitis,et al.  Enterprise-wide modeling & optimization - An overview of emerging research challenges and opportunities , 2007, Comput. Chem. Eng..

[5]  Norbert Trautmann,et al.  A continuous-time MILP model for short-term scheduling of make-and-pack production processes , 2013 .

[6]  Christodoulos A. Floudas,et al.  Continuous-Time Optimization Approach for Medium-Range Production Scheduling of a Multiproduct Batch Plant , 2002 .

[7]  G. Reklaitis,et al.  Continuous Time Representation Approach to Batch and Continuous Process Scheduling. 1. MINLP Formulation , 1999 .

[8]  Matthew H. Bassett,et al.  Decomposition techniques for the solution of large-scale scheduling problems , 1996 .

[9]  Marshall L. Fisher,et al.  The Lagrangian Relaxation Method for Solving Integer Programming Problems , 2004, Manag. Sci..

[10]  Ignacio E. Grossmann,et al.  New General Continuous-Time State−Task Network Formulation for Short-Term Scheduling of Multipurpose Batch Plants , 2003 .

[11]  Gabriela P. Henning,et al.  A novel network-based continuous-time representation for process scheduling: Part I. Main concepts and mathematical formulation , 2009, Comput. Chem. Eng..

[12]  L. Puigjaner,et al.  An Efficient Mixed-Integer Linear Programming Scheduling Framework for Addressing Sequence-Dependent Setup Issues in Batch Plants , 2009 .

[13]  Christos T. Maravelias,et al.  Modeling of Storage in Batching and Scheduling of Multistage Processes , 2008 .

[14]  Christos T. Maravelias,et al.  Polyhedral results for discrete-time production planning MIP formulations for continuous processes , 2009, Comput. Chem. Eng..

[15]  Pedro M. Castro,et al.  Simultaneous Batching and Scheduling of Single Stage Batch Plants with Parallel Units , 2008 .

[16]  Ralph E. Gomory,et al.  An algorithm for integer solutions to linear programs , 1958 .

[17]  Yves Dallery,et al.  Scheduling of loading and unloading of crude oil in a refinery using event-based discrete time formulation , 2009, Comput. Chem. Eng..

[18]  John N. Hooker,et al.  Integrated methods for optimization , 2011, International series in operations research and management science.

[19]  C. Maravelias,et al.  Scheduling of Multistage Batch Processes under Utility Constraints , 2009 .

[20]  Chang-Ling Chen,et al.  Optimal short-term scheduling of multiproduct single-stage batch plants with parallel lines , 2002 .

[21]  I. Grossmann,et al.  A Mixed-Integer Linear Programming Model for Short-Term Scheduling of Single-Stage Multiproduct Batch Plants with Parallel Lines , 1997 .

[22]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[23]  Christos T. Maravelias,et al.  Reformulations and Branching Methods for Mixed-Integer Programming Chemical Production Scheduling Models , 2013 .

[24]  Christos T. Maravelias,et al.  Simultaneous Batching and Scheduling in Multistage Multiproduct Processes , 2008 .

[25]  F. Blomer,et al.  LP-based heuristics for scheduling chemical batch processes , 2000 .

[26]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988, Wiley interscience series in discrete mathematics and optimization.

[27]  Christos T. Maravelias,et al.  Integration of production planning and scheduling: Overview, challenges and opportunities , 2009, Comput. Chem. Eng..

[28]  Christos T. Maravelias,et al.  A General Framework for Process Scheduling , 2011 .

[29]  Christos T. Maravelias,et al.  A state-space model for chemical production scheduling , 2012, Comput. Chem. Eng..

[30]  Ignacio E. Grossmann,et al.  A hybrid MILP/CP decomposition approach for the continuous time scheduling of multipurpose batch plants , 2004, Comput. Chem. Eng..

[31]  Luis Puigjaner,et al.  MIP-based decomposition strategies for large-scale scheduling problems in multiproduct multistage batch plants: A benchmark scheduling problem of the pharmaceutical industry , 2010, Eur. J. Oper. Res..

[32]  R. J. Dakin,et al.  A tree-search algorithm for mixed integer programming problems , 1965, Comput. J..

[33]  Christos T. Maravelias,et al.  Multiple and nonuniform time grids in discrete-time MIP models for chemical production scheduling , 2013, Comput. Chem. Eng..

[34]  Philippe Baptiste,et al.  Constraint - based scheduling : applying constraint programming to scheduling problems , 2001 .

[35]  Martin W. P. Savelsbergh,et al.  Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition , 2000, INFORMS J. Comput..

[36]  B. A. Calfa,et al.  Hybrid Bilevel-Lagrangean Decomposition Scheme for the Integration of Planning and Scheduling of a Network of Batch Plants , 2013 .

[37]  Pedro M. Castro,et al.  New Continuous-Time MILP Model for the Short-Term Scheduling of Multistage Batch Plants , 2005 .

[38]  Ignacio E. Grossmann,et al.  Assignment and sequencing models for thescheduling of process systems , 1998, Ann. Oper. Res..

[39]  Christos T. Maravelias,et al.  A branch-and-bound algorithm for the solution of chemical production scheduling MIP models using parallel computing , 2013, Comput. Chem. Eng..

[40]  Olaf Stursberg,et al.  Scheduling of multi-product batch plants based upon timed automata models , 2008, Comput. Chem. Eng..

[41]  Egon Balas,et al.  The Shifting Bottleneck Procedure for Job Shop Scheduling , 1988 .

[42]  P. Castro,et al.  Two New Continuous-Time Models for the Scheduling of Multistage Batch Plants with Sequence Dependent Changeovers , 2006 .

[43]  Laurence A. Wolsey,et al.  Production Planning by Mixed Integer Programming , 2010 .

[44]  Gabriela P. Henning,et al.  A novel network-based continuous-time representation for process scheduling: Part II. General framework , 2009, Comput. Chem. Eng..

[45]  Christos T. Maravelias,et al.  Simultaneous Batching and Scheduling Using Dynamic Decomposition on a Grid , 2009, INFORMS J. Comput..

[46]  J. Carlier,et al.  An algorithm for solving the job-shop problem , 1989 .

[47]  C. Maravelias,et al.  Computational Study of Network-Based Mixed-Integer Programming Approaches for Chemical Production Scheduling , 2011 .

[48]  J. Hooker,et al.  Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction , 2000 .

[49]  Hartmut Stadtler,et al.  Supply chain management and advanced planning--basics, overview and challenges , 2005, Eur. J. Oper. Res..

[50]  Jacques F. Benders,et al.  Partitioning procedures for solving mixed-variables programming problems , 2005, Comput. Manag. Sci..

[51]  J. Shapiro Modeling the Supply Chain , 2000 .

[52]  Christos T. Maravelias,et al.  A decomposition framework for the scheduling of single- and multi-stage processes , 2006, Comput. Chem. Eng..

[53]  Iftekhar A. Karimi,et al.  An Improved MILP Formulation for Scheduling Multiproduct, Multistage Batch Plants , 2003 .

[54]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[55]  Ignacio E. Grossmann,et al.  Time representations and mathematical models for process scheduling problems , 2011, Comput. Chem. Eng..

[56]  C. Floudas,et al.  Effective Continuous-Time Formulation for Short-Term Scheduling. 1. Multipurpose Batch Processes , 1998 .

[57]  Danielle Zyngier,et al.  Hierarchical decomposition heuristic for scheduling: Coordinated reasoning for decentralized and distributed decision-making problems , 2008, Comput. Chem. Eng..

[58]  C. Pantelides,et al.  A simple continuous-time process scheduling formulation and a novel solution algorithm , 1996 .

[59]  Christos T. Maravelias,et al.  Batch selection, assignment and sequencing in multi-stage multi-product processes , 2008, Comput. Chem. Eng..

[60]  R. Sargent,et al.  A general algorithm for short-term scheduling of batch operations—II. Computational issues , 1993 .

[61]  William J. Cook,et al.  Solution of a Large-Scale Traveling-Salesman Problem , 1954, 50 Years of Integer Programming.

[62]  Michael T. M. Emmerich,et al.  Engineered versus standard evolutionary algorithms: A case study in batch scheduling with recourse , 2008, Comput. Chem. Eng..

[63]  Ignacio E. Grossmann,et al.  Part II. Future perspective on optimization , 2004, Comput. Chem. Eng..

[64]  I. Grossmann,et al.  MILP model for scheduling and design of a special class of multipurpose batch plants , 1996 .

[65]  Elisabet Capón-García,et al.  Material Transfer Operations in Batch Scheduling. A Critical Modeling Issue , 2008 .

[66]  Rainer E. Burkard,et al.  Review, extensions and computational comparison of MILP formulations for scheduling of batch processes , 2005, Comput. Chem. Eng..

[67]  Jaime Cerdá,et al.  An MILP continuous-time approach to short-term scheduling of resource-constrained multistage flowshop batch facilities , 2001 .

[68]  Christos T. Maravelias,et al.  Valid Inequalities Based on Demand Propagation for Chemical Production Scheduling MIP Models , 2013 .

[69]  Iftekhar A. Karimi,et al.  A simpler better slot-based continuous-time formulation for short-term scheduling in multipurpose batch plants , 2005 .

[70]  Nilay Shah,et al.  RTN-based rolling horizon algorithms for medium term scheduling of multipur-pose plants , 1997 .

[71]  Dan Wu,et al.  Decomposition approaches for the efficient solution of short-term scheduling problems , 2003, Comput. Chem. Eng..

[72]  Christodoulos A. Floudas,et al.  Effective Continuous-Time Formulation for Short-Term Scheduling. 2. Continuous and Semicontinuous Processes , 1998 .

[73]  Iiro Harjunkoski,et al.  An MILP-Based reordering algorithm for complex industrial scheduling and rescheduling , 2001 .

[74]  Jaime Cerdá,et al.  State-of-the-art review of optimization methods for short-term scheduling of batch processes , 2006, Comput. Chem. Eng..

[75]  Yves Pochet,et al.  A tighter continuous time formulation for the cyclic scheduling of a mixed plant , 2008, Comput. Chem. Eng..

[76]  Jaime Cerdá,et al.  An MILP Continuous-Time Framework for Short-Term Scheduling of Multipurpose Batch Processes Under Different Operation Strategies , 2003 .

[77]  Nilay Shah,et al.  Improving the efficiency of discrete time scheduling formulation , 1998 .

[78]  Sebastian Engell,et al.  Optimal operation: Scheduling, advanced control and their integration , 2012, Comput. Chem. Eng..

[79]  Sebastian Engell,et al.  Hybrid evolutionary optimization of the operation of pipeless plants , 2010, J. Heuristics.

[80]  A. Barbosa‐Póvoa,et al.  An Improved RTN Continuous-Time Formulation for the Short-term Scheduling of Multipurpose Batch Plants , 2001 .

[81]  Ignacio E. Grossmann,et al.  Enterprise‐wide optimization: A new frontier in process systems engineering , 2005 .

[82]  Ignacio E. Grossmann,et al.  On the relation of continuous‐ and discrete‐time state–task network formulations , 2006 .

[83]  Christodoulos A. Floudas,et al.  Enhanced Continuous-Time Unit-Specific Event-Based Formulation for Short-Term Scheduling of Multipurpose Batch Processes: Resource Constraints and Mixed Storage Policies. , 2004 .

[84]  Robert E. Bixby,et al.  Progress in computational mixed integer programming—A look back from the other side of the tipping point , 2007, Ann. Oper. Res..

[85]  N. Giannelos,et al.  A novel event-driven formulation for short-term scheduling of multipurpose continuous processes , 2002 .

[86]  Christodoulos A. Floudas,et al.  Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review , 2004, Comput. Chem. Eng..

[87]  Elisabet Capón-García,et al.  An Extended Formulation for the Flexible Short-Term Scheduling of Multiproduct Semicontinuous Plants , 2009 .

[88]  J. M. Pinto,et al.  A Continuous Time Mixed Integer Linear Programming Model for Short Term Scheduling of Multistage Batch Plants , 1995 .

[89]  Jaime Cerdá,et al.  Optimal scheduling of batch plants satisfying multiple product orders with different due-dates , 2000 .

[90]  Christos T. Maravelias,et al.  Mixed-Time Representation for State-Task Network Models , 2005 .

[91]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[92]  G. V. Reklaitis,et al.  Continuous Time Representation Approach to Batch and Continuous Process Scheduling. 2. Computational Issues , 1999 .

[93]  Christos T. Maravelias,et al.  Mixed-Integer Programming Model and Tightening Methods for Scheduling in General Chemical Production Environments , 2013 .

[94]  Iiro Harjunkoski,et al.  Integration of scheduling and control - Theory or practice? , 2009, Comput. Chem. Eng..

[95]  Jeffrey D. Kelly,et al.  Multi-Product Inventory Logistics Modeling in the Process Industries , 2009 .

[96]  Christos T. Maravelias,et al.  General framework and modeling approach classification for chemical production scheduling , 2012 .

[97]  Andres F. Merchan,et al.  Tightening methods for continuous‐time mixed‐integer programming models for chemical production scheduling , 2013 .

[98]  R. Sargent,et al.  A general algorithm for short-term scheduling of batch operations */I , 1993 .

[99]  Iftekhar A. Karimi,et al.  Scheduling multistage, multiproduct batch plants with nonidentical parallel units and unlimited intermediate storage , 2007 .

[100]  Michael C. Ferris,et al.  Grid-Enabled Optimization with GAMS , 2009, INFORMS J. Comput..

[101]  Christos T. Maravelias On the combinatorial structure of discrete-time MIP formulations for chemical production scheduling , 2012, Comput. Chem. Eng..

[102]  Ignacio E. Grossmann,et al.  Decomposition techniques for multistage scheduling problems using mixed-integer and constraint programming methods , 2002 .

[103]  Iftekhar A. Karimi,et al.  Resource-constrained scheduling of parallel production lines using asynchronous slots , 2003 .

[104]  R. Haupt,et al.  A survey of priority rule-based scheduling , 1989 .

[105]  Laurence A. Wolsey,et al.  Production Planning by Mixed Integer Programming (Springer Series in Operations Research and Financial Engineering) , 2006 .

[106]  Yu Liu,et al.  Novel continuous-time formulations for scheduling multi-stage batch plants with identical parallel units , 2007, Comput. Chem. Eng..

[107]  Donald E. Shobrys,et al.  Planning, scheduling and control systems: why cannot they work together , 2000 .

[108]  John N. Hooker,et al.  Logic, Optimization, and Constraint Programming , 2002, INFORMS J. Comput..

[109]  Martin W. P. Savelsbergh,et al.  Integer-Programming Software Systems , 2005, Ann. Oper. Res..

[110]  Josef Kallrath,et al.  Planning and scheduling in the process industry , 2002, OR Spectr..

[111]  G. Nemhauser,et al.  Integer Programming , 2020 .

[112]  Jie Li,et al.  A novel approach to scheduling multipurpose batch plants using unit-slots , 2009 .

[113]  Joseph F. Pekny,et al.  Application of distributed computing to batch plant design and scheduling , 1996 .

[114]  I. Grossmann,et al.  Reformulation of multiperiod MILP models for planning and scheduling of chemical processes , 1991 .

[115]  Christodoulos A. Floudas,et al.  Improving unit-specific event based continuous-time approaches for batch processes: Integrality gap and task splitting , 2008, Comput. Chem. Eng..

[116]  Lazaros G. Papageorgiou,et al.  A hybrid MILP/CLP algorithm for multipurpose batch process scheduling , 2005, Comput. Chem. Eng..

[117]  Ignacio E. Grossmann,et al.  Minimization of the Makespan with a Discrete-Time State−Task Network Formulation , 2003 .

[118]  A. Land,et al.  An Automatic Method for Solving Discrete Programming Problems , 1960, 50 Years of Integer Programming.

[119]  Ignacio E. Grossmann,et al.  A general continuous state task network formulation for short term scheduling of multipurpose batch plants with due dates , 2003 .

[120]  C. Pantelides,et al.  Optimal Campaign Planning/Scheduling of Multipurpose Batch/Semicontinuous Plants. 2. A Mathematical Decomposition Approach , 1996 .

[121]  C. Floudas,et al.  Novel Unified Modeling Approach for Short-Term Scheduling , 2009 .

[122]  H. Ku,et al.  Scheduling in serial multiproduct batch processes with finite interstage storage: mixed integer linear program formulation , 1988 .