IFAC PapersOnLine 53-2 (2020) 6957–6962 ScienceDirect ScienceDirect Available online at www.sciencedirect.com 2405-8963 Copyright © 2020 The Authors. This is an open access article under the CC BY-NC-ND license . Peer review under responsibility of International Federation of Automatic Control. 10.1016/j.ifacol.2020.12.413 10.1016/j.ifacol.2020.12.413 2405-8963 Copyright © 2020 The Authors. This is an open access article under the CC BY-NC-ND license ( http://creativecommons.org/licenses/by-nc-nd/4.0 ) A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail: vergar[email protected]du.br, [email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗ Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the A Modifier-Adaptation Approach to the One-Layer Economic MPC Jos´e D. Vergara-Dietrich ∗Victor Mirasierra ∗∗ Antonio Ferramosca ∗∗∗ Julio E. Normey-Rico ∗ Daniel Lim´on ∗∗ ∗Universidade Federal de Santa Catarina, CO 88040-900 Brazil (e-mail:
[email protected],
[email protected]) ∗∗ Departamento de Ingenier´ıa de Sistemas y Autom´atica, Universidad de Sevilla, Escuela Superior de Ingenieros, CO 41092 Spain. (e-mail: {vmirasierra,dlm}@us.es). ∗∗∗ CONICET - UTN FR Reconquista. 27 de Abril, 1000. Reconquista (Santa Fe) Argentina. (email:
[email protected]) Abstract: In this paper, we address the problem of modeling error in economically optimal control. A single layer controller is proposed that integrates the economical part of the Real Time Optimization (RTO), the dynamic part of the Model Predictive Control (MPC) and the Modifier Adaptation strategy (MA), resulting in a controller with the following characteristics: a) recursive feasibility guarantee of the controller ; b) asymptotic closed-loop stability for any change in the economic cost function; c) convergence guarantee to the economic optimum of the real plant (offset-free) for any change in the cost function of the controller; and d) simple implementation of the controller. We show the behaviour of the proposal by means of a motivating example that highlights the performance of the proposed algorithm. Keywords: Model predictive control (MPC). Real-time optimization (RTO). Economic design. Modifier-adaptation. Uncertainty. Nonlinear systems. One-Layer Control. 1. INTRODUCTION Economic optimization and control schemes are in general proposed as a multi-layer hierarchical structure (Findeisen et al., 1980), which divides the optimization problem in order to simplify it. The first layer typically is an economic planner that determines the general parameters of the plant. The next layer uses a so-called Real-Time Optimization 1(RTO) strategy, where the production setpoints are calculated, that is, the operating points that the system must reach to minimize a certain economic criterion, taking into account the information it receives from the planning layer. The setpoints calculated by the RTO are then sent to the advance control level, typically an MPC, which calculates the control actions required to drive the system to the setpoint provided by the RTO. One of the problems with the hierarchical approach is that communication between the RTO and MPC layers can be inconsistent, mainly since the RTO is usually based on a complex nonlinear static plant model, while MPC takes into account a simplified (possibly linear) dynamic model. On the other hand, given the complexity of the This work was supported by FEDER funds, by the MINECO- Spain under project DPI2016-76493-C3-1-R and by the CNPq under project CNPq-305785/2015-0 1RTO is a family of optimization methods that incorporate process measurements in the optimization framework to drive a real process (or plant) to optimal performance, while guaranteeing constraint satisfaction (Marchetti et al., 2016). Commonly, the acronym RTO is used to define the layer that makes use of some RTO strategy. optimization problems that the RTO layer solves, it is common for its sampling time to be larger than the MPC one. One of the implications of this approach is the possibility that a given steady-state provided by the RTO is an unreachable point for the MPC, due to the significant differences between these two the optimization problems, such as the set of constraints, as well as due to model-plant mismatches. To face this problem, the work of Muske (1997) suggests using an intermediate layer between RTO and MPC called Steady-State Target Optimizer (SSTO), which, given a reference provided by the RTO, calculates a feasible stationary point for the MPC, minimizing (typically) a quadratic cost function that penalizes the error with respect to the setpoint provided by the RTO. One of the MPC formulations that faces model inconsistency issues and changes in the system operating points is the so-called MPC for Tracking (MPCT) (Limon et al., 2008). This predictive controller integrates the SSTO layer into its formulation, thus always guaranteing stability, for any change in the setpoint. That is, given a setpoint calculated by the upper RTO layer, MPCT finds a feasible reference for the controller, that is the closest (to that setpoint) steady-state that fulfills the constraints. Another way to address the difficulties of hierarchical control is to consider the so-called Economic MPC formulation (EMPC) (Amrit, 2011; Angeli et al., 2012; Rawlings et al., 2012), which uses the RTO cost function as the
6958 José D. Vergara-Dietrich et al. / IFAC PapersOnLine 53-2 (2020) 6957–6962 dynamic stage cost of the MPC formulation, solving the whole problem in one layer. This approach offers the advantage of calculating not only an optimal stationary point but the optimum trajectory to it, improving the economic optimality of the controller. In (Angeli et al., 2012; Rawlings et al., 2012), the authors prove that if the system is dissipative regarding the cost function, then there exists a Lyapunov function, which makes it possible to ensure that the closed-loop system will be asymptotically stable. Despite the advantage that EMPC offers in aggregating the functionality of RTO and MPC, stability and recursive feasibility may be lost in the event of changes in the costeffective function (Limon et al., 2013; Ferramosca et al., 2014). Based on the contributions of Souza et al. (2010) and Alamo et al. (2012), Limon et al. (2013) proposes an enhanced one-layer MPC strategy by adding a second-order approximation of the RTO cost function to the MPCT cost. Thus, the optimization problem is transformed into a convex problem, requiring only an evaluation of the gradient of the economic cost function at each sampling time. This approach has the advantage of ensuring recursive feasibility and convergence to achieve the economically optimal steady-state of the system. The previously presented control strategies allow one to optimize the performance in case of changing economic cost functions. However, the mismatches between the real plant and the prediction model may prevent convergence of the controlled plant to the optimal operation point of the real plant. A relevant approach that emerged in Real-Time Optimization is a method called Modifier Adaptation (MA), which addresses the problem of modeling error by making corrections to the optimization problem. This is done including modifier terms in the constraints and in the cost function (or in the model), thus allowing the outputs of the model to converge to the actual process (Marchetti et al., 2009). Vaccari and Pannocchia (2017, 2018) discuss the model error problem by proposing an offset-free EMPC controller using the modifier adaptation methodology. Along the same lines of integrating the EMPC controller with the modifier adaptation method, recently Hern´andez and Engell (2019) presented a variation of the work of Vaccari and Pannocchia (2017, 2018) using the modifier adaptation methodology, which uses measures of the transient to calculate the modifiers. The controller proposed in this paper goes in the same direction. It is proposes a design of an offset-free controller based on the MPC for Tracking controller. We extend the work of Limon et al. (2013), taking advantage of its main features: stability guarantees, convergence and recursive feasibility for any change of the controller cost function, even using a linear model of the process (which facilitates the resolution of the optimization problem). The paper is organized as follows: Section 2 states the main problem, and Section 3 presents the gradient-based one-layer MPC controller. Section 4 goes over modifier adaptation methodology and Section 5 explains how can it be used in the one-layer MPC scheme. Section 6 presents a case study analyzing the results. Section 7 draws some conclusions to this work. 2. PROBLEM DEFINITION Let the following optimization problem be the one solved by the RTO min xs,us J(xs,u s,p) (1a) s.t. f(xs,u s) = 0 (1b) h(xs,u s)≤0,(1c) wherein xsand usstand for the state and input that define the optimal stationary state of the plant; Jis the cost function which depends on the RTO parameters p (e.g. the price of raw materials or production costs); (1b) represents the static model of the plant and (1c) gatherss the operational constraints of the plant. In a hierarchical control structure, the RTO provides to the MPC an optimal operating point (xs,u s), given by (1). However, if the economic criterion changes, due to variations of the parameter p, the economically optimal admissible steady state where the controller drives the system may change, and the feasibility of the controller may be lost. To face this problem, Limon et al. (2013) proposed a controller that cope with such an issue and besides integrates the RTO into the MPC control layer. 3. GRADIENT-BASED STRATEGY FOR ONE-LAYER MPCT Assuming that the plant output vector ysuniquely defines a plant equilibrium point, it is possible to represent the equilibrium point as a function of the plant output with xs=gx(ys) and us=gu(ys). Overriding these functions in the RTO optimization problem (1) can be rewritten as min ys feco(ys,p) (2a) s.t. hq(ys)≤0,q∈I1:nh,(2b) where nhis the number of constraints, feco and hqare closely related to J(xs,u s,p), f(xs,u s) and h(xs,u s), but represented by function of ys. The feasible set of this optimization problem is denoted as Yt. The following assumptions hold: Assumption 1. feco and hqare convex functions. Assumption 2. The gradient of feco and the gradient of hq are Lipschitz continuous in Yt. Assumption 3. The solution to the RTO optimization problem is unique. Consider that a certain feasible equilibrium point, zis chosen to calculate an approximation of the feco(y,p) function. Limon et al. (2013) suggests to use a second order Taylor approximation of the feco and hq(y) functions, that is feco(y, p)≤feco(z,p)+∇yfeco(z,p)T(y−z)+ρf 2||y−z||2 (3) and hq(y)≤hq(z)+∇yhq(z)T(y−z)+πq 2||y−z||2,q∈I1:nh (4) for all y ∈Y tand z ∈Y t, with Ytbeing the feasible set of the optimization problem, being ρfand πqLipschitz constants.
José D. Vergara-Dietrich et al. / IFAC PapersOnLine 53-2 (2020) 6957–6962 6959 dynamic stage cost of the MPC formulation, solving the whole problem in one layer. This approach offers the advantage of calculating not only an optimal stationary point but the optimum trajectory to it, improving the economic optimality of the controller. In (Angeli et al., 2012; Rawlings et al., 2012), the authors prove that if the system is dissipative regarding the cost function, then there exists a Lyapunov function, which makes it possible to ensure that the closed-loop system will be asymptotically stable. Despite the advantage that EMPC offers in aggregating the functionality of RTO and MPC, stability and recursive feasibility may be lost in the event of changes in the costeffective function (Limon et al., 2013; Ferramosca et al., 2014). Based on the contributions of Souza et al. (2010) and Alamo et al. (2012), Limon et al. (2013) proposes an enhanced one-layer MPC strategy by adding a second-order approximation of the RTO cost function to the MPCT cost. Thus, the optimization problem is transformed into a convex problem, requiring only an evaluation of the gradient of the economic cost function at each sampling time. This approach has the advantage of ensuring recursive feasibility and convergence to achieve the economically optimal steady-state of the system. The previously presented control strategies allow one to optimize the performance in case of changing economic cost functions. However, the mismatches between the real plant and the prediction model may prevent convergence of the controlled plant to the optimal operation point of the real plant. A relevant approach that emerged in Real-Time Optimization is a method called Modifier Adaptation (MA), which addresses the problem of modeling error by making corrections to the optimization problem. This is done including modifier terms in the constraints and in the cost function (or in the model), thus allowing the outputs of the model to converge to the actual process (Marchetti et al., 2009). Vaccari and Pannocchia (2017, 2018) discuss the model error problem by proposing an offset-free EMPC controller using the modifier adaptation methodology. Along the same lines of integrating the EMPC controller with the modifier adaptation method, recently Hern´andez and Engell (2019) presented a variation of the work of Vaccari and Pannocchia (2017, 2018) using the modifier adaptation methodology, which uses measures of the transient to calculate the modifiers. The controller proposed in this paper goes in the same direction. It is proposes a design of an offset-free controller based on the MPC for Tracking controller. We extend the work of Limon et al. (2013), taking advantage of its main features: stability guarantees, convergence and recursive feasibility for any change of the controller cost function, even using a linear model of the process (which facilitates the resolution of the optimization problem). The paper is organized as follows: Section 2 states the main problem, and Section 3 presents the gradient-based one-layer MPC controller. Section 4 goes over modifier adaptation methodology and Section 5 explains how can it be used in the one-layer MPC scheme. Section 6 presents a case study analyzing the results. Section 7 draws some conclusions to this work. 2. PROBLEM DEFINITION Let the following optimization problem be the one solved by the RTO min xs,us J(xs,u s,p) (1a) s.t. f(xs,u s) = 0 (1b) h(xs,u s)≤0,(1c) wherein xsand usstand for the state and input that define the optimal stationary state of the plant; Jis the cost function which depends on the RTO parameters p (e.g. the price of raw materials or production costs); (1b) represents the static model of the plant and (1c) gatherss the operational constraints of the plant. In a hierarchical control structure, the RTO provides to the MPC an optimal operating point (xs,u s), given by (1). However, if the economic criterion changes, due to variations of the parameter p, the economically optimal admissible steady state where the controller drives the system may change, and the feasibility of the controller may be lost. To face this problem, Limon et al. (2013) proposed a controller that cope with such an issue and besides integrates the RTO into the MPC control layer. 3. GRADIENT-BASED STRATEGY FOR ONE-LAYER MPCT Assuming that the plant output vector ysuniquely defines a plant equilibrium point, it is possible to represent the equilibrium point as a function of the plant output with xs=gx(ys) and us=gu(ys). Overriding these functions in the RTO optimization problem (1) can be rewritten as min ys feco(ys,p) (2a) s.t. hq(ys)≤0,q∈I1:nh,(2b) where nhis the number of constraints, feco and hqare closely related to J(xs,u s,p), f(xs,u s) and h(xs,u s), but represented by function of ys. The feasible set of this optimization problem is denoted as Yt. The following assumptions hold: Assumption 1. feco and hqare convex functions. Assumption 2. The gradient of feco and the gradient of hq are Lipschitz continuous in Yt. Assumption 3. The solution to the RTO optimization problem is unique. Consider that a certain feasible equilibrium point, zis chosen to calculate an approximation of the feco(y,p) function. Limon et al. (2013) suggests to use a second order Taylor approximation of the feco and hq(y) functions, that is feco(y, p)≤feco(z,p)+∇yfeco(z,p)T(y−z)+ρf 2||y−z||2 (3) and hq(y)≤hq(z)+∇yhq(z)T(y−z)+πq 2||y−z||2,q∈I1:nh (4) for all y ∈Y tand z ∈Y t, with Ytbeing the feasible set of the optimization problem, being ρfand πqLipschitz constants. Therefore, the approximated cost function for the proposed MPC can be defined as Va N(x, ˆ d, p;u, xs,u s)= N−1 j=0 ||xj−xs||2 Q+||uj−us||2 R+ feco(z,p)+ ∇yfeco(z,p)T(y−z)+ρf 2||y−z||2 (5) with the convex set defined as Ya t(z)={y:hj(z)+∇yhj(z)T(y−z) +πj 2||y−z||2≤0,j ∈I1:nh(6) such that Ya t(z)⊆Y tfor all z∈Y t. The MPC has a prediction model given by xk+1 =fmpc(xk,u k)=Axk+Buk(7a) yk=Cxk,(7b) where x∈R nis the system state, u∈R mis the control vector and y∈R pis the output variables of the plant, subject to constraints on state and input (xk,u k)∈Z={z∈Rn+m:Azz≤bz},∀k≥0,(8) where the set Zis assumed to be convex, closed and contains the origin in its interior. Therefore, the optimization problem to be solved by the MPC Pa N(x, ˆ d, p) is obtained by replacing the original cost function and constraints with the approximate ones, that is min u,xs,us Va N(x, ˆ d, p;u, xs,u s) (9a) s.t. x0=x, (9b) xj+1 =Axj+Buj+ˆ d, (9c) (xj,u j)∈Z, j =0, ...., N −1,(9d) xs=Axs+Bus+ˆ d, (9e) ys=Cxs+Dus(9f) xN=xs(9g) ys∈Y a t(z).(9h) Solving this optimization problem will provide a feasible point for the MPC as close as possible to the RTO solution. Any estimated incompatibilities between the linear model and the plant can be taken into account by ˆ d. Thus, the original optimization problem is transformed into a convex problem, requiring only an evaluation of the economic cost function gradient at each sampling period. The authors suggest to use the best reachable equilibrium point as a linearization point, that is, to use the value of ys calculated at the previous instant. This approach has the advantage of ensuring recursive feasibility and convergence to achieve the economically optimal steady-state of the system (Limon et al., 2013). However, it is known that there is a difference between the model used by the controllers and the actual plant process. If the controller had access to the actual plant model the solution would be optimal. Instead, the existence of mismatch-model causes that the solution of problem (9) presents an error (offset). This problem can be faced by using modifiers in the optimization problem strategy called Modifier Adaptation. 4. MODIFIER ADAPTATION METHODOLOGY The modifier adaptation methodology (MA) originally used by Forbes et al. (1994), presents some variants in the literature, such as Gao and Engell (2005), Tatjeski (2002), B. Chachuat and Bonvin (2009) and Marchetti et al. (2009). The method seeks to match the necessary optimality conditions, also known as KKT (Karush-Kuhn- Tucker) conditions, of the real process and the prediction model by using modifiers in both cost and optimization problem constraints, allowing to compensate for both parametric and structural modelling errors. Assuming that the constraints (1b)-(1c) are not active at a given operating point (x0,u 0) and that the functions J(xs,u s,p) and h(xs,u s) are differentiable in (x0,u 0), there will be a single vector of Lagrange multipliers λ∈ Rnh whose KKT conditions are met in point (x0,u 0), and they are f(xs,u s) = 0 (10a) h(xs,u s)≤0 (10b) λff(xs,u s) = 0 (10c) λhh(xs,u s) = 0 (10d) λf≥0 (10e) λh≥0 (10f) ∇L(xs,u s, p, λ)=0,(10g) being L(xs,u s, p, λ)=J(xs,u s,p)+λff(xs,u s)+ λhh(xs,u s) the Lagrangian of the optimization problem (1). According to Marchetti et al. (2009), there is another possibility of implementing the modifier adaptation methodology by directly modifying the model, rather than the cost function. Considering that the to input and state constraints (1c) are given by u≤u≤u(11a) x≤x≤x, (11b) being (x, u) the high limits and (x,u) the low limits, then (1) can be augmented by modifiers resulting in the following augmented optimization problem: min uJ(x, u, p) (12a) s.t. x=f(x, u)+λ u,k(u−uk)+λ x,k(x−xk)+k(12b) u≤u≤u(12c) x≤x+k≤x(12d) with the modifiers being λu,k =∂fp(x, u) ∂u uk −∂f(x, u) ∂u uk (13a) λx,k =∂fp(x, u) ∂x xk −∂f(x, u) ∂x xk (13b) k=fp(xk,u k)−f(xk,u k),(13c) where fprefers to the plant model. Solving (12) results in the next optimal operation point (xk+1,u k+1). To ensure feasibility of the optimization problem, such modifiers can be filtered with first-order filters of the form ˆ λk=[I−β]λk−1+βλk(14)
6960 José D. Vergara-Dietrich et al. / IFAC PapersOnLine 53-2 (2020) 6957–6962 with β∈(0,1], for the previously calculated modifiers. 5. OFFSET-FREE ONE-LAYER MPCT-MA CONTROLLER The MPC (9) can take into account any modelling errors between the actual plant and the model used by the controller by estimating ˆ d. However, this approach requires knowing exactly the nature of the uncertainties in order to create a disturbance estimation model, which difficulties its application (Vaccari and Pannocchia, 2017). An alternative to this problem is to integrate the Modifiers in the MPC prediction model, allowing a controller design capable to reach the plant optimum, i.e. an offset-free controller. The contribution of this paper is the reformulation of the controller presented in Section 3 to integrate the modifier adaptation technique. This will allow us to inherit the good properties of both approaches: constraint satisfaction, stability and convergence to the economically optimal operation point of the real plant under any change of the economic criterion. Considering the MPC (9), the correction of the modelling error between the prediction model and the real plant can be done by adding modifiers to the prediction model, and the optimal real stationary operation point (xs,u s) can be calculated by solving the following optimization problem min u,xsus Vma N(x, ˆ d, p;u, xs,u s) (15a) s.t. x0=x, (15b) xj+1 =Axj+Buj+λT u,k(uj−uk)+ (15c) λT x,k(xj−xk)+k, (xj+k,u j)∈Z, j =0, ...., N −1,(15d) xs=Axs+Bus+λT u,k(us−uk)+ (15e) λT x,k(xs−xk)+k, (xs+, us)∈Z, (15f) xN=xs(15g) with the pair Vma N(x, ˆ d, p;u, xs,u s) defined by Vma N= N−1 j=0 ||xj−xs||2 Q+||uj−us||2 R+ (16a) J(xs,k−1,u s,k−1,p) + (16b) ∇xJ(xs,k−1,u s,k−1,p)T(xs−xs,k−1) + (16c) ∇uJ(xs,k−1,u s,k−1,p)T(us−us,k−1) + (16d) ρx 2||xs−xs,k−1||2+ (16e) ρu 2||us−us,k−1||2(16f) with xs,k−1and us,k−1being the stationary operation point at instant k−1. The modifiers λT u,k,λT x,k,kfrom the equations (15c-15e) are given by λT u,k =∇ufp(xk,u k)−∇ uf(xk,u k) (17a) λT x,k =∇xfp(xk,u k)−∇ xf(xk,u k) (17b) k=fp(xk,u k)−f(xk,u k).(17c) The operators ∇ufand ∇xfare Jacobians with respect to uand x, calculated at equilibrium point (xk,u k). 5.1 One-Layer Economic MPC Properties The controller (15) maintains the same structure as an MPC for tracking controller (Limon et al., 2008), inheriting its main properties such as stability, feasibility and convergence guarantee. Moreover, it ensures convergence to the optimum real plant due to MA compensation, resulting in an offset-free controller. These properties are detailed next: (1) Recursive Feasibility: since the One-Layer Economic MPC uses the so-called artificial variables (optimization variables that represents the best admissible equilibrium point for the MPC model, inheritance of the MPCT formulation (Limon et al., 2013)), and a relaxed terminal equality constraint in such a way that the terminal predicted state is forced to be any equilibrium point (not the setpoint), the controller ensures recursive feasibility, even in case of changes in the economic cost function J, which implies that it is unnecessary to recalculate the controller in case of a change of the economic objective. (2) Simple implementation: thanks to the approximations (3)-(4) the optimization problem (15) results in a Quadratic Programming. (3) Asymptotic Stability: It is possible to demonstrate, following the same arguments used by Limon et al. (2013), that the proposed controller guarantees asymptotic stability of the closed loop (4) Offset-Free: By using the modifier adaptation strategy (Marchetti et al., 2009), the proposed controller eliminates the mismatch between the model used for predictions and the actual plant, so that the solution found by the controller always coincides with the optimal operation point of the real plant. 6. CASE STUDY To illustrate how the proposal works, the so-called fourtank process (Johansson, 2000) is used as case study. The system consists of four tanks, two upper tanks and two lower tanks, and a reservoir located under these lower ones. The upper tanks have free flow through a hole for the lower tanks, as shown in Figure 1. Water is pumped from the reservoir by two centrifugal pumps and, through two three-way valves, water is directed to each of the tanks. The manipulated variables are the pump flow rates (q) and the states (h) are the tank levels. The system has output consisting of two states y=(h1,h2) and input by q=(q1,q2). The following One-Layer Economic MPC used is J=||ys−ysp||2(18) leading the system to an optimal setpoint ysp. To demonstrate the existence of the so-called offset resulting from a modeling error, Figures (2) and (3) show the result of the controller One-Layer MPCT with modeling error (9). For this controller a prediction horizon N=5 was used and weighting matrices Q=I,R=0.01×I. In this test the following references were used for the One- Layer MPCT controller: ysp1= (1.5,1.5), ysp2= (1.6,1.4),
José D. Vergara-Dietrich et al. / IFAC PapersOnLine 53-2 (2020) 6957–6962 6961 with β∈(0,1], for the previously calculated modifiers. 5. OFFSET-FREE ONE-LAYER MPCT-MA CONTROLLER The MPC (9) can take into account any modelling errors between the actual plant and the model used by the controller by estimating ˆ d. However, this approach requires knowing exactly the nature of the uncertainties in order to create a disturbance estimation model, which difficulties its application (Vaccari and Pannocchia, 2017). An alternative to this problem is to integrate the Modifiers in the MPC prediction model, allowing a controller design capable to reach the plant optimum, i.e. an offset-free controller. The contribution of this paper is the reformulation of the controller presented in Section 3 to integrate the modifier adaptation technique. This will allow us to inherit the good properties of both approaches: constraint satisfaction, stability and convergence to the economically optimal operation point of the real plant under any change of the economic criterion. Considering the MPC (9), the correction of the modelling error between the prediction model and the real plant can be done by adding modifiers to the prediction model, and the optimal real stationary operation point (xs,u s) can be calculated by solving the following optimization problem min u,xsus Vma N(x, ˆ d, p;u, xs,u s) (15a) s.t. x0=x, (15b) xj+1 =Axj+Buj+λT u,k(uj−uk)+ (15c) λT x,k(xj−xk)+k, (xj+k,u j)∈Z, j =0, ...., N −1,(15d) xs=Axs+Bus+λT u,k(us−uk)+ (15e) λT x,k(xs−xk)+k, (xs+, us)∈Z, (15f) xN=xs(15g) with the pair Vma N(x, ˆ d, p;u, xs,u s) defined by Vma N= N−1 j=0 ||xj−xs||2 Q+||uj−us||2 R+ (16a) J(xs,k−1,u s,k−1,p) + (16b) ∇xJ(xs,k−1,u s,k−1,p)T(xs−xs,k−1) + (16c) ∇uJ(xs,k−1,u s,k−1,p)T(us−us,k−1) + (16d) ρx 2||xs−xs,k−1||2+ (16e) ρu 2||us−us,k−1||2(16f) with xs,k−1and us,k−1being the stationary operation point at instant k−1. The modifiers λT u,k,λT x,k,kfrom the equations (15c-15e) are given by λT u,k =∇ufp(xk,u k)−∇ uf(xk,u k) (17a) λT x,k =∇xfp(xk,u k)−∇ xf(xk,u k) (17b) k=fp(xk,u k)−f(xk,u k).(17c) The operators ∇ufand ∇xfare Jacobians with respect to uand x, calculated at equilibrium point (xk,u k). 5.1 One-Layer Economic MPC Properties The controller (15) maintains the same structure as an MPC for tracking controller (Limon et al., 2008), inheriting its main properties such as stability, feasibility and convergence guarantee. Moreover, it ensures convergence to the optimum real plant due to MA compensation, resulting in an offset-free controller. These properties are detailed next: (1) Recursive Feasibility: since the One-Layer Economic MPC uses the so-called artificial variables (optimization variables that represents the best admissible equilibrium point for the MPC model, inheritance of the MPCT formulation (Limon et al., 2013)), and a relaxed terminal equality constraint in such a way that the terminal predicted state is forced to be any equilibrium point (not the setpoint), the controller ensures recursive feasibility, even in case of changes in the economic cost function J, which implies that it is unnecessary to recalculate the controller in case of a change of the economic objective. (2) Simple implementation: thanks to the approximations (3)-(4) the optimization problem (15) results in a Quadratic Programming. (3) Asymptotic Stability: It is possible to demonstrate, following the same arguments used by Limon et al. (2013), that the proposed controller guarantees asymptotic stability of the closed loop (4) Offset-Free: By using the modifier adaptation strategy (Marchetti et al., 2009), the proposed controller eliminates the mismatch between the model used for predictions and the actual plant, so that the solution found by the controller always coincides with the optimal operation point of the real plant. 6. CASE STUDY To illustrate how the proposal works, the so-called fourtank process (Johansson, 2000) is used as case study. The system consists of four tanks, two upper tanks and two lower tanks, and a reservoir located under these lower ones. The upper tanks have free flow through a hole for the lower tanks, as shown in Figure 1. Water is pumped from the reservoir by two centrifugal pumps and, through two three-way valves, water is directed to each of the tanks. The manipulated variables are the pump flow rates (q) and the states (h) are the tank levels. The system has output consisting of two states y=(h1,h2) and input by q=(q1,q2). The following One-Layer Economic MPC used is J=||ys−ysp||2(18) leading the system to an optimal setpoint ysp. To demonstrate the existence of the so-called offset resulting from a modeling error, Figures (2) and (3) show the result of the controller One-Layer MPCT with modeling error (9). For this controller a prediction horizon N=5 was used and weighting matrices Q=I,R=0.01×I. In this test the following references were used for the One- Layer MPCT controller: ysp1= (1.5,1.5), ysp2= (1.6,1.4), Fig. 1. Four-tank process. ysp3= (1.7,1.8), ysp4= (1.0,1.0) e y0=(h0 1,h 0 2), where y0 is the starting point of the system. Note, in Figures 2 and 3, that the system does not converge to the references, remaining an offset due to the inconsistency between model and plant. Figures 4 and Fig. 2. Output space plot - system controlled by One-Layer MPCT with modeling error: real nonlinear plant and linearized model for the controller. 5 show the result of the one-layer MPCT-MA controller using MA (15), where there is a clear improvement with respect to the previous simulation. It can be seen that the controller has offset-free error, that is, the controller corrects the modelling error between plant and model through modifiers. As can be seen from the equation (15c), model modification is accomplished by linear compensation made by the addition of terms composed by modifiers in the original model. One can see in Figures 6 and 7 the evolution of the terms λT u,k(u−¯uk) and in each sampling period. Note that: a) Figure 7 shows that first-order modifiers () are disturbed with each reference change, but always converge over time; b) in Figure 6 the second-order modifiers (λT u,k), which make up the plots given by λT u,k(u−¯uk), complement the value of the modifier only during the transient, Fig. 3. RTO optimal values and system output - system controlled by One-Layer MPCT with modelling error: real nonlinear plant and linearized model for the controller. Fig. 4. Output space plot - system controlled by One- Layer Economic MPC: controller has no offset for the modelling error system (real nonlinear plant and linearized model for the controller). Fig. 5. RTO optimal values and system output - system controlled by One-Layer Economic MPC: controller has no offset for the modelling error system (real nonlinear plant and linearized model for the controller) tending to zero whenever converges. The sum of the values of these two plots equals the error between the model and the plant at each time k. Therefore, the One-
6962 José D. Vergara-Dietrich et al. / IFAC PapersOnLine 53-2 (2020) 6957–6962 Fig. 6. Compensation value given by λT u,k(u−¯uk) Fig. 7. Compensation value given by k Layer Economic MPC controller is an offset-free controller with all the advantages of the so-called MPC for tracking such as stability, recursive feasibility, and convergence, including in the case of changes in the economic cost function. 7. CONCLUSIONS The controller presented here combines the advantages and characteristics of MPC for Tracking with the possibility of correcting, on line, any modelling errors through the inclusion of modifiers (MA) in the optimization problem. The union of MPCT with MA resulted in a controller with guarantee of feasibility and stability and zero offset, that is, with guarantee of convergence to the economical optimum of the real plant for any case of change in the economic cost function. Also, it is noteworthy that the calculation of the economic optimal point of the plant is made by the predictive controller making the solution of the RTO problem unnecessary. REFERENCES Alamo, T., Ferramosca, A., Gonzalez, A.H., Limon, D., and Odloak, D. (2012). A gradient-based strategy for integrating real time optimizer (RTO) with model predictive control (MPC). In Proceedings of the 4th IFAC Nonlinear Model Predictive Control Conference, 33–38. Amrit, R. (2011). Optimizing Process Economics in Model Predictive Control. Ph.D. thesis, University of Wisconsin - Madison. Angeli, D., Amrit, R., and Rawlings, J.B. (2012). On average performance and stability of economic model predictive control. IEEE Transactions on Automatic Control, 57(7), 1615–1626. B. Chachuat, B.S. and Bonvin, D. (2009). Adaptation strategies for real-time optimization. Computers & Chemical Engineering, 33(10), 1557–1567. Ferramosca, A., Limon, D., and Camacho, E.F. (2014). Economic mpc for a changing economic criterion for linear systems. IEEE Transactions on Automatic Control. Findeisen, W., FN, B., Brdys, M., Malinowski, K., Tatjewski, P., and Wozniak, A. (1980). Control and Coordination in Hierarchical Systems. Forbes, J.F., Marlin, T.E., and MacGregor, J.F. (1994). Model adequacy requirements for optimizing plant operations. Computers & Chemical Engineering, 18(18(6)), 497–510. Gao, W. and Engell, S. (2005). Iterative set-point optimization of batch chromatography. Computers & Chemical Engineering, (29), 1401–1409. Hern´andez, R. and Engell, S. (2019). Economics optimizing control with model mismatch based on modifier adaptation. IFAC-PapersOnLine, 52(1), 46 – 51. 12th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems DYCOPS 2019. Johansson, K.H. (2000). The quadruple-tank process. IEEE Trans. Automatic Control. Limon, D., Alamo, T., Pereira, M., Ferramosca, A., Gonzales, A., and Odloak, D. (2013). Integrating the RTO in the MPC: an adaptive gradient-based approach. In ECC. Limon, D., Alvarado, I., Alamo, T., and Camacho, E.F. (2008). MPC for tracking of piece-wise constant references for constrained linear systems. Automatica, 44, 2382–2387. Marchetti, A., Chachuat, B., and Bonvin, D. (2009). Modifier-adaptation methodology for real-time optimization. Industrial & Engineering Chemistry Research. Marchetti, A.G., Fran¸cois, G., Faulwasser, T., and Bonvin, D. (2016). Modifier adaptation for real-time optimization - methods and applications. Processes, 4(4-55). Muske, K.R. (1997). Steady-state target optimization in linear model predictive control. In Proceedings of the 1997 American Control Conference, volume 6, 3597– 3601. Rawlings, J.B., Angeli, D., and Bates, C.N. (2012). Fundamentals of economic model predictive control. In Proceedings of the 51st IEEE Conference on Decision and Control (CDC), 3851–3861. Souza, G.D., Odloak, D., and Zanin, A.C. (2010). Real time optimization (RTO) with model predictive control (MPC). Computers & Chemical Engineering, 34(12), 1999–2006. Tatjeski, P. (2002). Iterative optimizing set-point control - the basic principle redesigned. In In Proc 15th World Congress of IFAC Barcelona. Barcelona, Spain. Vaccari, M. and Pannocchia, G. (2017). A modifieradaptation strategy towards offset-free economic MPC. Process. Vaccari, M. and Pannocchia, G. (2018). Implementation of an economic MPC with robustly optimal steady-state behavior. In IFAC PapersOnLine.