The methods considered in this paper for solving the problem are explained in this part. Also, the information regarding the SOS method, decomposition of sum squares, and state-dependent LMIs are given.
The SOS method
In recent years, the SOS method and semidefinite programming (SDP) have been proposed to form the Lyapunov functions for closed-loop stability. The squared sum method uses algebraic calculations and convex optimization to create efficient convex relaxation for complex computational problems. This method is a set of optimization problems in which a linear cost function needs to be solved under the constraints of a polynomial matrix. The SOS programming is considered to analyze and design the control systems and is significantly advantageous for many systems, especially hybrid systems, nonlinear systems, time-delay systems, and uncertain systems [19, 20]. Considering the theory of ordinary differential equations (ODEs), Lyapunov functions are known as the scalar functions which can be employed for proving the stability of an equilibrium of an ODE. In order to guarantee the stability for specific classes of ODEs, the Lyapunov functions need to be considered. A model with a polynomial vector such as \(\dot{x}=f\left(x\right)\) where f (0) = 0 is considered according to which the main idea is to find a polynomial V (x) function that satisfies the following conditions:
\(V\left(x\right)-\varphi \left(x\right) is SOS\)
|
(1)
|
\(-\frac{\partial V}{\partial x}f\left(x\right) is SOS\)
|
(2)
|
where ϕ (x) denotes a definite positive polynomial, the condition of the sum of the squares ensures that the above functions are non-negative, and V(x) is a Lyapunov function that proves that the system is stable.
For example, \(\dot{x}=f\left(x\right)+g\left(x\right)u\) can be considered as a system in which f(x) and g(x) are polynomial functions. The method mentioned above can be employed to design state feedback controllers and specify the polynomial state feedback u = k(x) rule. Through the use of the Lyapunov function, the following condition is satisfied:
\(-\frac{\partial V}{\partial x}\left(f\left(x\right)+g\left(x\right)k\left(x\right)\right) is SOS\)
|
(3)
|
However, the set of V(x) and k(x) that meet these conditions isn’t a common convex problem yet. According to this condition, the simultaneous search is difficult for V(x) and k(x) and is equivalent to solving several Bilinear Matrix Inequality (BMI). Therefore, a dual method for designing state feedback based on the density function was proposed with a better convexity [30, 41]. However, the question that needs to be raised here is how a target function can be considered in this method based on density.
The decomposition of SOS and state-dependent LMIs
The computational method used here is based on analyzing SOS equations of multivariate polynomials. A multivariate functional polynomial is indicated below in which \(x\in {R}^{n}\).
\(f\left(x\right)=\sum _{i=1}^{m}{f}_{i}^{2}\left(x\right)\)
|
(4)
|
where, the real constants ci, i = 1,…, m are employed to parameterize a series of candidate Lyapunov functions in an affine form. For example:
\(\text{Ѵ}=\left\{V\left(x\right): V\left(x\right)={v}_{0}\left(x\right)+{\sum }_{i=1}^{m}{c}_{i}{v}_{i}\left(x\right)\right\}\)
|
(5)
|
where \(V\left(x\right)\) represents some monomials in terms of x, is considered. Then, \(\text{u}\text{s}\text{i}\text{n}\text{g} \text{s}\text{e}\text{m}\text{i}-\text{f}\text{i}\text{n}\text{i}\text{t}\text{e} \text{p}\text{r}\text{o}\text{g}\text{r}\text{a}\text{m}\text{m}\text{i}\text{n}\text{g} \left(\text{S}\text{I}\text{P}\right), V\left(x\right)\in \text{Ѵ}\), or equivalently the ci coefficients are specified to meet the constraints (Equations 1 and 2). Notably, SIP has a finite number of variables and infinite number of constraints and is practical in an optimization problem. The lower-level variables of SIP are not considered in the objective function. In this paper, an object optimization in which a quasi-linear function is utilized to determine the coefficients can be considered if necessary [42]. This method can be employed for a set of state-dependent LMIs, which are as follows:
\({min}{\sum }_{i=1}^{m}{a}_{i}{c}_{i}\)
|
(6)
|
\(s.t. {F}_{0}\left(x\right)+{\sum }_{i=1}^{m}{c}_{i}{F}_{i}\left(x\right)\ge 0\)
|
(7)
|
According to Equations 6 and 7, ai is the real constant coefficients, and ci is the decision variable. Also, \({F}_{i}\left(x\right)\) indicates the symmetric matrix functions of indefinite \(x\in {R}^{n}\). The left side of the inequality is semidefinite for all positive values of \(x\in {R}^{n}\). Solving the high-optimization problem requires solving many LMIs and is computationally challenging. On the other hand, when \({F}_{i}\left(x\right)\) is the symmetric polynomial matrices in terms of x, the analysis of the sum of the squares can provide computational programming for Equations 3–7, which can be represented as a theorem.
Theorem 1[30]: \(F\left(x\right)\) is assumed to be a symmetric polynomial matrix N*N with the degree of 2d in terms of \(x\in {R}^{n}\). Also, Z(x) is a column vector whose objects are monomials in terms of x with degrees less than d. Thus, there are:
- \(F\left(x\right)\ge 0 \forall x\in {R}^{n}\)
- \({v}^{T}F\left(x\right)v is SOS, v\in {R}^{N}\)
- There is a positive semidefinite matrix in such that \({v}^{T}F\left(x\right)v={\left(v\otimes Z\left(x\right)\right)}^{T}Q\left(v\otimes Z\left(x\right)\right)\) in which \(\otimes\) represents the multiple of Kronecker. It should be noted that the Kronecker is considered as an operation on two matrices with any size that results in a block matrix.
According to this theorem, the solutions of the SOS optimization problem are considered for state-dependent (6) and (7) LMIs:
\({min}{\sum }_{i=1}^{m}{a}_{i}{c}_{i}\)
\(s.t. {v}^{T}\left({F}_{0}\left(x\right)+{\sum }_{i=1}^{m}{c}_{i}{F}_{i}\left(x\right)\right)v is SOS\)
|
(8)
|
The state feedback controller design
The state feedback control system is designed for a set of nonlinear polynomial systems by the SOS decomposition. In fact, \(\dot{x}=f\left(x\right)+g\left(x\right)u\)is a quasi-linear system that depends on the following state:
\(\dot{x}=A\left(x\right)Z\left(x\right)+B\left(x\right)u\)
|
(9)
|
In which, A(x) and B(x) indicate that the polynomial matrices are in terms of x accordingly, Z(x) is a vector N*1 of monomials in terms of x that satisfies the following hypothesis.
Hypothesis 1
, so that:
\({M}_{ij}\left(x\right)=\frac{\partial {Z}_{i}}{\partial {x}_{j}}\left(x\right), i=1, 2, \dots , N and j=1, 2, \dots , n , \tilde{x}=\{{x}_{{j}_{1}}, \dots , {x}_{{j}_{m}}\}\)
|
(10)
|
The aim is to meet the condition of the equilibrium point (x = 0) for the state feedback controller \(u=k\left(x\right)=F\left(x\right)Z\left(x\right)\).
Lemma
[30]: For a symmetric polynomial matrix P(x) that is non-singular based on the x values, (11) is considered:
\(\frac{\partial P}{\partial {x}_{i}}\left(x\right)=-P\left(x\right)\left(\frac{\partial {P}^{-1}}{\partial {x}_{i}}\right)P\left(x\right)\)
|
(11)
|
Theorem
[30]: For the system given in (9), it is assumed that a symmetric polynomial matrix is a polynomial matrix (K (x)) n * N. There are a constant and a set of squares exists in such a way that below two conditions are met:
In these equations, the feedback stabilization problem can be solved easily, and the system stabilization controller is presented as follows:
\(u\left(x\right)=K\left(x\right){P}^{-1}\left(\tilde{x}\right)Z\left(x\right)\)
|
(15)
|
In addition, (13) is satisfied based on \(x\ne 0\) and \({ϵ}_{2}\left(x\right)>0\), and Lyapunov system stability is obtained. If \(P\left(\tilde{x}\right)\) is a constant matrix, the total stability for the system is obtained.
In the next sections, the nonlinear optimal controller is designed, which is, actually, the extension of the quadratic linear regulator (LQR) problem to a nonlinear regulator.
The optimal nonlinear controller design
The nonlinear optimal control problem is solved accurately using a Hamilton-Jacobi partial differential relation. Hence, a solution considering the state-dependent LMIs can be obtained through the non-optimal state. The Lyapunov function obtained here provides a high limit for the optimal cost function. Notably, this control design is known as guaranteed cost control. For the sake of simplicity, the following structure is considered:
\(\left[\begin{array}{c}\dot{X}\\ {Z}_{1}\\ {Z}_{2}\end{array}\right]=\left[\begin{array}{cc}A\left(x\right)& x\\ {C}_{1}\left(x\right)& 0\\ {C}_{2}\left(x\right)& I\end{array}\right]\left[\begin{array}{c}Z\left(x\right)\\ u\end{array}\right]\), \(X\left(0\right)={x}_{0}\)
|
(16)
|
where \(Z\left(x\right)\) is the monomial vector that satisfies Hypothesis 1 and \({z}_{1}\in {\text{R}}^{\text{M}}\). The major aim here is to design the state feedback rule \(\text{u}=\text{K}\left(\text{x}\right)\text{Z}\left(\text{x}\right)\) such that the closed-loop system has asymptotic stability, and the cost function is obtained as follows:
\({\left|\left|z\right|\right|}_{2}^{2}={\int }_{0}^{{\infty }}\left[{z}_{1}^{2}\left(t\right)+{z}_{2}^{2}\left(t\right)\right]dt\)
|
(17)
|
Theorem 3
[30]: A symmetric polynomial matrix is assumed for (16), and the constant of and a sum of squares are considered for the following equations.
\({v}_{1}^{T}\left(P\left(\stackrel{-}{x}\right)-{\in }_{1}I\right){v}_{1}= {\left[\begin{array}{c}{v}_{1}\\ {v}_{2}\end{array}\right]}^{T}\left[\begin{array}{cc}M\widehat{A}P+P{\widehat{A}}^{T}{M}^{T}-MB{B}^{T}{M}^{T}-{\varSigma }_{j\in J}\frac{\partial P}{\partial {x}_{j} }\left({A}_{j}Z\right)+{ϵ}_{2}I& P{C}_{1}^{T}\\ {C}_{1}P& -(1-{ϵ}_{2})I\end{array}\right]{\left[\begin{array}{c}{v}_{1}\\ {v}_{2}\end{array}\right]}^{ }\)
|
(18)
|
and
\(\widehat{A}\left(x\right)=A\left(x\right)-B\left(x\right){C}_{2}\left(x\right)\)
|
(19)
|
\(u\left(x\right)=-[{B}^{T}\left(x\right){M}^{T}\left(x\right){P}^{-1}\left(\stackrel{-}{x}\right)+{C}_{2}(x\left)\right]Z\left(x\right)\)
|
(20)
|
The zero equilibrium point of a closed-loop system is asymptotic, and if \(P\left(\tilde{x}\right)\) is constant, the stability will be universal. Also, the following equation is considered for each initial condition inside the zero equilibrium absorption region.
\({‖z‖}_{2}^{2}\le {z}^{T}\left({x}_{0}\right){P}^{-1}\left({\tilde{x}}_{0}\right)Z\left({x}_{0}\right)\)
|
(21)
|
The control method proposed in this study is applied to the PEMFC which is explained in the following section.
The Equations Considered For The Control Method
The equations used in this study are outlined in this section based on which the control method will be applied to PEMFC.
The feedback controller design with transient improvement
According to the explanations and equations illustrated above, Theorem 4 is presented for the control system considered in this study. The exponential stability of the system under the desired controller is achieved through the obtained equation in this theorem.
Theorem 4
According to the system defined in (9), the matrices and K(x), the number γ, a constant, and a set of squares are considered to satisfy the following equations:
Subject to
$${v}_{1}^{T}\left[P\left(\tilde{x}\right)-{\text{ϵ}}_{1}I\right]{v}_{1} is SOS$$
$$-{v}_{2}^{T}\left[\begin{array}{ccc}{{\Psi }}_{1}\left(x\right)-{\text{ϵ}}_{2}I& \text{*}& \text{*}\\ I& 0& \text{*}\\ 0& \gamma I& P\left(\tilde{x}\right)\end{array}\right]{v}_{2} is SOS$$
Then, the system under the following controller is exponentially stable:
\(u\left(x\right)=K\left(x\right){P}^{-1}\left(\tilde{x}\right)Z\left(x\right)\)
|
(22)
|
Proof: To prove Theorem 4, the condition below is considered in the beginning:
\(\frac{dV}{dt}\left(x\left(t\right)\right)\le -\lambda V\left(x\right)\)
|
(23)
|
where \(\lambda\) is a positive value, and also a positive constant, namely L can be defined in such a way that the system operates considering the below equation in terms of \(x\left(0\right)\).
\(‖x\left(t\right)‖=L‖x\left(0\right)‖\text{*}\text{exp}\left(-\lambda t\right)\)
|
(24)
|
On the other hand, considering Lyapunov function:
\(V\left(x\right)={Z}^{T}\left(x\right){P}^{-1}\left(\tilde{x}\right)Z\left(x\right)\)
|
(25)
|
The closed-loop system can be presented by:
\(\dot{x}=\left(A\left(x\right)+B\left(x\right)K\left(x\right){P}^{-1}\left(\tilde{x}\right)\right)Z\left(x\right)\)
|
(26)
|
Since the matrices \(P\left(\tilde{x}\right)\) and \({P}^{-1}\left(\tilde{x}\right)\) are definite positive in terms of the whole values of x, the Lyapunov function is positive based on the whole values of x.
\(\frac{dV}{dt}\left(x\left(t\right)\right)={Z}^{T}\left(x\right)\left({\left(A\left(x\right)+B\left(x\right)K\left(x\right){P}^{-1}\left(\tilde{x}\right)\right)}^{T}{M}^{T}{P}^{-1}\left(\tilde{x}\right)+{P}^{-1}\left(\tilde{x}\right)M\left(x\right)\left(A\left(x\right)+B\left(x\right)K\left(x\right){P}^{-1}\left(\tilde{x}\right)\right)+\sum _{j\in J}\frac{\partial {P}^{-1}}{\partial {x}_{j}}\left(\tilde{x}\right)\left({A}_{j}\left(x\right)Z\left(x\right)\right)\right)Z\left(x\right)\)
|
(27)
|
Moreover, the whole exponentially stable systems are considered asymptotically stable. Since exponential stability is assumed here, the following matrix will be definite for all negative x(t) values.
\({\left(A\left(x\right)+B\left(x\right)K\left(x\right){P}^{-1}\left(\tilde{x}\right)\right)}^{T}{M}^{T}{P}^{-1}\left(\tilde{x}\right)+{P}^{-1}\left(\tilde{x}\right)M\left(x\right)\left(A\left(x\right)+B\left(x\right)K\left(x\right){P}^{-1}\left(\tilde{x}\right)\right)+\sum _{j\in J}\frac{\partial {P}^{-1}}{\partial {x}_{j}}\left(\tilde{x}\right)\left({A}_{j}\left(x\right)Z\left(x\right)\right)+\lambda {P}^{-1}\left(\tilde{x}\right)\le 0\)
|
(28)
|
Multiplying the matrix \(P\left(\tilde{x}\right)\) on both sides, it can be concluded that the following matrix must be negative:
\(-\sum _{j\in J}\frac{\partial {P}^{-1}}{\partial {x}_{j}}\left(\tilde{x}\right)\left({A}_{j}\left(x\right)Z\left(x\right)\right)+P\left(\tilde{x}\right){A}^{T}\left(x\right){M}^{T}\left(x\right)+M\left(x\right)A\left(x\right)P\left(\tilde{x}\right)+{K}^{T}\left(x\right){B}^{T}\left(x\right){M}^{T}\left(x\right)+M\left(x\right)B\left(x\right)K\left(x\right)+2\lambda P\left(\tilde{x}\right)+\lambda {P}^{-1}\left(\tilde{x}\right)\le 0\)
|
(29)
|
The optimization problem is considered to improve the transient state by maximizing the value of λ. In the above equation, \(\lambda {P}^{-1}\left(\tilde{x}\right)\) is used to convert an inequality to a BMI problem that is non-convex. To convert the above inequality to an LMI problem, the Schur complement is employed as follows:
\(\left[\begin{array}{cc}{\varPsi }_{1}\left(x\right)& I\\ I& -\frac{{P}^{-1}\left(\tilde{x}\right)}{\lambda }\end{array}\right]=\left[\begin{array}{cc}{\varPsi }_{1}\left(x\right)& I\\ I& 0\end{array}\right]-\left[\begin{array}{c}0\\ \frac{1}{\sqrt{\lambda }}I\end{array}\right]{P}^{-1}\left(\tilde{x}\right)\left[\begin{array}{cc}0& \frac{1}{\sqrt{\lambda }}I\end{array}\right]\le 0\)
|
(30)
|
The matrix \(M=\left[\begin{array}{cc}A& B\\ C& D\end{array}\right]\) can be considered a (p + q)*(p + q) matrix according to which p and q are positive integers. Notably, A, B, C, D are p*p, p*q, q*p, and q*q matrices of complex numbers. Now, when A is invertible, M/A:=D-CA-1B defines the q*q matrix for the Schur complement of the block A of the matrix M. Accordingly, M/D:=A-BD-1C defines the p*p matrix for the Schur complement of the block D of the matrix M when D is invertible.
Using the Schur complement, the equation below is obtained:
\(\left[\begin{array}{ccc}{{\Psi }}_{1}\left(x\right)& \text{*}& \text{*}\\ I& 0& \text{*}\\ 0& \gamma I& P\left(\tilde{x}\right)\end{array}\right]\le 0, \gamma =\frac{1}{\sqrt{\lambda }}\)
|
(31)
|
Now, a linear matrix that needs to be definite for all negative x(t) values is achieved. It should be noted that the minimum value of the variable γ is equal to the maximum value of λ.
The Pemfc Control
The structure of PEMFC and its unique features are illustrated in detail. Besides, the process of applying the control methods proposed in this research to PEMFC is explained.
The structure of PEMFC
Figure 1 illustrates the PEMFC structure, which is strikingly popular due to its high efficiency and density, low operating temperature, quick implementation, long lifetime of the stack and cell, and usability in hybrid vehicles. Also, PEMFC has low fatigue and can efficiently operate at low temperatures of 40–80°C, which leads to a relative increase in its implementation speed [43]. According to Fig. 1, the electrolyte material used is a polymer membrane known as a PEM and is broadly utilized in transportation applications. Notably, this material varies regarding the FC system type according to which fuel (usually hydrogen) is injected into the anode and air (or pure oxygen) enters towards the cathode. On the anode side, electrons are released when gas tries to pass through the electrolyte membrane, whose task is to filter the electrons and allows only 2H + ions to pass through. These ions are combined with oxygen atoms to produce water (H2O) on the cathode side as a by-product. Heat is also a by-product of other reactions that occur. It is noteworthy that unlike the internal combustion engines, in which fuel is mixed with air and ignited, there is a barrier between the fuel and the oxidizer in a fuel cell that prevents combustion. Thus, the pollution caused by the fuel cell and internal combustion engine is not the same. In other words, water and heat are the only by-products of the fuel cell [44].
Applying the control method to PEMFC
In this system, Oxygen partial pressure and Nitrogen partial pressure are obtained by the law of conservation of mass and the rule of the ideal gas.
\(\frac{d{p}_{{O}_{2}}}{dt}=\frac{R{T}_{fc}}{{V}_{ca}{M}_{{O}_{2}}}\text{*}\left[{W}_{{O}_{2}, in}-{W}_{{O}_{2}, out}-{W}_{{O}_{2}, react}\right]\) and \(\frac{d{p}_{{N}_{2}}}{dt}=\frac{R{T}_{fc}}{{V}_{ca}{M}_{{N}_{2}}}\text{*}\left[{W}_{{N}_{2}, in}-{W}_{{N}_{2}, out}\right]\) | (32) |
\({M}_{{O}_{2}}\) and \({M}_{{N}_{2}}\) denote molar masses of Oxygen and Nitrogen; Vca and R represent the cathode volume and the universal gas constant, respectively; Tfc denote FC temperature; \({W}_{{O}_{2}, in}\) and \({\text{W}}_{{\text{O}}_{2}, \text{o}\text{u}\text{t}}\)represent the mass flow rate of oxygen inlet and outlet. Whereas \({W}_{{N}_{2}, in}\) and \({W}_{{N}_{2}, out}\) determine the mass flow rate of Nitrogen inlet and outlet flow. In addition, \({\text{W}}_{{\text{O}}_{2}}\) indicates the mass flow rate of the oxygen reaction flow. Here, the mass flow of the input flow is obtained through the following equations:
\({W}_{{O}_{2}, in}={x}_{{O}_{2}}{W}_{ca, in}\), \({W}_{{N}_{2}, in}=\left(1-{x}_{{O}_{2}}\right)\text{*}{W}_{ca, in}\)
|
(33)
|
\({W}_{ca, in}=\frac{1}{1+{\omega }_{atm}}\text{*}{k}_{ca, in}\text{*}\left[{p}_{sm}-{p}_{ca}\right]\), \({\omega }_{atm}=\frac{{M}_{v}}{{M}_{a}}\text{*}\left[\frac{{\varphi }_{atm}\text{*}{p}_{sat}\left({T}_{atm}\right)}{{p}_{atm}-\left({\varphi }_{atm}\text{*}{p}_{sat}\left({T}_{atm}\right)\right)}\right]\) | (34) |
\({x}_{{O}_{2}}\) represents the mass of oxygen, and \({\varphi }_{atm}\) indicates the relative humidity (which is 0.5 on average); \({p}_{atm}\) and \({p}_{atm}\left({T}_{atm}\right)\) show the atmospheric and saturation pressures; \({k}_{ca}\) is the constant of the cathode inlet. Also, \({p}_{ca}\)is the cathode pressure calculated by the following equation:
\({p}_{ca}={p}_{{O}_{2}}+{p}_{{N}_{2}}+{p}_{sat}\)
|
(35)
|
The mass flow of outlet flow is calculated through the following equations:
\({W}_{{O}_{2}, out}={W}_{ca, out}\text{*}\left[\frac{{M}_{{O}_{2}}{p}_{{O}_{2}}}{{M}_{{O}_{2}}{p}_{{O}_{2}}+{M}_{{N}_{2}}{p}_{{N}_{2}}+{M}_{v}{p}_{sat}}\right]\)
\({W}_{{N}_{2}, out}={W}_{ca, out}\text{*}\left[\frac{{M}_{{N}_{2}}{p}_{{N}_{2}}}{{M}_{{O}_{2}}{p}_{{O}_{2}}+{M}_{{N}_{2}}{p}_{{N}_{2}}+{M}_{v}{p}_{sat}}\right]\)
|
(36)
|
where, \({W}_{ca, out}\) denotes the mass flow for the outlet flow of cathode and is obtained by (37), according to which \({k}_{ca, out}\) is the constant of the outlet flow of cathode.
\({W}_{ca, out}={k}_{ca, out}\text{*}{\left({p}_{ca}-{p}_{atm}\right)}^{0.5}\)
|
(37)
|
The consumption rate of oxygen that reacts at the cathode is represented by the basic electrochemical principles below:
\({W}_{{O}_{2}, react}={M}_{{O}_{2}}\text{*}\left[\frac{n{I}_{st}}{4F}\right]\)
|
(38)
|
In this formula, F indicates the Faraday number and n is the number of cell stacks. In addition, \({I}_{st}\) shows the stack flow.
The following mechanical relation presents angular velocity dynamics (angular acceleration):
\(\frac{d{\omega }_{cp}}{dt}=\frac{\left[{\tau }_{cm}-{\tau }_{cp}-{\tau }_{f}\right]}{{J}_{cp}}\)
|
(39)
|
\({J}_{cp}\) denotes the compressor motor's inertia; \({\tau }_{cm}\), \({\tau }_{cm}\), and \({\tau }_{f}\) represent the compressor torques, the compressor flow, and orifice.
\({\tau }_{cm}={\eta }_{cm}{k}_{t}{I}_{q}\)
\({\tau }_{f}=f{\omega }_{cp}\)
\({\tau }_{cp}=\left[\frac{{C}_{p}{T}_{atm}}{{\eta }_{cp}{\omega }_{cp}}\right]\text{*}\left[{\left(\frac{{p}_{sm}}{{p}_{atm}}\right)}^{\left(1-\frac{1}{\gamma }\right)}-1\right]\text{*}{W}_{cp}\)
|
(40)
|
where \({k}_{t}\) denotes the motor constant, \({\eta }_{cp}\) is the compressor performance, and f indicates the engine friction. Also, \({{\eta }}_{\text{c}\text{m}}\) represents the engine's mechanical efficiency; γ indicates the air-specific heat ratio, and \({C}_{p}\) denotes the specific heat capacity of the air. Finally, the mass flow of the compressor flow is represented by \({W}_{cp}\) [45].
It is noteworthy that the following differential equation represents the air pressure dynamics of the power port:
\(\frac{d{p}_{sm}}{dt}=\left[\frac{R{T}_{cp}}{{M}_{a}{V}_{sm}}\right]\text{*}\left[{W}_{cp}-{k}_{ca, in}\text{*}\left({p}_{sm}-{p}_{ca}\right)\right]\)
|
(41)
|
where \({V}_{sm}\) and \({T}_{cp}\)indicate the power port volume and the temperature of the compressor outlet gas.
\({T}_{cp}=\frac{{T}_{atm}}{{\eta }_{cp}}\left({\left[\frac{{p}_{sm}}{{p}_{atm}}\right]}^{1-\frac{1}{\gamma }}-1\right)+{T}_{atm}\)
|
(42)
|
Clearly, the state equations of the system contain many parameters and are fundamentally complex. The fixed system parameters have been aggregated for simplification, and the complete model has been simplified as follows:
\(x={\left[{p}_{{O}_{2}} {p}_{{N}_{2}} {\omega }_{cp} {p}_{sm}\right]}^{T}={\left[{x}_{1} {x}_{2} {x}_{3} {x}_{4}\right]}^{T}\)
|
(43)
|
In general, the complete system is defined as follows:
\({\dot{x}}_{1}={c}_{1}\left[{x}_{4}-{x}_{1}-{x}_{2}-{c}_{2}\right]-{c}_{17}\left[\frac{{c}_{3}{x}_{1}}{{c}_{4}{x}_{1}+{c}_{5}{x}_{2}+{c}_{6}}\right]{\left[{x}_{1}+{x}_{2}+{c}_{2}-{c}_{11}\right]}^{0.5}-{c}_{7}\zeta\)
\({\dot{x}}_{2}={c}_{8}\left[{x}_{4}-{x}_{1}-{x}_{2}-{c}_{2}\right]-{c}_{17}\left[\frac{{c}_{3}{x}_{2}}{{c}_{4}{x}_{1}+{c}_{5}{x}_{2}+{c}_{6}}\right]{\left[{x}_{1}+{x}_{2}+{c}_{2}-{c}_{11}\right]}^{0.5}\)
\({\dot{x}}_{3}={c}_{13}u-{c}_{9}{x}_{3}-{c}_{10}\left({\left[\frac{{x}_{4}}{{c}_{11}}\right]}^{{c}_{12}}-1\right)\)
\({\dot{x}}_{4}={c}_{14}\left({c}_{15}\left({\left[\frac{{x}_{4}}{{c}_{11}}\right]}^{{c}_{12}}-1\right)+1\right)\left({W}_{cp}-{c}_{16}\left[{x}_{4}-{x}_{1}-{x}_{2}-{c}_{2}\right]\right)\)
|
(44)
|
with respect to (34), \(u={I}_{q}, and \zeta ={I}_{st}\).
In this study, the quadratic current of motor is considered as the control input (u), and the stack current (ζ) is regarded as a measurable turbulence input. The pressures x1, x2, and x4 are positive, and since the air supply is unidirectional, the compressor speed x3 is always positive.
The next sections presented the equations that need to be considered for the proposed control method. Also, the control purposes are outlined in this section.
The control outputs
In the commercial PEM fuel cells, below set of variables are considered as measureable parameters, and they can be introduced as outputs:
\(y={\left[{y}_{1} {y}_{2} {y}_{3}\right]}^{T}={\left[{V}_{st} {p}_{sm} {W}_{cp}\right]}^{T}\)
|
(45)
|
where \({V}_{st}\) and \({p}_{sm}\) are the stack voltage and the pressure of the supply port, respectively, and \({W}_{cp}\) indicates the compressor airflow. The airflow at the compressor outlet is a function of the angular velocity of the compressor and the pressure of the supply port, which is defined as follows [6]. Accordingly, \({\eta }_{v-c}\) is the volume efficiency.
\({y}_{3}\left({x}_{3}\right)=\frac{1}{2\pi }\left[{V}_{\frac{cpr}{tr}}{\eta }_{v-c}{\rho }_{a}{x}_{3}\right]={c}_{21}{x}_{3}\)
|
(46)
|
The controller’s aims
In fact, the controllers that bring the most accurate results and work with the highest efficiency are significantly welcome. This aim is obtained when most of the uncertainties can be overcome through these controllers. Eq. (47) outlines the system efficiency that is the central attention of this work.
\(z={\left[{z}_{1} {z}_{2}\right]}^{T}={\left[{P}_{net} {\lambda }_{{O}_{2}}\right]}^{T}\)
|
(47)
|
where \({P}_{net}\) denotes the FC net power (the difference between the whole power generated of the stack and the power used of the compressor), also, \({\lambda }_{{O}_{2}}\) the oxygen excess ratio (excess air in the stack). This parameter is the rate of fed and used oxygen in the reaction period at the cathode. These variables can be presented mathematically by:
\({P}_{net}={P}_{st}-{P}_{cm}\), \({\lambda }_{{O}_{2}}=\frac{{W}_{{O}_{2}, in}}{{W}_{{O}_{2}, react}}\), \({P}_{st}={V}_{st}{I}_{st}\), \({P}_{cm}={\tau }_{cm}{\omega }_{cp}\)
|
(48)
|
The above equation can be written as follows:
\({z}_{1}={y}_{1}\zeta -{c}_{18}{x}_{3}u\), \({z}_{2}=\frac{{c}_{19}}{{c}_{20}\zeta }\left[{x}_{3}-{x}_{1}\right]\) | (49) |
The control purpose of the fuel cell is considered for the optimized \({P}_{net}\), that is measured at the stack output. As it’s shown, \({P}_{net}\) and \({\lambda }_{{O}_{2}}\) are interconnected through ζ. As illustrated in the literature, the maximum net power for various currents is between 2 and 2.5 [46]. Therefore, according to the load current, the control purpose is met by regulating \({\lambda }_{{O}_{2}}\) at the operation points.
The optimal operation points are already known concerning the obtained results, and the optimization algorithm does not need to be used. Also, the net power is easily maximized through regulating the OER for the pre-defined operation point. The excess rate of the reference oxygen is extracted from the experimental results and is presented as a net power-dependent polynomial and stack current. The characteristic curve is presented as a third-degree polynomial which is shown below:
\({z}_{2, ref}=5e-8{\zeta }^{3}-2.87e-5{\zeta }^{2}+2.23e-3\zeta +2.5\)
|
(50)
|
The criterion below is considered for the optimization process:
\(PI=1-\frac{{P}_{net}}{{P}_{net, ref}}\)
|
(51)
|
and
\({P}_{net, ref}=1.562e-2{\zeta }^{2}+5.671e+1\zeta +6.063e+2\)
|
(52)
|