Abstract
We apply a robust steady state optimization method for stiff delay differential equations to the economic optimization of a fluidized catalytic cracking unit. Stiff systems of differential equations appear in this case due to the different time scales in the gas and fluid phase. Delays result from the catalyst hold-ups in the standpipes connecting riser and regenerator. We show that the proposed robust optimization method can cope with stiffness and delays. Moreover, the proposed method is capable of simultaneously optimizing the process parameters and tuning controller parameters.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fluidized catalytic cracking (FCC) increases the gasoline yield and therefore it is one of the key technologies in crude oil processing. The process of fluidized catalytic cracking breaks up the fractions of heavy hydrocarbons into lighter and more valuable molecules. The cracking process is dominated by a catalytic reaction taking place at the surface of a solid catalyst which is used in a powder form to achieve a large active surface. If the cracking reaction takes place under plug flow conditions, the contact time of feedstock and catalyst can be controlled well. Excess carbon accumulates on the catalyst surface as coke, deactivating it by time. Used catalyst is led into the regenerator, where air provides oxygen to burn off the coke and keeps the catalyst fluidized. The regenerated catalyst is then ready for use in the cracking process.
FCC process dynamics can exhibit state multiplicity (Arbel et al. 1995; Pinheiro et al. 2012), which is attended by the existence of fold bifurcations (Elnashaie et al. 1995). Hopf bifurcations also occur in FCC under certain conditions (Alhumaizi and Elnashaie 1997; Elnashaie et al. 1995). The presence of bifurcations complicates steady-state optimizations because an apparently optimal steady state may turn out to lie on an unstable solution branch of the steady-state manifold. Such an optimization result cannot be implemented on a real plant without further measures for stabilization. There exist, however, optimization methods that enforce stability at the optimal steady state.
Stability of a steady state can be achieved in an optimization by penalizing the largest eigenvalue real part (Vanbiervliet et al. 2008) or its expected value (Fenzi and Michiels 2017). In combination with an economic profit function to be maximized, such a treatment of stability will result in a multi-objective optimization, calling for Pareto optimization or a weighting of the optimization objectives.
Alternatively, stability requirements can be enforced with constraints instead of with the cost function. So-called normal vector methods have been successfully applied to various optimization problem types and processes, e. g., to the reaction section of a HDA process (Mönnigmann and Marquardt 2005), a CSTR with recycling delay (Kastsian and Mönnigmann 2013) and to finding optimal and robustly stable limit cycles of chemical reactions (Kastsian and Mönnigmann 2014). Applications aiming for the robust satisfaction of other criteria like robustly limiting overshooting (Gerhard et al. 2008) or robust synchronization of subsystems are also possible (Otten et al. 2018). Normal vector methods can also be used for an automated controller tuning of closed-loop nonlinear systems (Hahn et al. 2008).
The following two aspects render the application of normal vector methods to fluid catalyzed cracking challenging: Firstly, in a fluidized cracking unit, the standpipes connecting regenerator and riser have to hold up a sufficient amount of catalyst to seal off the oxygenated atmosphere of the regenerator and the oxygen-free atmosphere within the riser. This hold-up is known to cause a transport delay which is often neglected in dynamical models (Han and Chung 2001a) for simplicity. Secondly, the typical FCC process model is based on the assumption of fast gas dynamics which justifies the use of algebraic equations instead of differential equations. This results in differential algebraic equations (DAEs) (Ali et al. 1997). If the gas dynamics are instead modeled with differential equations, the different time scales result in a system of stiff differential equations. If delays must be taken into account, a system of delay differential algebraic equations or a system of stiff delay differential equations must be treated. The numerical treatment of these classes is still subject to research. Specialized numerical integrators, which are necessary to run simulations of the FCC model treated here, have been developed only recently (DelayDiffEq.jl; Rackauckas and Nie 2017).
This paper is structured as follows. Section 2 introduces a dynamical model of a fluidized catalytic cracker. A system of delay differential equations results that are stiff due to different time scales of gas phase and solid phase processes. The steady-state optimization problem is presented in Sect. 3 to motivate constraints guaranteeing robust stability. A suitable method to achieve robust stability is introduced in Sect. 4 and applied to find an optimal steady state of the FCC. A summary and conclusions are stated in Sect. 6.
2 Modeling
The model is based on a model proposed by Ali and Rohani (1997). It focuses on the components in which reactions take place, i. e., the riser and the regenerator. Their properties are sketched in the following sections.
2.1 Riser
Plug fow is beneficial for the cracking reaction (Shaikh et al. 2008). Modeling a plug flow results in a partial differential equation. The classical approach to analyzing FCC dynamics is to assume the plug flow reactor dynamics fast enough compared to the regenerator dynamics to justify a steady state assumption (Ali and Rohani 1997; Ali et al. 1997; Arbel et al. 1995; Shaikh et al. 2008). This eliminates the time derivatives and reduces the partial differential equation for the plug flow reactor to a spatial ordinary differential equation. Alternatively, the underlying PDE can be discretized spatially (Secchi et al. 2001), thus retaining the plug flow reactor dynamics. The latter approach is used here, where a uniform mesh of \(L=15\) discrete points is used, which corresponds to approximating the plug flow reactor by a sequence of 15 CSTRs.
The reactions taking place in the riser (and therefore in each CSTR) are modeled by four-lump models, in which the different types of hydrocarbons are divided into four classes: the gas oil A is converted into gasoline B, coke C and light hydrocarbons D. Gasoline is the desired product, coke and light hydrocarbons are byproducts. Gasoline is converted to light hydrocarbons and coke in an undesired side reaction. The differential equations at the discrete point i read
where \(y_{A_l}\), \(y_{B_l}\), \(y_{C_l}\) and \(y_{D_l}\) describe the concentrations of each lump at the location l scaled to the gas oil concentration at the riser bottom (\(y_{A_0}\)). \(T_{\text {Ris},l}\) is the temperature at this point and \(\Phi _l\) is the catalyst activity scaled to the activity at the riser bottom (\(\Phi _{0}\)). All constants and \(y_{A,0}\), \(y_{B,0}\), \(y_{C,0}\), \(y_{D,0}\), \(T_{\text {Ris},0}\) and \(\Phi _{0}\), which are necessary to consider the boundary condition at \(l=1\), are listed in Tables 5, 6 and 7 in “Appendix A”.
At each discrete point, \(n_{x,\text {Ris},l} = 6\) states are taken into account, which results in \(n_{x,\text {Ris}} = 90\) states to describe the whole riser.
2.2 Regenerator
It is assumed in the regenerator model that nearly all of the catalyst is located at the lower part of the vessel (Ali and Rohani 1997). Three phases must be considered: A solid phase of catalyst particles, a gaseous emulsion of the gases surrounding the particles which keep the catalyst fluidized, and a gaseous bubble phase, consisting of excess gas traveling upwards through the catalyst bed.
The solid phase and the bubble phase can only interact via the emulsion phase. The emulsion phase is well-mixed due to the turbulent character of fluidization. Consequently, a CSTR model suffices.
The interaction of the bubble and emulsion phase is very fast compared to the interaction of solid phase and emulsion phase (Ali and Rohani 1997). The bubble phase is therefore assumed to be at equilibrium with the emulsion phase at all times. Hence, the plug-flow dynamics in the bubble phase can be explicitly solved and substituted into the emulsion phase equations. The resulting differential equations read
where \(W_{cg}\) describes the coke mass per catalyst mass, \(T_{Reg}\) describes the regenerator temperature and \(y_{O_2}\), \(y_{CO}\) and \(y_{CO_2}\) describe the concentration of oxygen, carbon monoxide and carbon dioxide scaled to the oxygen concentration in fresh air feed, respectively.
This submodel contributes \(n_{x,\text {Reg}} = 5\) states to the FCC model (cf. Table 1).
2.2.1 Delays
Standpipes filled with catalyst separate the oxygen-rich atmosphere in the regenerator from the flammable hot hydrocarbon atmosphere in the riser. This inflicts transport delays on the dynamics, as the heat energy and coke-bearing catalyst have to pass a standpipe when transferred from the riser to the regenerator (\(\tau _1\)) and vice versa (\(\tau _2\)). This transport delay lies in the magnitude of seconds and depends on the geometry of the FCC (Han and Chung 2001a).
The numerical values of the delays given in Table 7 correspond to assumed standpipe lengths of \(8 \text { to } 10\,{\mathrm {m}}\) and a diameter of \(0.14\,{\mathrm {m}}\). The coke-bearing catalyst from the riser top enters the regenerator with a delay \(\tau _1\) which affects \(W_{cr}\) and \(T_\text {Top}\). The regenerated catalyst enters the riser with a delay \(\tau _2\), which affects \(T_{\text {Ris},0}\).
2.3 Control structure
Controller parameters are tuned by the normal vector based steady-state optimization. The controller structure must be chosen in advance, however. Alhumaizi and Elnashaie (1997) compared six control structures, of which the following is suited best to influence the occurrence of bifurcations and it offers flexibility in the handling of different feedstock (Arbel et al. 1997). The air feed temperature \(T_{\text {air}}\) is manipulated to control the regenerator temperature, while the catalyst circulation \(F_s\) rate is manipulated to control the riser temperature,
For nonzero controller gains, the offsets \(T_{\text {air},0}\) and \(F_{\text {s},0}\) can be omitted by substituting \( {\hat{T}}_\text {reg,SP} = T_\text {reg,SP} - \frac{T_{\text {air},0}}{K_\text {Reg}}\) and \({\hat{T}}_\text {Ris,SP} = T_\text {Ris,SP} - \frac{F_{\text {s},0}}{K_\text {Ris}}\), respectively.
2.3.1 Combined model
The process is shown in Fig. 1. It includes the delays and controllers described above.
We denote the delay differential equations that result from combining (1), (2) and (3) as
for brevity. Because of the delays discussed in Sect. 2.2.1 these equations not only depend on the state variables x(t) at the current time t, but also on \(x(t- \tau _1)\) and \(x(t-\tau _2)\). Assume, for example, the catalyst requires a time \(\tau _1\) to pass the standpipe when being transported from the riser to the regenerator. The catalyst feed temperature at the regenerator (\(T_{Top}\), see (2e)) then only assumes the riser exit temperature \(T_{Ris, L}\) after this delay \(\tau _1\). This results in the relation \(T_{Top}(t)= T_{Ris, L}(t- \tau _1)\), which implies both the state variable \(T_{Ris, L}(t)\) and \(T_{Ris, L}(t- \tau _1)\) appear in (4). Similarly, the delay \(\tau _2\) explained in Sect. 2.2.1 introduces a dependency on \(x(t- \tau _2)\) in (4). The system of delay differential equations (4) consists of \(n_x=95\) state variables x(t) and has seven parameters, which are listed in Tables 1 and 2, respectively. Parameters that are and are not subject to uncertainty are denoted by \(\alpha \) and p, respectively. We assume all but the controller parameters to be subject to uncertainty (\(\alpha \in {\mathbb {R}}^{n_\alpha }\), \(n_\alpha = 5\), \(p\in {\mathbb {R}}^{n_p}\), \(n_p= 2\), cf. Table 2).
The uncertainties are assumed to originate from measurement uncertainties. However, the uncertainties of the temperature setpoints require an explanation. They represent the uncertainties of the temperature measurements,
An initial analysis of this model reveals that, for some parameter combinations, multiple steady states exist. This state multiplicity is visualized in Fig. 2. This renders the optimization more difficult, as the state multiplicity also implies the presence of unstable steady states.
3 Optimization problem statement
We optimize the FCC with respect to the profit function
where the prices \(P_A\), \(P_B\) and \(P_D\) of gas oil, gasoline and light hydrocarbons, respectively, are given in Table 3. The quantities \(y_{A,L}\), \(y_{B,L}\) and \(y_{D,L}\) are the gas oil concentration, gasoline concentration and light hydrocarbon concentration, respectively, at the riser top. \(F_{gR}\) is, as stated in Table 2, the gas oil feed.
Combining the cost function (5) with constraints that enforce a steady state results in the optimization problem
where state variables are as given in Table 1, \(\alpha = [F_\text {air}, F_{gR}, T_{gR},\) \(T_\text {Reg,SP},T_\text {Ris,SP} ]^\prime \) and \(p=[K_\text {Reg},K_\text {Ris}]^\prime \). The inequalities (6d) and (6e) are simple bounds on the catalyst circulation rate \(F_s\) and the air feed temperature \(T_\text {air}\). By substituting (3), \(F_s\) and \(T_\text {air}\) can be expressed in terms of the remaining variables and parameters.
The solution to this optimization may be unstable, as the stability of the steady state is not taken into account in (6). Without any further stabilization effort, such an unstable steady state is of little practical use. The cost function value that results for (6) will, however, serve as a benchmark for the optimization guaranteeing robust stability (see Table 4 in Sect. 5). Constraints that ensure robust stability are introduced in the next section.
4 Normal vector constraints for robust stability
We introduce the central idea of the normal vector constraints informally first. Essentially, these constraints enforce a safe distance to any critical boundary on the steady state manifold of the optimized system. The term “critical boundary” may refer to any boundary in the space of the parameters \(\alpha \) that separates steady states with desired dynamical properties from those with undesired dynamical properties (Mönnigmann and Marquardt 2002). In the present paper, we are interested in boundaries that separate stable from unstable steady states. These boundaries consist of fold bifurcation points here.
Figure 3 sketches a manifold of steady states, i.e., any point on the surface represents a pair \(x^{(0)}\), \(\alpha ^{(0)}\) such that \(f(x^{(0)}, \dots , x^{(0)}, \alpha ^{(0)}, p)= 0\) for arbitrary but fixed parameter values p. The stability properties of such a steady state can be characterized with the eigenvalues of the Jacobian matrix of \(f(\cdot )\). Specifically, if all eigenvalues of the Jacobian evaluated at \(x^{(0)}\), \(\alpha ^{(0)}\) have negative real values, the steady state is asymptotically stable. If an eigenvalue crosses over into the right half of the complex plane as we move on the steady state manifold, the system becomes unstable. The critical boundary can therefore be characterized by the existence of an eigenvalue or a complex conjugate pair of eigenvalues on the imaginary axis. We state a system of equations \(G(\cdot )= 0\) that formalizes this idea in (9) below.
Figure 4 shows the projection of the critical manifold on the parameter space. Stability can be ensured by enforcing parameter values on the stable side of the critical manifold. Robustness can be ensured by staying at a safe distance d from the critical manifold, where d must be chosen to account for the parametric uncertainties. More precisely, let \(\alpha _i\in [\alpha _{i}^{(0)}-\Delta \alpha _i, \alpha _i^{(0)}+\Delta \alpha _i]\) represent any of the uncertain parameters stated in Table 2. After rescaling according to \({\tilde{\alpha }}_i= \alpha _i/\Delta \alpha _i\) the intervals
define a hypersquare, which is sketched for \(n_\alpha = 2\) uncertain parameters in Fig. 4. Robustness is guaranteed by enforcing the center of this hypersquare to be at a distance larger than \(\sqrt{n_\alpha }\) from the critical boundary (see Fig. 4) along the normal to the critical boundary. Formally, this results in the constraint
The normal vector to the critical manifold is denoted by r.
It remains to state the equations \(G(\cdot )= 0\). We need to characterize critical manifolds due to fold bifurcations, i.e., single real eigenvalues crossing the imaginary axis, because instability results from this case in the fluid catalytic cracker treated here. More generally, we treat critical manifolds that are characterized by the existence of an eigenvalue with real part \(\sigma \le 0\). The case \(\sigma = 0\) corresponds to the fold bifurcation. The case \(\sigma < 0\) is used to enforce exponential stability with a prescribed decay rate \(\sigma \) to ensure a sufficiently fast disturbance rejection. We call the critical manifold that corresponds to the latter case “modified fold manifold” for brevity.
The equations \(G({\tilde{x}}^{(c)},\alpha ^{(c)},p, w)=0\), which have been abbreviated by \(G(\cdot )= 0\) so far, read
where (8a) enforces \({\tilde{x}}^{(c)}\) to be a steady state for the parameters \(\alpha ^{(c)}\). Equations (8b) ensure an eigenvalue \(\lambda =\sigma \) to exist, where w is the corresponding eigenvector and the matrices \(A_0\) and \(A_i\) are the Jacobians of \(f(x(t),x(t-\tau _1),...,x(t-\tau _m),\alpha ^{(c)},p)\) with respect to x(t) and \(x(t-\tau _i)\), respectively, evaluated at \(x(t)=x(t-\tau _i)={\tilde{x}}^{(c)}\). Because (8b) defines the direction of w but not its length, equation (8c) is required.
The system of equations that defines the normal vector r can be derived from (8) with a procedure first described in Mönnigmann and Marquardt (2002). We omit details of the derivation and only state the resulting system. It reads
where
are the transposed Jacobians of (8b) w.r.t. \({\tilde{x}}^{(c)}\), w and \(\alpha ^{(c)}\), respectively. The expression \(\nabla _{ {\tilde{x}}^{(c)}} (w^\prime A_i^\prime )\) is given by
and the expression \(\nabla _{ \alpha ^{(c)}} (w^\prime A_i^\prime )\) is defined accordingly. Essentially, (9b) and (9c) span the normal space to the critical manifold in the combined space of the state variables and parameters and select the particular normal vector that has only components in the parameter space. Equation (9d) is required to normalize r to unit length (Mönnigmann and Marquardt 2002; Otten 2020). We abbreviate (9b)–(9d) by \(H({\tilde{x}}^{(c)}, \alpha ^{(c)}, \kappa , r)= 0\) or \(H(\cdot )= 0\). All derivatives in (9), (10) and (11) are calculated symbolically (Otten and Mönnigmann 2018).
Having defined the normal vector r, the robustness constraints can now be stated as
We briefly note that optimization with the normal vector constraints need to be initialized at a, or close to a, feasible point. An algorithm for finding such initial points is described in (Otten and Mönnigmann 2016).
5 Optimization with robust stability constraints
Extending the optimization problem (6) by the normal vector constraints for robust stability results in
where (13a) to (13e) are equal to (6). The optimization is carried out with respect to \(x^{(0)}\), \(\alpha ^{(0)}\), p, \(x^{(c)}\), \(\alpha ^{(c)}\), w, r, \(\kappa \) and d, where \(F_s\) and \(T_\text {air}\) can be removed by substituting (3). The optimal state variables and parameters are denoted by \(x^{(0)}\) and \(\alpha ^{(0)}\) to distinguish them from the closest critical point \(x^{(c)}\), \(\alpha ^{(c)}\). The remaining constraints comprise the augmented system \(G(\cdot )= 0\) from (8) for the closest critical point \(x^{(c)}\), \(\alpha ^{(c)}\) in (13f), the normal vector system \(H(\cdot )= 0\) from (9) that defines r at this critical point in (13g), and the distance constraints explained in (12). Optimization problems with normal vector constraints like (13) have been solved for systems modeled with ordinary differential equations before (Mönnigmann and Marquardt 2002; Mönnigmann et al. 2007). The delay differential equations (4) require a different augmented system (8) and normal vector system (9) that take the exponential function in the characteristic equation (8b) into account.
We compare results obtained without stability constraints and results obtained with the two stability requirements introduced in Sect. 4. The latter two are obtained by solving (13) for two different choices of \(G(\cdot )= 0\), \(H(\cdot )= 0\) in (13f), (13g). Specifically, we first set (13f), (13g) to the systems for fold bifurcation manifolds to ensure robust asymptotic stability. In the second case, we set (13f), (13g) to the systems for modified fold manifolds to guarantee robust exponential stability with a prescribed convergence rate to the steady state. We choose the convergence rate to correspond to a time constant of 10 min. This corresponds to
The case without stability constraints corresponds to solving (6). It results in an unstable point of operation and is treated here for comparison only. The results for (6) and the two cases of (13) are listed in Table 4.
Before discussing the optimization results, problem (13) deserves some comments. We stress that problem (13) guarantees robust dynamic properties, such as asymptotic stability or a prescribed disturbance rejection rate in spite of uncertain parameters, without involving differential equations in the problem statement and solution procedure. By virtue of the normal vector method, the desired dynamic properties are achieved by enforcing a parametric distance of the optimal point to the closest critical boundary (cf. Fig. 4 and Section 4). This conversion of the dynamic problem into an algebraic one is particularly attractive for stiff differential equations, because a special numerical treatment of separated time scales is no longer required. The price to be paid for converting a dynamic problem into an algebraic one is the size of the resulting optimization problem (13). Specifically, (13b)–(13e) repeat the 95 equality constraints (6b), 14 inequality constraints (6c) and 4 inequality constraints (6d)–(6e) that already appeared in (6). The constraints (13f)–(13i) are 392 equality constraints and 1 inequality constraint, respectively, that constitute the normal vector constraints for robustness explained in Sect. 4. The number of optimization variables increases from 102 in (6) (95 state variables and the 7 parameters from Table 2) to 496 (additional variables \(x^{(c)}\), \(\alpha ^{(c)}\), w, r, \(\kappa \) and d). In spite of the increased size, however, problem (13) can easily be solved with standard algorithms and implementations.Footnote 1
When comparing the optimization results, a profit reduction caused by stability requirements can be interpreted as the cost of stability. While an unstable point of operation results for (6) without the normal vector constraints, the profit is practically identical for this unstable optimum and the robust optima that result from (13) with asymptotic and exponential stability requirements (cf. Table 4). The cost of asymptotic as well as exponential stability with a prescribed decay rate of \(\sigma =-1/600\,{\mathrm {s}}^{-1}<0\) is therefore negligible.
The optimization yields optimal feed temperatures and mass flow rates that are very similar in all three cases, while the parameters defining the temperature control for the regenerator and riser differ. The normal vector constraint (13i) enforcing robust asymptotic and robust exponential stability with the prescribed decay rate is active in both cases with normal vector constraints. This is consistent with the optimization without stability constraints resulting in an unstable steady state. Furthermore, the upper bounds on the catalyst circulation rate (\(F_s\le 200\,{\mathrm {kg}}/{\mathrm {s}}\)) and the gas oil feed (\(F_{gR}\le 30\,{\mathrm {kg}}/{\mathrm {s}}\)) are active for all three optimal points, the unstable one that results from (6) and those from (13) with constraints for asymptotic and exponential stability. It is plausible that these two constraints are active. As the gas oil feed \(F_{gR}\) determines the amount of available reactant, it immediately affects the productivity of the FCC. The heat energy from the regeneration reactions can be transferred to the riser only via hot catalyst. The catalyst circulation rate \(F_s\) therefore determines how much heat energy is available to power the endothermic cracking reactions.
The critical manifolds in the vicinity of the optimal points are shown in Figs. 5 and 6. These plots have to be interpreted with care, since they involve projections and cuts of a higher-dimensional parameter space. Figure 5 shows the optima in the \(T_{\text {Reg,SP}}\)-\(F_\text {air}\)-plane. Both the critical boundary for asymptotic stability due to fold bifurcations and the critical boundary for exponential stability due to modified fold points are shown. The corresponding two optimal points are located close to each other, which is also obvious from the numerical values given in Table 4. The hyperspherical outer approximations of the uncertainty regions touch the respecitve critical manifold, which confirms the constraints for robust stability are active (i.e., inequality (13i) is active). It is evident that the region of parametric uncertainty is located on the desired side of the critical manifold in both cases.
Figure 6 shows the optima in the \(T_{gR}\)-\(F_{gR}\)-plane with the active upper bound on \(F_{gR}\) and the critical manifolds. We stress that the critical manifolds and the hypercubical uncertainty regions only apparently overlap, because the critical manifolds are shown as cuts located at the critical point \(\alpha ^{(c)}\), while the remaining features are shown as projections to the \(T_{gR}\)-\(F_{gR}\)-plane. Moreover, we stress that the upper boundary on \(F_{gR}\) (horizontal line with grey hatched area) and the lower and upper boundaries on \(T_{gR}\) (vertical lines with grey hatched areas) are shown such that a touching hypersphere corresponds to an active constraint. The upper bound on \(F_{gR}\), for example, reads \(F_{gR,\text {max}}= 30\)kg/s according to Table 2. The corresponding constraint reads
after overestimation with the Coke burning reaction rate coeicientf\((n_\alpha = 5)\)-dimensional uncertainty hypersphere introduced in Fig. 4 and (12). The bound \(F_{gR}\le 34.47\)kg/s is visualized in Fig. 6. We choose to visualize (15) in Figs. 5 and 6, because an active constraint corresponds to a tangential intersection of the uncertainty hypersphere and a critical boundary for all boundaries in this case. If the actual constraint was visualized instead of (15, a touching hypersphere would correspond to an active constraint for stability boundaries, while a touching of its center point would correspond to an active feasibility constraint. We stress again this is only a matter of visualization and the original bounds and the ones modified as in (15) are equivalent. The corresponding boundaries for \(T_{gR}\) in Fig. 5 are obtained accordingly, which results in \(T_{gR}\le 600\text {K}+ \sqrt{5}\cdot 20\text {K}= 644.7\text {K}\) and \(T_{gR}\ge 300\text {K}- \sqrt{5}\cdot 20\text {K}= 255.3\text {K}\).
We corroborate the robustness of the optima that result from (13) with simulations. We select the optimum obtained with the normal vector constraints for exponential stability (right column in Table 4) for these illustrations. The corresponding results for the other robust optimum (center column in Table 4) are very similar and omitted for brevity. We pointed out earlier that the system model consists of stiff delay differential equations, because the riser dynamics are much faster than the regenerator dynamics. We use a toolbox tailored to the numerical integration of stiff delay differential equations for all simulations (Rackauckas and Nie 2017).
Figure 7 shows a simulation of riser and regenerator temperatures after a step disturbance of the steady state. It is evident that the system is stable.
A time series of concentrations in the regenerator gas phase is shown in Fig. 8. The reduced regenerator temperature initially inhibits the burning of coke, which results in an immediate rise in \(y_{0_2}\) and an immediate drop in \(y_{CO_2}\). The concentrations then approach their new steady state values.
Figure 9 shows the first five seconds of the same simulation. The initial disturbance has an impact on the riser temperature with a time delay because the cool catalyst from the regenerator has to pass a standpipe connecting regenerator and riser.
In Fig. 10, the concentrations \(y_i\) are shown against the riser length at a steady state. It visualizes the intended productive reaction. The gas oil concentration \(y_A\) drops as the gas oil is converted to gasoline, coke and light hydrocarbons, causing the concentrations \(y_B\), \(y_C\) and \(y_D\) to increase while traveling through the riser.
Finally, Fig. 11 illustrates the prescribed robustness has been achieved. The figure shows the time series for ten representative states, including those from Figs. 7 and 8 , with lower and upper bounds that correspond to the decay rate (14). It is evident that the bounds are respected.
6 Conclusion
We showed the normal vector method for robust optimization of parametrically uncertain systems can be applied to stiff delay differential equations. The viability of the method was demonstrated by applying it to an FCC model that consists of 95 differential equations with two delays and five uncertain parameters. The method was successfully used to ensure robust asymptotic stability and robust exponential stability with a prescribed disturbance rejection rate.
Notes
MATLAB fmincon (interior-point) requires less than 35 s on a 2.4 GHz quadcore Intel i3.
References
Alhumaizi K, Elnashaie SSEH (1997) Effect of control loop configuration on the bifurcation behavior and gasoline yield of industrial fluid catalytic cracking (FCC) units. Math Comput Modell 25(3):37–56
Ali H, Rohani S (1997) Dynamic modeling and simulation of a riser-type fluid catalytic cracking unit. Chem Eng Technol 20(2):118–130
Ali H, Rohani S, Corriou JP (1997) Modelling and control of a riser type fluid catalytic cracking (FCC) unit. Chem Eng Res Des 75(4):401–412
Arbel A, Rinard IH, Shinnar R, Sapre AV (1995) Dynamics and control of fluidized catalytic crackers. 2. Multiple steady states and instabilities. Ind Eng Chem Res 34(9):3014–3026
Arbel A, Huang Z, Rinard IH, Shinnar R, Sapre AV (1995) Dynamic and control of fluidized catalytic crackers, 1: modeling of the current generation of FCC’s. Ind Eng Chem Res 34(4):1228–1243
Arbel A, Rinard IH, Shinnar R (1997) Dynamics and control of fluidized catalytic crackers. 4. The impact of design on partial control. Ind Eng Chem Res 36(3):747–759
Arthur JR (1951) Reactions between carbon and oxygen. Trans Faraday Soc 47:164–178
DelayDiffEq.jl. 30.10.2018, Version 4.6.1. https://github.com/JuliaDiffEq/DelayDiffEq.jl
Elnashaie SSEH, Abasaeed AE, Elshishini SS (1995) Digital simulation of industrial fluid catalytic cracking units - V. Static and dynamic bifurcation. Chem Eng Sci 50(10):1635–1644
Fenzi L, Michiels W (2017) Robust stability optimization for linear delay systems in a probabilistic framework. Linear Algebra Appl 526:1–26
Gas oil price on January 1, 2016. https://www.investing.com/commodities/london-gas-oil. Accessed 15 Nov 2018
Gasoline price on January 1, 2016. https://www.investing.com/commodities/gasoline-rbob. Accessed 15 Nov 2018
Gerhard J, Mönnigmann M, Marquardt W (2008) Normal vectors on critical manifolds for robust design of transient processes in the presence of fast disturbances. SIAM J Appl Dyn Syst 7(2):461–490
Hahn J, Mönnigmann M, Marquardt W (2008) On the use of bifurcation analysis for robust controller tuning for nonlinear systems. J Process Control 18(3):408–420
Han I-S, Chung C-B (2001) Dynamic modeling and simulation of a fluidized catalytic cracking Process. Part I: Process modeling. Chem Eng Sci 56(5):1951–1971
Han I-S, Chung C-B (2001) Dynamic modeling and simulation of a fluidized catalytic cracking process. Part II: Property estimation and simulation. Chem Eng Sci 56(5):1973–1990
Kastsian D, Mönnigmann M (2013) Impact of delay on robust stable optimization of a CSTR with recycle stream. Dyn Control Process Syst 10:433–438
Kastsian D, Mönnigmann M (2014) Robust optimization of periodically operated nonlinear uncertain processes. Chem Eng Sci 106:109–118
Kunii D, Levenspiel O (1991) Fluidization engineering. Butterworth-Heinemann, Stoneham
Mönnigmann M, Marquardt W (2002) Normal vectors on manifolds of critical points for parametric robustness of equilibrium solutions of ODE systems. J Nonlinear Sci 12:85–112
Mönnigmann M, Marquardt W (2005) Steady-state process optimization with guaranteed robust stability and flexibility: application to HDA reaction section. Ind Eng Chem Res 44:2737–2753
Mönnigmann M, Marquardt W, Bischof CH, Beelitz T, Lang B, Willems P (2007) A hybrid approach for efficient robust design of dynamic systems. SIAM Rev 49(2):236–254
Morley K, De Lasa HI (1987) On the determination of kinetic parameters for the regeneration of cracking catalyst. Can J Chem Eng 65(5):773–777
Morley K, De Lasa HI (1988) Regeneration of cracking catalyst influence of the homogeneous CO postcombustion reaction. Can J Chem Eng 66(3):428–432
Natural gas price on January 1, 2016. https://www.investing.com/commodities/natural-gas. Accessed 15 Nov 2018
Otten Jonas (2020) Robust optimization of delayed systems. PhD thesis, Ruhr Universität Bochum. https://doi.org/10.13154/294-7161
Otten J, Müller J, Mönnigmann M (2018) Bifurcation-aware optimization and robust synchronization of coupled laser diodes. Phys Rev E 98:062212
Otten J, Mönnigmann M (2016) Robust steady state optimization with state dependent delays. In: Proceedings of the 13th IFAC workshop on time delay systems, pp 47–52
Otten J, Mönnigmann M (2018) DDE-NV—a toolbox for optimization of nonlinear delay differerential equations with robust stability constraints. https://github.com/jotrub/dde-nv
Pinheiro CIC, Fernandes JL, Domingues L, Chambel AJS, Graça I, Oliveira NMC, Cerqueira HS, Ribeiro FR (2012) Fluid catalytic cracking (FCC) process modeling, simulation, and control. Ind Eng Chem Res 51(1):1–29
Rackauckas C, Nie Q (2017) Differential equations jl—a performant and feature-rich ecosystem for solving differential equations in Julia. J Open Res Softw 5(15):1–10
Secchi AR, Santos MG, Neumann GA, Trierweiler JO (2001) A dynamic model for a FCC UOP stacked converter unit. Comput Chem Eng 25(4):851–858
Shaikh AA, Al-Mutairi EM, Ino T (2008) Modeling and simulation of a downer-type HS-FCC unit. Ind Eng Chem Res 47(23):9018–9024
Theologos KN, Markatos NC (1993) Advanced modeling of fluid catalytic cracking riser-type reactors. AIChE J 39(6):1007–1017
Vanbiervliet J, Verheyden K, Michiels W, Vandewalle S (2008) A nonsmooth optimisation approach for the stabilisation of time-delay systems. ESAIM COCV 14(3):478–493
Zheng Y-Y (1994) Dynamic modeling and simulation of a catalytic cracking unit. Comput Chem Eng 18(1):39–44
Acknowledgements
Funding by Deutsche Forschungsgemeinschaft under Grant Number MO 1086/13-1 is gratefully acknowledged.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Otten-Weinschenker, J., Mönnigmann, M. Robust optimization of stiff delayed systems: application to a fluid catalytic cracking unit. Optim Eng 23, 2025–2050 (2022). https://doi.org/10.1007/s11081-021-09654-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11081-021-09654-8