PAROC—An integrated framework and software platform for the optimisation and advanced model-based control of process systems

Abstract In this paper we present the main foundations and features of an integrated framework and software platform that enables the use of model-based tools in design, operational optimisation and advanced control studies. A step-wise procedure is outlined involving (i) the development of a high-fidelity dynamic model, and its validation and model analysis, (ii) a model approximation step, including system identification, model reduction and global sensitivity analysis, (iii) a receding horizon modelling step for model-predictive control (MPC) and reactive scheduling, (iv) a suite of multi-parametric programming techniques for optimisation under uncertainty, explicit/multi-parametric MPC and state-estimation and (v) an ‘in-silico’ validation step for the derived optimisation, control and/or scheduling strategies to be analysed within the original high-fidelity model. The proposed software platform, PAROC, is also introduced and demonstrated in three different classes of process systems engineering applications; a combined heat and power energy system, a distillation column and a periodic purification process for biopharmaceuticals.

[1]  Cleo Kontoravdi,et al.  Application of Global Sensitivity Analysis to Determine Goals for Design of Experiments: An Example Study on Antibody‐Producing Cell Cultures , 2008, Biotechnology progress.

[2]  Manfred Morari,et al.  Max-min control problems for constrained discrete time systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[3]  François Maréchal,et al.  Power and cogeneration technology environomic performance typification in the context of CO2 abatement part II: Combined heat and power cogeneration , 2010 .

[4]  Michael Nikolaou,et al.  Chance‐constrained model predictive control , 1999 .

[5]  H. H. Lee,et al.  Integrated Approach to Design and Control of a Class of Countercurrent Processes , 1972 .

[6]  Efstratios N. Pistikopoulos,et al.  Systematic development of predictive mathematical models for animal cell cultures , 2010, Comput. Chem. Eng..

[7]  David Q. Mayne,et al.  Optimal Control of Constrained Piecewise Affine Discrete-Time Systems , 2003, Comput. Optim. Appl..

[8]  Zukui Li,et al.  A New Methodology for the General Multiparametric Mixed-Integer Linear Programming (MILP) Problems , 2007 .

[9]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[10]  Alberto Bemporad,et al.  A Decomposition Algorithm for Feedback Min-Max Model Predictive Control , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[11]  Iftekhar A. Karimi,et al.  Parametric optimization with uncertainty on the left hand side of linear programs , 2014, Comput. Chem. Eng..

[12]  Dale E. Seborg,et al.  Dyanmic compartmental models for separation processes , 1986 .

[13]  E. Pistikopoulos,et al.  Empowering the Performance of Advanced NMPC by Multiparametric Programming—An Application to a PEM Fuel Cell System , 2013 .

[14]  R. Sargent,et al.  Solution of a Class of Multistage Dynamic Optimization Problems. 2. Problems with Path Constraints , 1994 .

[15]  Efstratios N. Pistikopoulos,et al.  Simultaneous constrained Moving Horizon state Estimation and Model Predictive Control by multi-parametric programming , 2010, 49th IEEE Conference on Decision and Control (CDC).

[16]  Efstratios N. Pistikopoulos,et al.  An algorithm for robust explicit/multi-parametric model predictive control , 2013, Autom..

[17]  I. Sobola,et al.  Global sensitivity indices for nonlinear mathematical models and their Monte Carlo estimates , 2001 .

[18]  K. Papalexandri,et al.  A Parametric Mixed-Integer Optimization Algorithm for Multiobjective Engineering Problems Involving Discrete Decisions , 1998 .

[19]  Efstratios N. Pistikopoulos,et al.  A branch and bound method for the solution of multiparametric mixed integer linear programming problems , 2014, J. Glob. Optim..

[20]  Efstratios N. Pistikopoulos,et al.  Comprar Process Systems Engineering: Volume 2: Multi-Parametric Model-Based Control | Efstratios Pistikopoulos | 9783527316922 | Wiley , 2007 .

[21]  Efstratios N. Pistikopoulos,et al.  Optimal grade transition campaign scheduling in a gas-phase polyolefin FBR using mixed integer dynamic optimization , 2003 .

[22]  Jay H. Lee,et al.  Min-max predictive control techniques for a linear state-space system with a bounded set of input matrices , 2000, Autom..

[23]  Efstratios N. Pistikopoulos,et al.  A Framework for Design and Control Optimisation , 2014 .

[24]  Alberto Bemporad,et al.  Model predictive control based on linear programming - the explicit solution , 2002, IEEE Transactions on Automatic Control.

[25]  Efstratios N. Pistikopoulos,et al.  Dynamic optimization and robust explicit model predictive control of hydrogen storage tank , 2010, Comput. Chem. Eng..

[26]  K. Malanowski,et al.  Error bounds for euler approximation of a state and control constrained optimal control problem , 2000 .

[27]  E. Pistikopoulos,et al.  Explicit solutions to optimal control problems for constrained continuous-time linear systems , 2005 .

[28]  S. Mariethoz,et al.  High-Bandwidth Explicit Model Predictive Control of Electrical Drives , 2012, IEEE Transactions on Industry Applications.

[29]  E. Kreindler.  Additional necessary conditions for optimal control with state-variable inequality constraints , 1982 .

[30]  A. Fiacco,et al.  Sensitivity and stability analysis for nonlinear programming , 1991 .

[31]  Marianthi G. Ierapetritou,et al.  Process scheduling under uncertainty using multiparametric programming , 2007 .

[32]  Efstratios N. Pistikopoulos,et al.  Reactive Scheduling by a Multiparametric Programming Rolling Horizon Framework: A Case of a Network of Combined Heat and Power Units , 2014 .

[33]  Efstratios N. Pistikopoulos,et al.  An Industrial Case Study in Simultaneous Design and Control using Mixed-Integer Dynamic Optimization , 2002 .

[34]  Efstratios N. Pistikopoulos,et al.  An algorithm for multiparametric mixed-integer linear programming problems , 1999, Oper. Res. Lett..

[35]  Alessandro Astolfi,et al.  Robust multi-parametric model predictive control for LPV systems with application to anaesthesia , 2014 .

[36]  Evanghelos Zafiriou,et al.  Robust Model Predictive Control of Processes with Hard Constraints. , 1990 .

[37]  Antonio Flores-Tlacuahuac,et al.  Simultaneous mixed-integer dynamic optimization for integrated design and control , 2007, Comput. Chem. Eng..

[38]  T. Badgwell.  Robust model predictive control of stable linear systems , 1997 .

[39]  Efstratios N. Pistikopoulos,et al.  An energy systems engineering approach for the design and operation of microgrids in residential applications , 2013 .

[40]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[41]  T. Edgar,et al.  Controllability and observability covariance matrices for the analysis and order reduction of stable nonlinear systems , 2003 .

[42]  E. Pistikopoulos,et al.  A multiparametric programming approach for linear process engineering problems under uncertainty , 1997 .

[43]  Youpan Han,et al.  Continuity of parametric mixed-integer quadratic programs and its application to stability analysis of two-stage quadratic stochastic programs with mixed-integer recourse , 2015 .

[44]  John B. Heywood,et al.  Internal combustion engine fundamentals , 1988 .

[45]  Efstratios N. Pistikopoulos,et al.  Combined model approximation techniques and multiparametric programming for explicit nonlinear model predictive control , 2012, Comput. Chem. Eng..

[46]  Michael Nikolaou,et al.  A parametric programming approach to moving-horizon state estimation , 2007, Autom..

[47]  M. Morbidelli,et al.  Online control of the twin-column countercurrent solvent gradient process for biochromatography. , 2013, Journal of chromatography. A.

[48]  J. Maciejowski,et al.  Feedback min‐max model predictive control using a single linear program: robust stability and the explicit solution , 2004 .

[49]  Efstratios N. Pistikopoulos,et al.  A parametric MINLP algorithm for process synthesis problems under uncertainty , 1996 .

[50]  Sorin Olaru,et al.  Robustification of explicit predictive control laws , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[51]  Efstratios N. Pistikopoulos,et al.  Simultaneous reduced order multi-parametric moving horizon estimation and model based control , 2013 .

[52]  J. D. Perkins,et al.  A case study in simultaneous design and control using rigorous, mixed-integer dynamic optimization models , 2002 .

[53]  Eduardo F. Camacho,et al.  Efficient implementation of constrained min–max model predictive control with bounded uncertainties: a vertex rejection approach , 2005 .

[54]  Francis J. Doyle,et al.  Control‐relevant scheduling of polymer grade transitions , 2002 .

[55]  J. G. Evans,et al.  Postoptimal Analyses, Parametric Programming, and Related Topics , 1979 .

[56]  Efstratios N. Pistikopoulos,et al.  A framework for the design, modeling and optimization of biomedical systems , 2014 .

[57]  Efstratios N. Pistikopoulos,et al.  Optimization of Insulin Dosing in Patients with Type 1 Diabetes Mellitus , 2014 .

[58]  Efstratios N. Pistikopoulos,et al.  Simultaneous design and control optimisation under uncertainty , 2000 .

[59]  Alberto Bemporad,et al.  Piecewise linear optimal controllers for hybrid systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[60]  Efstratios N. Pistikopoulos,et al.  Recent advances in optimization-based simultaneous process and control design , 2004, Comput. Chem. Eng..

[61]  Efstratios N. Pistikopoulos,et al.  Constrained dynamic programming of mixed-integer linear problems by multi-parametric programming , 2014, Comput. Chem. Eng..

[62]  Efstratios N. Pistikopoulos,et al.  Approximate solution of mp-MILP problems using piecewise affine relaxation of bilinear terms , 2014, Comput. Chem. Eng..

[63]  Manfred Morari,et al.  Optimizing model predictive control of the chromatographic multi-column solvent gradient purification (MCSGP) process , 2010 .

[64]  E. Pistikopoulos,et al.  Proactive scheduling of batch processes by a combined robust optimization and multiparametric programming approach , 2013 .

[65]  Massimo Morbidelli,et al.  Chromatographic separation of three monoclonal antibody variants using multicolumn countercurrent solvent gradient purification (MCSGP) , 2008, Biotechnology and Bioengineering.

[66]  Helmut Maurer,et al.  Sensitivity Analysis for Optimal Control Problems Subject to Higher Order State Constraints , 2001, Ann. Oper. Res..

[67]  A. Saltelli,et al.  Importance measures in global sensitivity analysis of nonlinear models , 1996 .

[68]  Efstratios N. Pistikopoulos,et al.  Modeling and Analysis of Individualized Pharmacokinetics and Pharmacodynamics for Volatile Anesthesia , 2014, IEEE Transactions on Biomedical Engineering.

[69]  Manfred Morari,et al.  A parametric branch and bound approach to suboptimal explicit hybrid MPC , 2014, Autom..

[70]  Lorenz T. Biegler,et al.  Convergence rates for direct transcription of optimal control problems using collocation at Radau points , 2008, Comput. Optim. Appl..

[71]  H. Rabitz,et al.  Practical Approaches To Construct RS-HDMR Component Functions , 2002 .

[72]  E. Pistikopoulos,et al.  A multiparametric programming approach for mixed-integer quadratic engineering problems , 2002 .

[73]  Efstratios N. Pistikopoulos,et al.  Optimal synthesis and design of dynamic systems under uncertainty , 1996 .

[74]  Ignacio E. Grossmann,et al.  Simultaneous Cyclic Scheduling and Control of a Multiproduct CSTR Reactor , 2006 .

[75]  Zhenghong Yu,et al.  Worst-case formulations of model predictive control for systems with bounded parameters , 1997, Autom..

[76]  Efstratios N. Pistikopoulos,et al.  A Monte-Carlo based model approximation technique for linear model predictive control of nonlinear systems , 2013, Comput. Chem. Eng..

[77]  Manfred Morari,et al.  Robust Model Predictive Control , 1987, 1987 American Control Conference.

[78]  J.A. De Dona,et al.  Finitely parameterised implementation of receding horizon control for constrained linear systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[79]  Efstratios N. Pistikopoulos,et al.  Perspectives in Multiparametric Programming and Explicit Model Predictive Control , 2009 .

[80]  Efstratios N. Pistikopoulos,et al.  Unconstrained Moving Horizon Estimation and simultaneous Model Predictive Control by multi-parametric programming , 2010 .

[81]  Ignacio E. Grossmann,et al.  An effective MIDO approach for the simultaneous cyclic scheduling and control of polymer grade transition operations , 2006 .

[82]  Efstratios N. Pistikopoulos,et al.  Dynamic modeling and explicit/multi-parametric MPC control of pressure swing adsorption systems , 2011 .

[83]  Alberto Bemporad,et al.  An algorithm for multi-parametric quadratic programming and explicit MPC solutions , 2003, Autom..

[84]  I. Sobol.  On the distribution of points in a cube and the approximate evaluation of integrals , 1967 .

[85]  Anthony V. Fiacco,et al.  Computable bounds on parametric solutions of convex problems , 1988, Math. Program..

[86]  Christos T. Maravelias,et al.  Integration of control theory and scheduling methods for supply chain management , 2013, Comput. Chem. Eng..

[87]  Diogo A. Narciso,et al.  A combined Balanced Truncation and multi-parametric programming approach for Linear Model Predictive Control , 2008 .

[88]  A. Fiacco,et al.  Convexity and concavity properties of the optimal value function in parametric nonlinear programming , 1983 .

[89]  Wolfgang Marquardt,et al.  A two-layer architecture for economically optimal process control and operation , 2011 .

[90]  Berç Rustem,et al.  Parametric global optimisation for bilevel programming , 2007, J. Glob. Optim..

[91]  Manfred Morari,et al.  Efficient online solution of multi-parametric mixed-integer quadratic problems , 2013, Int. J. Control.

[92]  Efstratios N. Pistikopoulos,et al.  New algorithms for mixed-integer dynamic optimization , 2003, Comput. Chem. Eng..

[93]  Ruzhu Wang,et al.  COMBINED COOLING, HEATING AND POWER: A REVIEW , 2006 .

[94]  Michael C. Georgiadis,et al.  Combining Multi-Parametric Programming and NMPC for the Efficient Operation of a PEM Fuel Cell , 2013 .

[95]  Rüdiger Franke,et al.  Production campaign planning including grade transition sequencing and dynamic optimization , 2005, Comput. Chem. Eng..

[96]  Lino Guzzella,et al.  Introduction to Modeling and Control of Internal Combustion Engine Systems , 2004 .

[97]  L. Biegler,et al.  Advances in simultaneous strategies for dynamic process optimization , 2002 .

[98]  Efstratios N. Pistikopoulos,et al.  A parametric mixed-integer global optimization framework for the solution of process engineering problems under uncertainty , 1999 .

[99]  Fei He,et al.  Sensitivity analysis and robust experimental design of a signal transduction pathway system , 2008 .

[100]  Rafiqul Gani,et al.  State‐of‐the‐art and progress in the optimization‐based simultaneous design and control for chemical processes , 2012 .

[101]  Marianthi G. Ierapetritou,et al.  Reactive scheduling using parametric programming , 2008 .

[102]  M. Ierapetritou,et al.  Integration of scheduling and control for batch processes using multi‐parametric model predictive control , 2014 .

[103]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[104]  Efstratios N. Pistikopoulos,et al.  Model-based blood glucose control for type 1 diabetes via parametric programming , 2006, IEEE Transactions on Biomedical Engineering.

[105]  A. Polyanin,et al.  Handbook of Exact Solutions for Ordinary Differential Equations , 1995 .

[106]  Harry Zheng,et al.  Necessary conditions for optimal control problems with state constraints , 1998 .

[107]  Boxin Tang.  Orthogonal Array-Based Latin Hypercubes , 1993 .

[108]  Efstratios N. Pistikopoulos,et al.  Design of robust model-based controllers via parametric programming , 2004, Autom..

[109]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[110]  M. Diehl,et al.  Real-time optimization and nonlinear model predictive control of processes governed by differential-algebraic equations , 2000 .

[111]  G. McRae,et al.  Parametric optimization of MILP programs and a framework for the parametric optimization of MINLPs , 1998 .

[112]  Alberto Bemporad,et al.  Min-max control of constrained uncertain discrete-time linear systems , 2003, IEEE Trans. Autom. Control..

[113]  Efstratios N. Pistikopoulos,et al.  A dynamic programming based approach for explicit model predictive control of hybrid systems , 2015, Comput. Chem. Eng..

[114]  Eduardo F. Camacho,et al.  Constrained Model Predictive Control , 2007 .

[115]  Efstratios N. Pistikopoulos,et al.  An Algorithm for the Solution of Multiparametric Mixed Integer Linear Programming Problems , 2000, Ann. Oper. Res..

[116]  Efstratios N. Pistikopoulos,et al.  Multi-parametric model-based control : theory and applications , 2007 .

[117]  Frank Lemke,et al.  Self-organizing modelling and decision support in economics , 1995 .

[118]  Efstratios N. Pistikopoulos,et al.  Optimal grade transition and selection of closed-loop controllers in a gas-phase olefin polymerization fluidized bed reactor , 2003 .

[119]  E. Pistikopoulos,et al.  A Two-Stage Method for the Approximate Solution of General Multiparametric Mixed-Integer Linear Programming Problems , 2012 .

[120]  Massimo Morbidelli,et al.  A continuous multicolumn countercurrent solvent gradient purification (MCSGP) process , 2007, Biotechnology and bioengineering.

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

[122]  Michael C. Georgiadis,et al.  Modelling and explicit model predictive control for PEM fuel cell systems , 2012 .

[123]  Efstratios N. Pistikopoulos,et al.  Multi-Parametric Model-Based Control: Volume 2: Theory and Applications , 2007 .

[124]  Efstratios N. Pistikopoulos,et al.  Explicit Robust Model Predictive Control , 2009 .

[125]  Jose Alvarez-Ramirez,et al.  Semiglobal stabilization of linear systems using constrained controls: a parametric optimization approach , 1999 .

[126]  Petar Sabev Varbanov,et al.  Multi-parametric Control and Optimisation of a Small Scale Chp , 2010 .

[127]  Efstratios N. Pistikopoulos,et al.  Design optimization of an internal combustion engine powered CHP system for residential scale application , 2014, Comput. Manag. Sci..

[128]  Helmut Maurer,et al.  Computational Sensitivity Analysis for State Constrained Optimal Control Problems , 2001, Ann. Oper. Res..

[129]  Thomas F. Edgar,et al.  An improved method for nonlinear model reduction using balancing of empirical gramians , 2002 .

[130]  K. Kouramas,et al.  Simultaneous State Estimation and Model Predictive Control by Multi-Parametric Programming , 2010 .

[131]  Colin Neil Jones,et al.  On the facet-to-facet property of solutions to convex parametric quadratic programs , 2006, Autom..

[132]  T. Alamo,et al.  Efficient implementation of constrained min-max model predictive control with bounded uncertainties , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[133]  Alejandro Crema,et al.  An algorithm to perform a complete parametric analysis relative to the constraint matrix for a 0-1-integer linear program , 2002, Eur. J. Oper. Res..

[134]  Alberto Bemporad,et al.  The explicit linear quadratic regulator for constrained systems , 2003, Autom..

[135]  Jiří Jaromír Klemeš,et al.  Explicit/Multi-Parametric Model Predictive Control of a Solid Oxide Fuel Cell , 2011 .

[136]  Victor M. Zavala,et al.  Large-scale nonlinear programming using IPOPT: An integrating framework for enterprise-wide dynamic optimization , 2009, Comput. Chem. Eng..

[137]  Efstratios N. Pistikopoulos,et al.  Optimization and Control of Pressure Swing Adsorption Processes Under Uncertainty , 2013 .

[138]  Michael Baldea,et al.  Integrated production scheduling and process control: A systematic review , 2014, Comput. Chem. Eng..

[139]  Romain Lambert.  Approximation methodologies for explicit model predictive control of complex systems , 2013 .

[140]  David Q. Mayne,et al.  Robust time-optimal control of constrained linear Systems , 1997, Autom..

[141]  Ioannis K. Kookos,et al.  An Algorithm for Simultaneous Process Design and Control , 2001 .

[142]  Efstratios N. Pistikopoulos,et al.  Proactive Scheduling under Uncertainty : A Parametric Optimization Approach , 2007 .

[143]  Michael C. Georgiadis,et al.  Multi-Parametric Model Predictive Control of an Automated Integrated Fuel Cell Testing Unit , 2011 .

[144]  Rein Luus,et al.  Evaluation of gradients for piecewise constant optimal control , 1991 .

[145]  Arkadi Nemirovski,et al.  Robust solutions of Linear Programming problems contaminated with uncertain data , 2000, Math. Program..

[146]  Efstratios N. Pistikopoulos,et al.  Global Optimization Issues in Multiparametric Continuous and Mixed-Integer Optimization Problems , 2004, J. Glob. Optim..

[147]  Efstratios N. Pistikopoulos,et al.  Theoretical and algorithmic advances in multi-parametric programming and control , 2012, Comput. Manag. Sci..

[148]  Geoff Barton,et al.  Interaction between process design and process control: economic analysis of process dynamics , 1991 .

[149]  H. P. Benson,et al.  Algorithms for parametric nonconvex programming , 1982 .

[150]  Efstratios N. Pistikopoulos,et al.  Parametric controllers in simultaneous process and control design optimization , 2003 .

[151]  Efstratios N. Pistikopoulos,et al.  A novel approach to scheduling of zero-wait batch processes under processing time variations , 2007, Comput. Chem. Eng..

[152]  D. Mayne,et al.  Min-max feedback model predictive control for constrained linear systems , 1998, IEEE Trans. Autom. Control..

[153]  Christodoulos A. Floudas,et al.  Analyzing the interaction of design and control—1. A multiobjective framework and application to binary distillation synthesis , 1994 .

[154]  Efstratios N. Pistikopoulos,et al.  Explicit parametric controller for a batch polymerization system , 2006 .

[155]  Tor Arne Johansen,et al.  Explicit MPC of higher-order linear processes via combinatorial multi-parametric quadratic programming , 2013, 2013 European Control Conference (ECC).

[156]  Efstratios N. Pistikopoulos,et al.  Optimal design and control of an industrial distillation system , 1999 .

[157]  Efstratios N. Pistikopoulos,et al.  Simultaneous Multi-Parametric Model Predictive Control and State Estimation with Application to Distillation Column and Intravenous Anaesthesia , 2014 .

[158]  T. Alamo,et al.  A dynamic programming approach for determining the explicit solution of linear MPC controllers , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[159]  Paola Annoni,et al.  Variance based sensitivity analysis of model output. Design and estimator for the total sensitivity index , 2010, Comput. Phys. Commun..

[160]  T. Gál,et al.  Multiparametric Linear Programming , 1972 .

[161]  Efstratios N. Pistikopoulos,et al.  Global Sensitivity Analysis Challenges in Biological Systems Modeling , 2009 .

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

[163]  Eduardo F. Camacho,et al.  Application of an explicit min-max MPC to a scaled laboratory process , 2005 .

[164]  Efstratios N. Pistikopoulos,et al.  On the global solution of multi-parametric mixed integer linear programming problems , 2012, Journal of Global Optimization.