(→3.3 Stability analysis) |
(→Reference) |
||
(32 intermediate revisions by the same user not shown) | |||
Line 26: | Line 26: | ||
Based on the aforementioned analysis, this paper attempts to solve the FTC problem for a class of nonlinear systems with actuator fault and mismatched disturbance. The main works can be summarized as follows. First of all, an improved nonlinear disturbance observer is designed to estimate the mismatched disturbance. Then, the integral sliding mode controller is presented based on the observer, where the reachability of sliding motion is proved. Furthermore, the mismatched disturbance is divided into two parts, in which the matched part is compensated by the disturbance information while the remaining part is attenuated by the adaptive controller. Finally, the adaptive control law is proposed, which can adaptively adjust controller parameters to compensate for the fault and disturbance. The effectiveness of the method is verified through two examples. | Based on the aforementioned analysis, this paper attempts to solve the FTC problem for a class of nonlinear systems with actuator fault and mismatched disturbance. The main works can be summarized as follows. First of all, an improved nonlinear disturbance observer is designed to estimate the mismatched disturbance. Then, the integral sliding mode controller is presented based on the observer, where the reachability of sliding motion is proved. Furthermore, the mismatched disturbance is divided into two parts, in which the matched part is compensated by the disturbance information while the remaining part is attenuated by the adaptive controller. Finally, the adaptive control law is proposed, which can adaptively adjust controller parameters to compensate for the fault and disturbance. The effectiveness of the method is verified through two examples. | ||
− | The remaining part of this paper is organized as follows. In section | + | The remaining part of this paper is organized as follows. In section 2, the system description and some assumptions are presented. In section 3, the construction of the observer and the design of the controller are presented. In section 4, two simulation examples are used to illustrate the effectiveness of the method, and some conclusions are obtained in section 5. |
==2. Problem formulation == | ==2. Problem formulation == | ||
Line 38: | Line 38: | ||
|- | |- | ||
| <math>\left\{ \begin{array}{c} | | <math>\left\{ \begin{array}{c} | ||
− | \dot{x}\left(t\right)=Ax\left(t\right)+Bu\left(t\right) | + | \dot{x}\left(t\right)=Ax\left(t\right)+Bu\left(t\right)+B_dd\left(t\right)+\Delta f\left(x,t\right)+\xi \left(x,t\right)\\ |
− | y=Cx\left(t\right) | + | y=Cx\left(t\right)\end{array}\right.</math> |
− | \end{array}\right.</math> | + | |
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (1) | | style="width: 5px;text-align: right;white-space: nowrap;" | (1) | ||
Line 55: | Line 54: | ||
|- | |- | ||
| <math>\left\{ \begin{array}{c} | | <math>\left\{ \begin{array}{c} | ||
− | \dot{x}\left(t\right)=Ax\left(t\right)+B_Hu_H\left(t\right)\mbox{ }+B_Fu_F\left(t\right) | + | \dot{x}\left(t\right)=Ax\left(t\right)+B_Hu_H\left(t\right)\mbox{ }+B_Fu_F\left(t\right)+B_dd\left(t\right)+\Delta f\left(x,t\right)+\xi \left(x,t\right)\\ |
− | y=Cx\left(t\right) | + | y=Cx\left(t\right)\end{array}\right.</math> |
− | \end{array}\right.</math> | + | |
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (2) | | style="width: 5px;text-align: right;white-space: nowrap;" | (2) | ||
Line 76: | Line 74: | ||
|- | |- | ||
| <math>\left\{ \begin{array}{c} | | <math>\left\{ \begin{array}{c} | ||
− | \dot{x}\left(t\right)=Ax\left(t\right)+Bu\left(t\right) | + | \dot{x}\left(t\right)=Ax\left(t\right)+Bu\left(t\right)+B_F\Delta u_F\left(t\right)+B_dd\left(t\right)+\Delta f\left(x,t\right)+\xi \left(x,t\right)\\ |
− | y=Cx\left(t\right) | + | y=Cx\left(t\right)\end{array}\right.</math> |
− | \end{array}\right.</math> | + | |
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (3) | | style="width: 5px;text-align: right;white-space: nowrap;" | (3) | ||
Line 93: | Line 90: | ||
{| style="text-align: center; margin:auto;" | {| style="text-align: center; margin:auto;" | ||
|- | |- | ||
− | | <math>\Delta f\left(x,t\right)\leq {\theta }_0\overline{f}\left(x\right)+ | + | | <math>\Delta f\left(x,t\right)\leq {\theta }_0\overline{f}\left(x\right)+{\upsilon }_0</math>. |
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (4) | | style="width: 5px;text-align: right;white-space: nowrap;" | (4) | ||
Line 136: | Line 133: | ||
{| style="text-align: center; margin:auto;" | {| style="text-align: center; margin:auto;" | ||
|- | |- | ||
− | | <math>\left\{\begin{array}{ | + | | <math>\left\{\begin{array}{l} |
− | \dot{p}\left(t\right)=-g\left(x\right)B_dp\left(t\right)-g\left(x\right)[B_dp\left(t\right)+Ax\left(t\right)\\ | + | \quad \dot{p}\left(t\right)= -g\left(x\right)B_dp\left(t\right)-g\left(x\right)[B_dp\left(t\right)+Ax\left(t\right)\\ |
− | +Bu\left(t\right)\mbox{ }+{\overline{\omega }}_b+B_dd\left(t\right)\mbox{ }+\Delta f\left(x,t\right)+\xi \left(x,t\right)]+T_n{\delta }_n\left(t\right)\\ | + | \qquad \qquad +Bu\left(t\right)\mbox{ }+{\overline{\omega }}_b+B_dd\left(t\right)\mbox{ }+\Delta f\left(x,t\right)+\xi \left(x,t\right)]+T_n{\delta }_n\left(t\right)\\ |
− | \overset{\mbox{ˆ}}{d}\left(t\right)=p\left(t\right)+q\left(x\right) | + | \quad \overset{\mbox{ˆ}}{d}\left(t\right)= p\left(t\right)+q\left(x\right) |
\end{array}\right.</math> | \end{array}\right.</math> | ||
|} | |} | ||
Line 182: | Line 179: | ||
|<math>\begin{array}{c} | |<math>\begin{array}{c} | ||
\dot{\overset{\mbox{ˆ}}{d}}\left(t\right)=-g\left(x\right)B_dp\left(t\right)-g\left(x\right)[B_dp\left(t\right)+Ax\left(t\right)+Bu\left(t\right)+{\overline{\omega }}_b\\ | \dot{\overset{\mbox{ˆ}}{d}}\left(t\right)=-g\left(x\right)B_dp\left(t\right)-g\left(x\right)[B_dp\left(t\right)+Ax\left(t\right)+Bu\left(t\right)+{\overline{\omega }}_b\\ | ||
− | +B_dd\left(t\right) | + | +B_dd\left(t\right)+\Delta f\left(x,t\right)+\xi \left(x,t\right)]+\frac{\partial q\left(x\right)}{\partial x}\dot{x}\left(t\right)\\ |
− | =g\left(x\right)B_de_d\left(t\right)+g\left(x\right)\left(B_F\Delta u_F\left(t\right)-{\overline{\omega }}_b\right)+T_n{\delta }_n\left(t\right) | + | \quad =g\left(x\right)B_de_d\left(t\right)+g\left(x\right)\left(B_F\Delta u_F\left(t\right)-{\overline{\omega }}_b\right)+T_n{\delta }_n\left(t\right) |
\end{array}</math> | \end{array}</math> | ||
|} | |} | ||
Line 240: | Line 237: | ||
|- | |- | ||
| <math>\begin{array}{c} | | <math>\begin{array}{c} | ||
− | e_d\leq \Vert e^{-g\left(x\right)B_dt}e_d\left(0\right)\Vert +{\int }_0^t\Vert e^{-g\left(x\right)B_d\left(t-s\right)}{\epsilon }_d\Vert \mbox{ }ds=ce^{-\rho t}h_0+c{\int }_0^t{\epsilon }_de^{-\rho \left(t-s\right)}ds\\ | + | e_d\leq \Vert e^{-g\left(x\right)B_dt}e_d\left(0\right)\Vert +{\int }_0^t\Vert e^{-g\left(x\right)B_d\left(t-s\right)}{\epsilon }_d\Vert \mbox{ }ds\\ |
+ | =ce^{-\rho t}h_0+c{\int }_0^t{\epsilon }_de^{-\rho \left(t-s\right)}ds\\ | ||
=ce^{-\rho t}h_0+\frac{c{\epsilon }_d}{\rho }\left(1-e^{-\rho t}\right) | =ce^{-\rho t}h_0+\frac{c{\epsilon }_d}{\rho }\left(1-e^{-\rho t}\right) | ||
\end{array}</math> | \end{array}</math> | ||
Line 388: | Line 386: | ||
|- | |- | ||
| <math>\begin{array}{c} | | <math>\begin{array}{c} | ||
− | \dot{s}\left(t\right)=D\left(Ax\left(t\right)+Bu\left(t\right)\mbox{ }+B_F\Delta u_F\left(t\right)\mbox{ }+B_dd\left(t\right)\mbox{ }\right) | + | \dot{s}\left(t\right) = D\left(Ax\left(t\right)+Bu\left(t\right)\mbox{ }+B_F\Delta u_F\left(t\right)\mbox{ }+B_dd\left(t\right)\mbox{ }\right)-DAx\left(t\right)\\ |
− | -DAx\left(t\right)-DBu_m\left(t\right)-DB_d\overset{\mbox{ˆ}}{d}\left(t\right)+D\left(\Delta f\left(x,t\right)+\xi \left(x,t\right)\right)\\ | + | -DBu_m\left(t\right)-DB_d\overset{\mbox{ˆ}}{d}\left(t\right)+D\left(\Delta f\left(x,t\right)+\xi \left(x,t\right)\right)\\ |
− | =DBu_n\left(t\right)+DB_F\Delta u_F\left(t\right)+DB_dd\left(t\right)\\ | + | =DBu_n\left(t\right)+DB_F\Delta u_F\left(t\right)+DB_dd\left(t\right)\\ |
− | -DB_d\overset{\mbox{ˆ}}{d}\left(t\right)+D\Delta f\left(x,t\right)+D\xi \left(x,t\right) | + | -DB_d\overset{\mbox{ˆ}}{d}\left(t\right)+D\Delta f\left(x,t\right)+D\xi \left(x,t\right) |
\end{array}</math> | \end{array}</math> | ||
|} | |} | ||
Line 449: | Line 447: | ||
|- | |- | ||
| <math>\begin{array}{c} | | <math>\begin{array}{c} | ||
− | \dot{V}\left(t\right)\leq -\frac{s{\left(t\right)}^TDB_dB_d{}^TD^Ts\left(t\right)}{\Vert s^T\left(t\right)DB_d\Vert }\left(\overset{\mbox{ˆ}}{\overline{\kappa }}+{\lambda }_1\right)+\Vert s{\left(t\right)}^TDB_d\Vert \overline{\kappa }-\frac{s{\left(t\right)}^TDD^Ts\left(t\right)}{\Vert s^T\left(t\right)D\Vert }\left({\overset{\mbox{ˆ}}{\delta }}_m+{\overset{\mbox{ˆ}}{\upsilon }}_0+{\lambda }_2\right)+\Vert s{\left(t\right)}^TD\Vert \left({\delta }_m+{\upsilon }_0\right)\\ | + | \dot{V}\left(t\right)\leq -\frac{s{\left(t\right)}^TDB_dB_d{}^TD^Ts\left(t\right)}{\Vert s^T\left(t\right)DB_d\Vert }\left(\overset{\mbox{ˆ}}{\overline{\kappa }}+{\lambda }_1\right)+\Vert s{\left(t\right)}^TDB_d\Vert \overline{\kappa }-\frac{s{\left(t\right)}^TDD^Ts\left(t\right)}{\Vert s^T\left(t\right)D\Vert }\\ |
− | -\frac{s{\left(t\right)}^TD\overline{f}\left(x\right)\overline{f}{\left(x\right)}^TD^Ts\left(t\right)}{\Vert s^T\left(t\right)D\overline{f}\left(x\right)\Vert }{\gamma }_1^{{_\ast}}+{\gamma }_1\Vert s{\left(t\right)}^TD\overline{f}\left(x\right)\Vert -\tilde{\overline{\kappa }}\left(\Vert s^T\left(t\right)DB_d\Vert +{\beta }_q\right)-{\tilde{\upsilon }}_0\left(\Vert s^T\left(t\right)D\Vert +{\beta }_p\right)\\ | + | \left({\overset{\mbox{ˆ}}{\delta }}_m+{\overset{\mbox{ˆ}}{\upsilon }}_0+{\lambda }_2\right)+\Vert s{\left(t\right)}^TD\Vert \left({\delta }_m+{\upsilon }_0\right)\\ |
− | -{\tilde{\delta }}_m\left(\Vert s^T\left(t\right)D\Vert +{\beta }_r\right) | + | -\frac{s{\left(t\right)}^TD\overline{f}\left(x\right)\overline{f}{\left(x\right)}^TD^Ts\left(t\right)}{\Vert s^T\left(t\right)D\overline{f}\left(x\right)\Vert }{\gamma }_1^{{_\ast}}+{\gamma }_1\Vert s{\left(t\right)}^TD\overline{f}\left(x\right)\Vert -\tilde{\overline{\kappa }}\\ |
− | <-{\lambda }_1\Vert s^T\left(t\right)DB_d\Vert -{\lambda }_2\Vert s^T\left(t\right)D\Vert | + | \left(\Vert s^T\left(t\right)DB_d\Vert +{\beta }_q\right)-{\tilde{\upsilon }}_0\left(\Vert s^T\left(t\right)D\Vert +{\beta }_p\right)\\ |
− | <0 | + | -{\tilde{\delta }}_m\left(\Vert s^T\left(t\right)D\Vert +{\beta }_r\right) |
+ | <-{\lambda }_1\Vert s^T\left(t\right)DB_d\Vert -{\lambda }_2\Vert s^T\left(t\right)D\Vert <0 | ||
\end{array}</math> | \end{array}</math> | ||
|} | |} | ||
Line 537: | Line 536: | ||
{| style="text-align: center; margin:auto;width: 100%;" | {| style="text-align: center; margin:auto;width: 100%;" | ||
|- | |- | ||
− | | style="text-align: center;" |<math>\begin{array}{ | + | | style="text-align: center;" |<math>\begin{array}{l} |
{\overline{B}}_{d_1}=\left[\begin{array}{cccc} | {\overline{B}}_{d_1}=\left[\begin{array}{cccc} | ||
{\overline{B}}_{d_{\kappa 1}} & {\overline{B}}_{d_{\kappa 2}} & ... & {\overline{B}}_{d_{\kappa m1}} | {\overline{B}}_{d_{\kappa 1}} & {\overline{B}}_{d_{\kappa 2}} & ... & {\overline{B}}_{d_{\kappa m1}} | ||
− | \end{array}\right]\in R^{n\times m_1}, \ | + | \end{array}\right]\in R^{n\times m_1}, \\ |
+ | {\overline{B}}_{d_2}=\left[\begin{array}{cccc} | ||
{\overline{B}}_{d_{\theta 1}} & {\overline{B}}_{d_{\theta 2}} & ... & {\overline{B}}_{d_{\theta m2}} | {\overline{B}}_{d_{\theta 1}} & {\overline{B}}_{d_{\theta 2}} & ... & {\overline{B}}_{d_{\theta m2}} | ||
\end{array}\right]\in R^{n\times m_2},\\ | \end{array}\right]\in R^{n\times m_2},\\ | ||
d_1={\left[\begin{array}{cccc} | d_1={\left[\begin{array}{cccc} | ||
d_{\kappa 1} & d_{\kappa 2} & ... & d_{\kappa m_1} | d_{\kappa 1} & d_{\kappa 2} & ... & d_{\kappa m_1} | ||
− | \end{array}\right]}^T\in R^{m_1\times 1}, \ | + | \end{array}\right]}^T\in R^{m_1\times 1}, \\ |
+ | d_2={\left[\begin{array}{cccc} | ||
d_{\theta 1} & d_{\theta 2} & ... & d_{\theta m_1} | d_{\theta 1} & d_{\theta 2} & ... & d_{\theta m_1} | ||
− | \end{array}\right]}^T\in R^{m_2\times 1},\ | + | \end{array}\right]}^T\in R^{m_2\times 1},\\ |
+ | m_1+m_2=\nu \end{array}</math> | ||
|} | |} | ||
|} | |} | ||
Line 845: | Line 847: | ||
{| style="text-align: center; margin:auto;" | {| style="text-align: center; margin:auto;" | ||
|- | |- | ||
− | | <math>\dot{V}\left(t\right)\leq x{\left(t\right)}^T\left(PA+\right. </math><math>\left. A^TP+P_1{}^TP_1+Q\right)x\left(t\right)-2\overset{\mbox{ˆ}}{\varpi }\Vert x^TP\Vert +</math><math>\Vert 2x{\left(t\right)}^TP{\overline{B}}_{d1}\Vert w_1 | + | | <math>\dot{V}\left(t\right)\leq x{\left(t\right)}^T\left(PA+\right. </math><math>\left. A^TP+P_1{}^TP_1+Q\right)x\left(t\right)-2\overset{\mbox{ˆ}}{\varpi }\Vert x^TP\Vert +</math><math>\Vert 2x{\left(t\right)}^TP{\overline{B}}_{d1}\Vert w_1</math> |
+ | |- | ||
+ | |<math>-2\frac{{\overset{\mbox{ˆ}}{\gamma }}^2{}_1{\overline{f}}^2\left(x\right){\Vert x^TPB\tilde{M}\Vert }^2}{\Vert x^TPB\tilde{M}\Vert \overline{f}\left(x\right){\overset{\mbox{ˆ}}{\gamma }}_1+\sigma \left(t\right)}</math><math>-2{\tilde{\gamma }}_1\Vert x^TPB\tilde{M}\Vert +2{\gamma }_1\Vert x^TP\tilde{M}\Vert \overline{f}\left(x\right)</math> | ||
+ | |- | ||
+ | | <math>-2\Vert x^TP{\overline{B}}_{d1}\Vert {\overset{\mbox{ˆ}}{w}}_1+\Vert 2x{\left(t\right)}^TP\Vert \varpi -2\tilde{\varpi }\Vert x^TP\Vert -2{\tilde{w}}_1\Vert x^TPB_{d1}\Vert</math> | ||
+ | |- | ||
+ | |-<math>\sigma \left(t\right)\left({\tilde{\varpi }}^2- \tilde{\varpi }\varpi +{\tilde{w}}^2{}_1-{\tilde{w}}_1w_1+ {\tilde{\gamma }}^2{}_1-{\tilde{\gamma }}_1{\gamma }_1\right)</math> | ||
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (56) | | style="width: 5px;text-align: right;white-space: nowrap;" | (56) | ||
Line 919: | Line 927: | ||
|- | |- | ||
| <math>\begin{array}{c} | | <math>\begin{array}{c} | ||
− | V\left(t\right)\leq V\left(t_0\right)-{\int }_{t_0}^t{\lambda }_{min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds+{\int }_{t_0}^t{\zeta }_{\kappa }\sigma \left(s\right)ds\\ | + | V\left(t\right)\leq V\left(t_0\right)-{\int }_{t_0}^t{\lambda }_{\min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds+{\int }_{t_0}^t{\zeta }_{\kappa }\sigma \left(s\right)ds\\ |
− | \leq V\left(t_0\right)-{\int }_{t_0}^t{\lambda }_{min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds+{\zeta }_{\kappa }{\sigma }^{{_\ast}} | + | \leq V\left(t_0\right)-{\int }_{t_0}^t{\lambda }_{\min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds+{\zeta }_{\kappa }{\sigma }^{{_\ast}} |
\end{array}</math> | \end{array}</math> | ||
|} | |} | ||
Line 926: | Line 934: | ||
|} | |} | ||
− | which means the system described in Eq.(33) is bounded. <math>{\lambda }_{min}\left(Q{}_{}^1\right)</math> denotes the minimum eigenvalue of <math>Q_1</math>, and <math>-Q_1=A^TP+PA+P_1{}^TP_1+Q</math>. Eq.(68) also implies | + | which means the system described in Eq.(33) is bounded. <math>{\lambda }_{\min}\left(Q{}_{}^1\right)</math> denotes the minimum eigenvalue of <math>Q_1</math>, and <math>-Q_1=A^TP+PA+P_1{}^TP_1+Q</math>. Eq.(68) also implies |
{| class="formulaSCP" style="width: 100%; text-align: center;" | {| class="formulaSCP" style="width: 100%; text-align: center;" | ||
Line 933: | Line 941: | ||
{| style="text-align: center; margin:auto;" | {| style="text-align: center; margin:auto;" | ||
|- | |- | ||
− | | <math>{\int }_{t_0}^t{\lambda }_{min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds\leq V\left(t_0\right)+</math><math>{\zeta }_{\kappa }{\sigma }^{{_\ast}}</math> | + | | <math>{\int }_{t_0}^t{\lambda }_{\min}\left(Q_1\right){\Vert x\left(s\right)\Vert }^2ds\leq V\left(t_0\right)+</math><math>{\zeta }_{\kappa }{\sigma }^{{_\ast}}</math> |
|} | |} | ||
| style="width: 5px;text-align: right;white-space: nowrap;" | (63) | | style="width: 5px;text-align: right;white-space: nowrap;" | (63) | ||
Line 939: | Line 947: | ||
− | According to Barbalat Lemma, we have <math>\underset{t\rightarrow \infty}{lim}{\Vert x\left(t\right)\Vert }^2=</math><math>0</math>. This completes the proof. | + | According to Barbalat Lemma, we have <math>\underset{t\rightarrow \infty}{\lim}{\Vert x\left(t\right)\Vert }^2=</math><math>0</math>. This completes the proof. |
''Remark 4''. Compared with the results in [15], where the nonlinear function is matched, i.e., <math>\Delta f\left(x,t\right)</math> is in the control channel. In this paper, <math>\Delta f\left(x,t\right)</math> exists in the different channel from the control input, i.e., which means that <math>\Delta f\left(x,t\right)</math> is more general. | ''Remark 4''. Compared with the results in [15], where the nonlinear function is matched, i.e., <math>\Delta f\left(x,t\right)</math> is in the control channel. In this paper, <math>\Delta f\left(x,t\right)</math> exists in the different channel from the control input, i.e., which means that <math>\Delta f\left(x,t\right)</math> is more general. | ||
Line 947: | Line 955: | ||
In this section, two examples are simulated to illustrate the effectiveness of the proposed method. | In this section, two examples are simulated to illustrate the effectiveness of the proposed method. | ||
− | + | ''Example 1''. In this example, the linearized longitudinal dynamic of the VTOL aircraft which is borrowed from [23] is considered. It is assumed that the system is subjected to unmodeled dynamics, actuator fault, and external disturbance. Then, the system can be described as system (1), where <math>x\left(t\right)={\left[\begin{array}{cccc} | |
x_1\left(t\right) & x_2\left(t\right) & x_3\left(t\right) & x_4\left(t\right) | x_1\left(t\right) & x_2\left(t\right) & x_3\left(t\right) & x_4\left(t\right) | ||
− | \end{array}\right]}^T</math> , <math>x_1\left(t\right)</math> is the horizontal velocity ( <math>knot</math> ), <math>x_2\left(t\right)</math> represents the vertical velocity ( <math>knot</math> ), <math>x_3\left(t\right)</math> is the pitch rate ( <math>degree/s</math> ), and <math>x_4\left(t\right)</math> expresses the pitch angle ( <math>degree</math> ). The parameters of the system are given as follows | + | \end{array}\right]}^T</math>, <math>x_1\left(t\right)</math> is the horizontal velocity (<math>knot</math>), <math>x_2\left(t\right)</math> represents the vertical velocity (<math>knot</math>), <math>x_3\left(t\right)</math> is the pitch rate (<math>degree/s</math>), and <math>x_4\left(t\right)</math> expresses the pitch angle (<math>degree</math>). The parameters of the system are given as follows |
− | <math>A=\left[\begin{array}{cccc} | + | {| class="formulaSCP" style="width: 100%; text-align: left;" |
+ | |- | ||
+ | | | ||
+ | {| style="text-align: center; margin:auto;width: 100%;" | ||
+ | |- | ||
+ | | style="text-align: center;" | <math>A=\left[\begin{array}{cccc} | ||
-9.9477 & -0.7476 & 0.2632 & 5.0337\\ | -9.9477 & -0.7476 & 0.2632 & 5.0337\\ | ||
52.1659 & 2.7452 & 5.5532 & -24.4221\\ | 52.1659 & 2.7452 & 5.5532 & -24.4221\\ | ||
Line 961: | Line 974: | ||
-5.5200 & 4.4900\\ | -5.5200 & 4.4900\\ | ||
0 & 0 | 0 & 0 | ||
− | \end{array}\right]</math> , <math>C=\left[\begin{array}{cccc} | + | \end{array}\right]</math>, |
+ | |- | ||
+ | | <math>C=\left[\begin{array}{cccc} | ||
1 & 0 & 0 & 0\\ | 1 & 0 & 0 & 0\\ | ||
0 & 1 & 0 & 0\\ | 0 & 1 & 0 & 0\\ | ||
Line 971: | Line 986: | ||
-5.5200 & 0\\ | -5.5200 & 0\\ | ||
0 & 0 | 0 & 0 | ||
− | \end{array}\right]</math> , | + | \end{array}\right]</math> , <math>B_F=\left[0.1767.5924.4900\right]</math>. |
+ | |} | ||
+ | |} | ||
− | <math> | + | The nonlinear unmodeled uncertainty and mismatched nonlinearity are assumed to be: <math>\Delta f\left(x,t\right)=\sin\left(x_4\right)</math>, <math>\xi \left(x,t\right)=\sin\left(x_1\right)</math>. The actuator fault and external are supposed to be as follows |
− | \\ | + | |
− | \\ | + | |
− | \\ | + | |
− | + | {| class="formulaSCP" style="width: 100%; text-align: left;" | |
− | + | |- | |
− | + | | | |
− | + | {| style="text-align: center; margin:auto;width: 100%;" | |
− | + | |- | |
− | 0 | + | | style="text-align: center;" |<math>f\left(t\right)=\left\{ \begin{array}{c} |
− | 0. | + | 0 \left(0\leq t<8\right)\\ |
− | 0 | + | 0.5\sin\left(2t+1\right) \left(8\leq t<10\right)\\ |
− | \end{array}</math> , <math>\ | + | 0\left(10\leq t<15\right)\end{array}\right.</math> , <math>\left\{ \begin{array}{c} |
− | d_1\left(t\right)= | + | d_1\left(t\right)=2\sin\left(2t+1\right)\left(0\leq t<15\right)\\ |
− | d_2\left(t\right)=0. | + | d_2\left(t\right)=0.5\sin\left(2t-3\right)\mbox{ }\left(0\leq t<15\right) |
− | \end{array}</math> . | + | \end{array}\right.</math>. |
+ | |} | ||
+ | |} | ||
Note that the mismatched disturbance and the condition <math>rank\left(B\right)\not =rank\left(B,{\overline{B}}_d\right)</math> hold, hence that the traditional method will be failed in this example. Choosing the matrix <math>D=\left[\begin{array}{cccc} | Note that the mismatched disturbance and the condition <math>rank\left(B\right)\not =rank\left(B,{\overline{B}}_d\right)</math> hold, hence that the traditional method will be failed in this example. Choosing the matrix <math>D=\left[\begin{array}{cccc} | ||
1 & 0 & 1 & 0\\ | 1 & 0 & 1 & 0\\ | ||
-1 & 1 & 0 & 1 | -1 & 1 & 0 & 1 | ||
− | \end{array}\right]</math> , | + | \end{array}\right]</math> , we can check that <math>DB</math> is invertible. By solving (50), we can obtain that |
− | <math>P=\left[\begin{array}{cccc} | + | {| class="formulaSCP" style="width: 100%; text-align: left;" |
+ | |- | ||
+ | | | ||
+ | {| style="text-align: center; margin:auto;width: 100%;" | ||
+ | |- | ||
+ | | style="text-align: center;" |<math>P=\left[\begin{array}{cccc} | ||
14843 & 161.7 & 226.9 & -745.0\\ | 14843 & 161.7 & 226.9 & -745.0\\ | ||
161.7 & 25.50 & 12.80 & -101.8\\ | 161.7 & 25.50 & 12.80 & -101.8\\ | ||
Line 1,002: | Line 1,023: | ||
745.0 & -101.8 & -47.40 & 896.5 | 745.0 & -101.8 & -47.40 & 896.5 | ||
\end{array}\right]</math> . | \end{array}\right]</math> . | ||
+ | |} | ||
+ | |} | ||
− | |||
− | < | + | Choose <math>\sigma \left(t\right)=2e^{-t}</math>, the results of the simulation are as follows. |
− | + | ||
− | + | [[#img-1|Figure 1]] shows the trajectory of the system. [[#img-2|Figure 2]] illustrates the estimation of the disturbance signals, the solid line is the original signal and the dashed line is the estimated value. From [[#img-1|Figure 1]], we can know that the states of the system have a fast response with the proposed method. In addition, the controller can ensure the stability of the system in the presence of the actuator fault and mismatched disturbance. [[#img-2|Figure 2]] characterizes that the observer has a good performance of the disturbance. | |
− | + | ||
− | <div class=" | + | <div id='img-1'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image241.png|370px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 1'''. Response of state <math>x\left(t\right)</math> | ||
+ | |} | ||
− | |||
− | |||
− | <div class=" | + | <div id='img-2'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image243.png|364px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 2'''. Estimation of disturbance <math>d\left(t\right)</math> | ||
+ | |} | ||
− | |||
− | |||
− | + | In order to illustrate the importance of the disturbance observer, the responses of the system are shown in [[#img-3|Figure 3]] without the disturbance observer. From the figure, we can see that the closed-loop system becomes unstable when removing the disturbance observer and compensator. | |
− | + | <div id='img-3'></div> | |
+ | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | ||
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image245.png|340px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 3'''. Response of state <math>x\left(t\right)</math> without disturbance compensator | ||
+ | |} | ||
− | |||
− | + | ''Example 2''. In this section, the two-cart system which borrowed form is provided to illustrate the effectiveness of the proposed method [27]. | |
− | [ | + | |
− | < | + | As shown in [[#img-4|Figure 4]], the first cart is connected to a rigid wall via a damper, and is connected to a second cart by a spring. The external force is applied to a second cart via an actuator. Both carts have a nominal mass of <math>a=1kg</math>, the damper has a constant of <math>b_0=1N/m</math>, and the spring constant <math>c_0=1N/m</math>. The time constant of the actuator <math>\tau =0.2</math>. The states are the force, velocities, and positions of the two carts. The actuator fault and mismatched disturbance are considered. The system parameters are given as follows |
− | < | + | |
− | + | {| class="formulaSCP" style="width: 100%; text-align: left;" | |
− | + | |- | |
− | <math>A=\left[\begin{array}{ccccc} | + | | |
− | -\frac{1}{\tau } & 0 & 0 & 0 & 0\\ | + | {| style="text-align: center; margin:auto;width: 100%;" |
− | 0 & -\frac{b_0}{a} & 0 & -\frac{c_0}{a} & \frac{c_0}{a}\\ | + | |- |
− | \frac{1}{a} & 0 & 0 & \frac{c}{a} & -\frac{c_0}{a}\\ | + | | style="text-align: center;" | <math>A=\left[\begin{array}{ccccc} |
+ | -\displaystyle\frac{1}{\tau } & 0 & 0 & 0 & 0\\ | ||
+ | 0 & -\displaystyle\frac{b_0}{a} & 0 & -\displaystyle\frac{c_0}{a} & \displaystyle\frac{c_0}{a}\\ | ||
+ | \displaystyle\frac{1}{a} & 0 & 0 & \displaystyle\frac{c}{a} & -\displaystyle\frac{c_0}{a}\\ | ||
0 & 1 & 0 & 0 & 0\\ | 0 & 1 & 0 & 0 & 0\\ | ||
0 & 0 & 1 & 0 & 0 | 0 & 0 & 1 & 0 & 0 | ||
\end{array}\right]</math> , <math>B=\left[\begin{array}{c} | \end{array}\right]</math> , <math>B=\left[\begin{array}{c} | ||
− | \frac{1}{\tau }\\ | + | \displaystyle\frac{1}{\tau }\\ |
0\\ | 0\\ | ||
0\\ | 0\\ | ||
Line 1,050: | Line 1,082: | ||
0 | 0 | ||
\end{array}\right]</math> , <math>B_F=\left[\begin{array}{c} | \end{array}\right]</math> , <math>B_F=\left[\begin{array}{c} | ||
− | \frac{1}{\tau }\\ | + | \displaystyle\frac{1}{\tau }\\ |
0\\ | 0\\ | ||
0\\ | 0\\ | ||
Line 1,066: | Line 1,098: | ||
0 & 0.1\\ | 0 & 0.1\\ | ||
0 & 0.2 | 0 & 0.2 | ||
− | \end{array}\right]</math> . | + | \end{array}\right]</math>. |
+ | |} | ||
+ | |} | ||
− | The nonlinear unmodeled uncertainty and mismatched nonlinearity are assumed to be: <math>\Delta f\left(x,t\right)=sin\left(x_4\right)</math> , <math>\xi \left(x,t\right)=sin\left(x_1\right)</math> . The actuator fault and external are supposed to be as follows | + | <div id='img-4'></div> |
+ | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | ||
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image246.png|434px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 4'''. Geometric structure of the two-cart system | ||
+ | |} | ||
+ | |||
+ | |||
+ | The nonlinear unmodeled uncertainty and mismatched nonlinearity are assumed to be: <math>\Delta f\left(x,t\right)=\sin\left(x_4\right)</math>, <math>\xi \left(x,t\right)=\sin\left(x_1\right)</math>. The actuator fault and external are supposed to be as follows | ||
+ | |||
+ | {| class="formulaSCP" style="width: 100%; text-align: left;" | ||
+ | |- | ||
+ | | | ||
+ | {| style="text-align: center; margin:auto;width: 100%;" | ||
+ | |- | ||
+ | | style="text-align: center;" | <math>f\left(t\right)=\left\{ \begin{array}{c} | ||
+ | 0 \left(0\leq t<\mbox{25}\right)\\ | ||
+ | \mbox{0}\mbox{.5}\sin\left(0.2t\right)\left(\mbox{25}\leq t<4\mbox{0}\right)\\ | ||
+ | \mbox{1}\left(4\mbox{0}\leq t<\mbox{80}\right) | ||
+ | \end{array}\right.</math> , | ||
+ | |- | ||
+ | |<math>d_1\left(t\right)\mbox{=}\left\{ \begin{array}{c} | ||
+ | 0\left(0\leq t<15\right)\\ | ||
+ | 0.5\sin\left(t\right)\left(15\leq t<50\right)\\ | ||
+ | \mbox{1}\left(\mbox{5}0\leq t<80\right) | ||
+ | \end{array}\right.</math> , | ||
+ | |- | ||
+ | | <math>d_2\left(t\right)=\left\{ \begin{array}{c} | ||
+ | 0.5\sin\left(\mbox{3}t\right)\left(0\leq t<20\right)\\ | ||
+ | 0.5\sin\left(\mbox{3}t\right)\left(20\leq t<50\right)\\ | ||
+ | 1\left(50\leq t<80\right) | ||
+ | \end{array}\right.</math>. | ||
+ | |} | ||
+ | |} | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
Choosing the matrix <math>D=\left[\begin{array}{ccccc} | Choosing the matrix <math>D=\left[\begin{array}{ccccc} | ||
1 & 0 & 0 & 0 & 0 | 1 & 0 & 0 & 0 & 0 | ||
− | \end{array}\right]</math> , | + | \end{array}\right]</math>, we can check that <math>DB</math> is invertible. By solving Eq.(50), we can obtain that |
− | <math>P=\left[\begin{array}{ccccc} | + | {| class="formulaSCP" style="width: 100%; text-align: left;" |
+ | |- | ||
+ | | | ||
+ | {| style="text-align: center; margin:auto;width: 100%;" | ||
+ | |- | ||
+ | | style="text-align: center;" |<math>P=\left[\begin{array}{ccccc} | ||
\mbox{0}\mbox{.0799} & -0.000 & -0.000 & -0.000 & -0.000\\ | \mbox{0}\mbox{.0799} & -0.000 & -0.000 & -0.000 & -0.000\\ | ||
-0.000 & 1.1046 & 0.000 & -0.000 & -0.000\\ | -0.000 & 1.1046 & 0.000 & -0.000 & -0.000\\ | ||
Line 1,094: | Line 1,154: | ||
-0.000 & -0.000 & 0.000 & 1.1046 & 0.000\\ | -0.000 & -0.000 & 0.000 & 1.1046 & 0.000\\ | ||
-0.000 & -0.000 & -0.000 & 0.000 & 1.1046 | -0.000 & -0.000 & -0.000 & 0.000 & 1.1046 | ||
− | \end{array}\right]</math> . | + | \end{array}\right]</math>. |
+ | |} | ||
+ | |} | ||
− | |||
− | < | + | Choose <math>\sigma \left(t\right)=2e^{-t}</math> , the results of the simulation are as follows. |
− | + | ||
− | + | [[#img-5|Figures 5]] and [[#img-6|6]] express the trajectories of the system. From [[#img-5|Figures 5]] and [[#img-6|6]], we can see that the stability of the positions and velocities of the first and second carts can be guaranteed. [[#img-7|Figure 7]] shows the estimation of the external disturbance, we can check that the proposed method performs better than the intermediate method proposed in [27], precisely, the method proposed responds faster than the method in [27], and the proposed method has less chattering. | |
− | + | ||
− | <div class=" | + | <div id='img-5'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image261.png|334px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 5'''. Response of state <math>x_1\left(t\right)</math> , <math>x_2\left(t\right)</math> and <math>x_3\left(t\right)</math> | ||
+ | |} | ||
− | |||
− | |||
− | <div class=" | + | <div id='img-6'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image265.png|322px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 6'''. Response of state <math>x_4\left(t\right)</math> and <math>x_5\left(t\right)</math> | ||
+ | |} | ||
− | |||
− | |||
− | <div class=" | + | <div id='img-7'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image268.png|340px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 7'''. Estimation of disturbance <math>d\left(t\right)</math> | ||
+ | |} | ||
− | |||
− | |||
− | + | In order to illustrate the effectiveness of the proposed method, the responses of the system are shown in [[#img-8|Figures 8]] and [[#img-9|9]] without the controller. From the figure, we can infer from this that the closed-loop system becomes unstable when removing the disturbance observer and compensator. | |
− | + | ||
− | <div class=" | + | <div id='img-8'></div> |
− | + | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | |
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image269.png|316px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 8'''. Response of state <math>x_1\left(t\right)</math> , <math>x_2\left(t\right)</math> and <math>x_3\left(t\right)</math> without controller | ||
+ | |} | ||
− | |||
− | + | <div id='img-9'></div> | |
+ | {| class="wikitable" style="margin: 0em auto 0.1em auto;border-collapse: collapse;width:auto;" | ||
+ | |-style="background:white;" | ||
+ | |style="text-align: center;padding:10px;"| [[Image:Review_187843964202-image270.png|322px]] | ||
+ | |- | ||
+ | | style="background:#efefef;text-align:left;padding:10px;font-size: 85%;"| '''Figure 9'''. Response of state <math>x_\mbox{4}\left(t\right)</math> and <math>x_\mbox{5}\left(t\right)</math> without controller | ||
+ | |} | ||
==5. Conclusion== | ==5. Conclusion== | ||
Line 1,136: | Line 1,213: | ||
<span id='OLE_LINK12'></span><span id='OLE_LINK13'></span>In this paper, the problem of a general Lipschitz nonlinear system with actuator fault and unmatched disturbance is investigated. Specifically, a disturbance observer is designed to estimate the mismatched disturbance first. Then, an observer-based integral sliding mode fault tolerant control scheme is proposed. In order to guarantee the stability of the system, three adaptive control laws are constructed because of the unknown nonlinear function parameters and the unmodeled uncertainty. Finally, two examples are given to illustrate the effectiveness of the proposed method. In our future work, we would like to focus on the fault-tolerant control methods for multiple faults and disturbances and their applications. | <span id='OLE_LINK12'></span><span id='OLE_LINK13'></span>In this paper, the problem of a general Lipschitz nonlinear system with actuator fault and unmatched disturbance is investigated. Specifically, a disturbance observer is designed to estimate the mismatched disturbance first. Then, an observer-based integral sliding mode fault tolerant control scheme is proposed. In order to guarantee the stability of the system, three adaptive control laws are constructed because of the unknown nonlinear function parameters and the unmodeled uncertainty. Finally, two examples are given to illustrate the effectiveness of the proposed method. In our future work, we would like to focus on the fault-tolerant control methods for multiple faults and disturbances and their applications. | ||
− | == | + | ==References== |
+ | |||
+ | <div class="auto" style="text-align: left;width: auto; margin-left: auto; margin-right: auto;font-size: 85%;"> | ||
− | [1] | + | [1] Xiao B., Hu Q., Zhang Y. Adaptive sliding mode fault tolerant attitude tracking control for flexible spacecraft under actuator saturation, IEEE Trans. control Syst. Technol, 20(6):1605–1612, 2012. |
− | [2] | + | [2] Wang R., Wang J. Passive actuator fault-tolerant control for a class of over actuated nonlinear systems and applications to electric vehicles, IEEE Trans. Veh. Technol., 62(3):972–985, 2013. |
− | [3] | + | [3] Lin F.J., Hung Y.C., Tsai M.T. Fault-tolerant control for six-phase PMSM drive system via intelligent complementary sliding mode control using TSKFNN-AMF, IEEE Trans. Ind. Electron., 60(12):5747–5762, 2013. |
− | [4] | + | [4] Shao J., Deng Z., Gu Y. Fault-tolerant control of position signals for switched reluctance motor drives, IEEE Trans Ind. Appli., 53(3):2959-2966, 2017. |
− | [5] | + | [5] Wang Y., Xie L., de Souza C.E. Robust control of a class of uncertain nonlinear systems, Syst. Control Lett., 19(2):139–149, 1992. |
− | [6] | + | [6] Shi P., Liu M., Zhang L. Fault-tolerant sliding mode observer synthesis of Markovian jump systems using quantized measurements, IEEE Trans. Ind. Electron., 62(9):5910–5918, 2015. |
− | [7] | + | [7] Hu Q., Xiao B. Fault-tolerant sliding mode attitude control for flexible spacecraft under loss of actuator effectiveness, Nonlin. Dyn., 64(1):13–23, 2011. |
− | [8] | + | [8] Kommuri S.K., Defoort M., Karimi H.R., Veluvolu K.C. A robust observer-based sensor fault-tolerant control for PMSM in electric vehicles, IEEE Trans. Ind. Electron., 63(12):7671–7681, 2016. |
− | [9] | + | [9] Patan K. Neural network-based model predictive control: Fault tolerance and stability, IEEE Trans. Control Syst. Technol., 23(3):1147–1155, 2015. |
− | [10] | + | [10] Yang G.H., Ye D. Reliable control of linear systems with adaptive mechanism, IEEE Trans. Autom. Control, 55(1):242–247, 2010. |
− | [11] | + | [11] Wang W., Wen C.Y. Adaptive actuator failure compensation control of uncertain nonlinear systems with guaranteed transient performance, Automatica, 46(12):2082–2091, 2010. |
− | [12] | + | [12] Ye D., Yang G.H. Adaptive fault-tolerant tracking control against actuator faults with application to flight control, IEEE Trans. Control Syst. Technol., 14:1088–1096, 2006. |
− | [13] | + | [13] Zuo Z., Ho D.W.C., Wang Y. Fault tolerant control for singular systems with actuator saturation and nonlinear perturbation, Automatica, 46(3):569–576, 2010. |
− | [14] | + | [14] Tong S.C., Huo B., Li Y.M. Observer-based adaptive decentralized fuzzy fault-tolerant control of nonlinear large-scale systems with actuator failures, IEEE Trans. Fuzzy Syst., 22(1):1–15, 2014. |
− | [15] | + | [15] Li Y.X., Yang G.H. Robust adaptive fault-tolerant control for a class of uncertain nonlinear time delay systems, IEEE Trans. Syst, Man, Cybern, Syst., 47(7):1554-1563, 2017. |
− | [16] | + | [16] Van M., Ge S.S., Ren H. Robust fault-tolerant control for a class of second-order nonlinear systems using an adaptive third-order sliding mode control, IEEE Trans. Syst, Man, Cybern, Syst., 47(2):221-228, 2017. |
− | [17] | + | [17] Liang Y.W., Xu S.D., Tsai C.L. Study of VSC reliable designs with application to spacecraft attitude stabilization, IEEE Trans. Control Syst. Technol., 15(2):332–338, 2007. |
− | [18] | + | [18] Kempf C.J., Kobayashi S. Disturbance observer and feed forward design for a high-speed direct-drive position table, IEEE Trans. Control Syst. Technol., 7(5):513–526, 1999. |
− | [19] | + | [19] Chen X.S., Yang J., Li S.H., Li Q. Disturbance observer based multi-variable control of ball mill grinding circuits, J. Process Control, 19(7):1205–1213, 2009. |
− | [20] | + | [20] Chen W.H. Disturbance observer based control for nonlinear systems, IEEE/ASME Trans. Mechatronics, 9(4):706–710, 2004. |
− | [21] | + | [21] Yao X., Guo L. Composite anti-disturbance control for Markovian jump nonlinear systems via disturbance observer, Automatica, 49(8):2538–2545, 2013. |
− | [22] | + | [22] Wu H.N., Liu Z.Y., Guo L. Robust <math>L_{\infty }</math>-gain fuzzy disturbance observer-based control design with adaptive bounding for a hypersonic vehicle, IEEE Trans. Fuzzy Syst., 22(6):1401–1412, 2014. |
− | [23] | + | [23] Zhang H., Han J., Luo C., Wang Y. Fault-tolerant control of a nonlinear system based on generalized fuzzy hyperbolic model and adaptive disturbance observer, IEEE Trans. Syst, Man, Cybern, Syst., 47(8):2289-2300, 2017. |
− | [24] | + | [24] Wei X.J., Guo L. Composite disturbance-observer-based control and H-infinity control for complex continuous models, Int. J. Robust Nonlinear Control, 20(1):106–118, 2009. |
− | [25] | + | [25] Yang J., Li S., Yu X. Sliding-mode control for systems with mismatched uncertainties via a disturbance observer, IEEE Trans. Ind. Electron., 60 (1):160-169, 2013. |
− | [26] | + | [26] Wu H.S. Adaptive robust tracking and model following of uncertain dynamical systems with multiple time delays, IEEE Trans. Autom. Control, 49(4):611–616, 2004. |
− | [27] | + | [27] Zhu J.W., Yang G.H. Fault-tolerant control for linear systems with multiple faults and disturbances based on augmented intermediate estimator, IET Control Theory & Applications, 11(2):164-172, 2017. |
In this paper, a class of nonlinear systems with mismatched disturbance and actuator failure is investigated. A disturbance observer is proposed to estimate the disturbance first and the error of the estimation converges to zero exponentially. By introducing an integral sliding mode surface, the disturbance observer-based integral sliding mode fault tolerant control scheme is proposed to attenuate the disturbance and guarantee the stability of the system. In particular, the control law is designed for decoupling the partial disturbance and attenuating the disturbance that cannot be decoupled. Finally, two examples are given to illustrate the effectiveness of the proposed method.
Keywords: Actuator fault, fault tolerant control (FTC), disturbance observer, adaptive integral sliding mode control, nonlinear system
Faults frequently occur in the engineering system because of the increasing complexity and scalability of industrial applications. Unexpected deviations of performance or system parameters can induce serious damage and even break down the system in the presence of a fault. With the growing demand for higher reliability, safety, and maintainability, it is desired that the fault can be detected at the early stage, determine the location and magnitude of the fault, identify the severity of the fault, and then accommodate the effects on the system and provide an acceptable performance. Abundant of results have been reported on the theme and many achievements have been applied to industrial systems such as aircraft systems [1], electric systems [2], and motor systems [3-4], etc. Many excellent methods were exploited such as robust control [5], sliding mode control [6-7], observer-based control [8], intelligent learning control [9], and adaptive control [10-11].
As aforementioned, the fault is vulnerable to occur in the practical system, which certainly reduces the nominal performance, results in vibration, destroys the stability of the system, and even causes catastrophic accidents. Actuator fault as the most common fault has caused wide attention. In Ye and Yang [12], the flight tracking control system with actuator fault was investigated; an adaptive controller was designed. In Zuo et al. [13], a class of singular systems with actuator saturation was developed; an adaptive controller was designed to compensate for the fault effects through the linear matrix inequality (LMI) technique. A class of nonlinear large-scale systems with actuator fault was considered and an observer-based fuzzy adaptive control was developed in Tong et al. [14]. The problem of part loss of effectiveness of the actuator was addressed in Li and Yang [15]. In Van et al. [16], a class of nonlinear systems with partial loss of actuator was considered; a third-order sliding model control was developed to compensate for the actuator faults. These results have considered linear or nonlinear systems, however, the nonlinear function either satisfies the matched condition [16], i.e., the nonlinear function is in the control channel.
It is worth pointing out that disturbance exists widely in many industrial processes, which affects the stability of the system seriously. The basic characteristics of disturbance are its uncertainty, nonlinearity, and complexity. In some cases, the fault is considered as an additional uncertainty, disturbance, or nonlinear function in the system [16,17]. The common method is to make a compensator, i.e. construct an anti-disturbance mechanism to compensate for the disturbance. As the characteristics of the disturbance, observer design is necessary and popular in the existing literature, i.e., disturbance observer (DO). In Kempf and Kobayashi [18], a precision positioning table system was studied and a discrete time-tracking controller was designed based on the DO. In Chen et al. [19], the ball mill grinding circuits system was investigated and a DO was designed to estimate the strong disturbance, the controller was designed based on the observer to compensate for the disturbance. In Chen [20], a class of nonlinear systems was investigated, by introducing a disturbance generator; the DO-based control law was established. Yao and Guo [21] addressed a class of Markovian jump systems with multiple disturbances; the control law was designed by integrating the DO output information and state feedback control. Wu et al. [22] take an insight into a generic hypersonic vehicle system with modeled and unmodeled disturbances. In these results, the disturbance matrix and the control matrix are assumed to satisfy the match condition, i.e., , this limitation may not be applicable in some control processes.
It should be pointed out that the mismatched disturbance, that is, the disturbance enters the system in different channels, is more practical in industrial dynamic systems. In Zhang et al. [23], a class of nonlinear systems with actuator fault, sensor fault, and mismatched disturbance was considered. In Wei and Guo [24], the disturbance was considered as two parts, the matched disturbance was compensated by the DO while the mismatched disturbance was attenuated by variable structure control. In Yang et al. [25], by constructing a nonlinear disturbance observer (NDO), the sliding mode control scheme was developed to counteract the mismatched disturbance.
Based on the aforementioned analysis, this paper attempts to solve the FTC problem for a class of nonlinear systems with actuator fault and mismatched disturbance. The main works can be summarized as follows. First of all, an improved nonlinear disturbance observer is designed to estimate the mismatched disturbance. Then, the integral sliding mode controller is presented based on the observer, where the reachability of sliding motion is proved. Furthermore, the mismatched disturbance is divided into two parts, in which the matched part is compensated by the disturbance information while the remaining part is attenuated by the adaptive controller. Finally, the adaptive control law is proposed, which can adaptively adjust controller parameters to compensate for the fault and disturbance. The effectiveness of the method is verified through two examples.
The remaining part of this paper is organized as follows. In section 2, the system description and some assumptions are presented. In section 3, the construction of the observer and the design of the controller are presented. In section 4, two simulation examples are used to illustrate the effectiveness of the method, and some conclusions are obtained in section 5.
Consider the following nonlinear system with actuator fault and mismatched disturbance as
|
(1) |
where is the state vector, is the output of the system, is the control input, is a nonlinear function, which can be regarded as the un-modeled uncertainty, is the unmatched external disturbance, is the mismatched nonlinearity, , , , and are known constant coefficient matrices with appropriate dimensions.
In this paper, the actuator failure problem is concerned. The actuators can be divided into two parts and , where stands for the health actuator and represent the actuator in a fault condition. Then system (1) becomes (2)
|
(2) |
where and denote the healthy and fault matrices.
One can see that proposer designing of can guarantee the stability of the system despite the existence of external disturbance.
Assumption 1 [17]. The actuators in fault condition work abnormally, and the remaining actuators work normally.
With assumption 1, one can use and represent the actual control and designed control respectively for the actuators in fault condition. Then system (2) becomes (3)
|
(3) |
where .
Assumption 2 [15]. There exists a known function and two unknown constants and , such that the following inequality holds,
|
(4) |
Assumption 3. The disturbance and the derivative of the disturbance are bounded, i.e., , , where and are two positive constants.
Assumption 4. The nonlinearity function is bounded and satisfies the following condition
|
(5) |
where and are two positive symmetry matrices, , .
Remark 1. The assumption 1 is general for the actuator failure condition [16,17], in which the actuator fault can be treated as an additional uncertainty or disturbance. Compared with the results in [26], the assumption 2 in this study has been much more relaxed. Assumption 3 is common in FTC control results [15]. Assumption 4 is more general compared with the traditional Lipschitz condition [16], it should be noted that if , and , then assumption 4 degenerates to the normal Lipschitz condition, where is the Lipschitz constant.
With assumptions 1 and 2, the object of the paper is to design a control law to compensate for the effects of the disturbance and fault so that the stability and convergence of the system can be guaranteed in normal and fault conditions.
In this part, an observer will be applied to estimate the external disturbance, and an observer-based integral sliding mode fault colorant control scheme will be designed.
For the feasibility of the observer, the following assumption is necessary.
Assumption 5 [16]. The additional fault term satisfies the following condition, , where is a positive scalar.
For system (3), the following observer is proposed in the form of
|
(6) |
where is the internal state of the observer, is the estimation of the disturbance , is a nonlinear function to be designed, is a parameter matrix with proper dimensions, and is the observer gain and satisfies the following condition
|
(7) |
is the error compensator and is defined by
|
(8) |
where .
Lemma 1. With the assumption 4 and the observer (6), the error of the observer converges to zero exponentially.
Proof. Define . From the observer (6), it is easy to obtain that
|
(9) |
It can be derivate that
|
(10) |
The solution of (9) is given by
|
(11) |
From Eq.(10), one can deduce that
|
(12) |
According to the inequality [3], where and are two positive constants. The one can obtain that
|
(13) |
where is a constant bound satisfy . Define , then (13) can be written as . This completes the proof.
In this section, the observer-based integral sliding mode fault tolerant control will be designed. and are supposed to be unknown, the adaptive controller is designed as follows:
|
(14) |
where
|
(15) |
|
(16) |
where , , and are the parameter functions to be designed
|
(17) |
|
(18) |
|
(19) |
where and are two positive scalars, , and is defined in Eq.(23), is the bound of the nonlinear function , , and are the estimate of , and , and the adaptive control laws are designed in the form of
|
(20) |
|
(21) |
|
(22) |
where , , , and are positive parameters.
The control law will be used in the integral sliding mode control, is used to make the system asymptotically stable, is used to compensate for the effects of the actuator fault, disturbance estimation error, and nonlinear factors. In this paper, the sliding mode switching function is designed as follows
|
(23) |
where is a designed matrix that is invertible. In the next section, the reaching ability will be verified.
Theorem 1. With the controller in Eq.(14), the state strategies of the system will drive onto the sliding surface in finite time.
Proof. Denote , , . Consider the following Lyapunov function candidate
|
(24) |
From the expression (20), the time derivative of is
|
(25) |
From assumption 2, one has
|
(26) |
From Eq.(23), one has
|
(27) |
The time derivative of Eq.(35) can be determined as
|
(28) |
By introducing Eqs.(17)-(27), Eq.(28) can be rewritten as
|
(29) |
Thus, the reaching ability is satisfied, this completes the proof.
Remark 2. The controller proposed in (14) is discontinuous, to reduce chattering in the practical implementation, the discontinuous function can be replaced, for example, can be replaced by , where is a small positive constant.
In this section, the stability of the closed-loop system will be analyzed. By solving the equation in Eq.(25), the equivalent control law can be obtained as
|
(30) |
Substituting Eqs.(26) and (30) into the system (3) yields
|
(31) |
By defining , , , Eq.(31) can be rewritten as
|
(32) |
As before mentioned, the disturbance-matched condition is not satisfied, i.e. . From the definition of , we can easily check that . In this paper, the disturbance is divided into two parts, i.e.,
|
then can be written as
|
where
|
Let , and the parameter in Eq.(15) can be chosen as , where for and for . Then the equation is solvable. Note that and , where . Then (32) can be rewritten as
|
(33) |
Remark 3. We can see that if , then , so the matched condition is a special case, i.e., this paper considers a more general case. In addition, we can also obtain that one of the solutions of is and is the general inverse of .
The object of the next part is to design , and such that the stability of the system can be guaranteed. The control laws are designed as follows
|
(34) |
|
(35) |
|
(36) |
where , and are estimations of , and , respectively, and are designed in Eqs.(59) and (60), is a positive symmetry matrix, and is a continuous function, and satisfies
|
(37) |
where is a positive scalar.
The adaptive updating control laws are given by
|
(38) |
|
(39) |
|
(40) |
where , and are three positive constants.
Denote , , , we can obtain the following dynamics
|
(41) |
|
(42) |
|
(43) |
Theorem 2. With the controller (34)-(36) and the adaptive control laws (38)-(40), the closed-loop system is stable if there exist two positive symmetry matrices and , such that the following condition holds
|
(44) |
where , is defined in Eq.(5).
Proof. Design the Lyapunov function candidate as
|
(45) |
Then the time derivative of Eq.(51) can be obtained as
|
(46) |
From Eqs.(41)-(46), it can be derivative that
|
(47) |
|
(48) |
|
(49) |
|
(50) |
|
(51) |
|
(52) |
By assumptions 2, 4, 5, and lemma 1, we can derivative that the following inequalities hold
|
(53) |
|
(54) |
|
(55) |
where and are positive scalars.
Substituting Eqs.(47)-(55), Eq.(46) can be rewritten as
|
(56) |
Note that the following equalities
|
(57) |
|
(58) |
|
(59) |
Substituting Eqs.(57)-(59) into (56) yields
|
(60) |
For any positive scalar and , the following equality holds . Then we can obtain that
|
(61) |
where .
According to Eq.(45), by integrating Eq.(61) yields
|
(62) |
which means the system described in Eq.(33) is bounded. denotes the minimum eigenvalue of , and . Eq.(68) also implies
|
(63) |
According to Barbalat Lemma, we have . This completes the proof.
Remark 4. Compared with the results in [15], where the nonlinear function is matched, i.e., is in the control channel. In this paper, exists in the different channel from the control input, i.e., which means that is more general.
In this section, two examples are simulated to illustrate the effectiveness of the proposed method.
Example 1. In this example, the linearized longitudinal dynamic of the VTOL aircraft which is borrowed from [23] is considered. It is assumed that the system is subjected to unmodeled dynamics, actuator fault, and external disturbance. Then, the system can be described as system (1), where , is the horizontal velocity (), represents the vertical velocity (), is the pitch rate (), and expresses the pitch angle (). The parameters of the system are given as follows
|
The nonlinear unmodeled uncertainty and mismatched nonlinearity are assumed to be: , . The actuator fault and external are supposed to be as follows
|
Note that the mismatched disturbance and the condition hold, hence that the traditional method will be failed in this example. Choosing the matrix , we can check that is invertible. By solving (50), we can obtain that
|
Choose , the results of the simulation are as follows.
Figure 1 shows the trajectory of the system. Figure 2 illustrates the estimation of the disturbance signals, the solid line is the original signal and the dashed line is the estimated value. From Figure 1, we can know that the states of the system have a fast response with the proposed method. In addition, the controller can ensure the stability of the system in the presence of the actuator fault and mismatched disturbance. Figure 2 characterizes that the observer has a good performance of the disturbance.
![]() |
Figure 1. Response of state |
![]() |
Figure 2. Estimation of disturbance |
In order to illustrate the importance of the disturbance observer, the responses of the system are shown in Figure 3 without the disturbance observer. From the figure, we can see that the closed-loop system becomes unstable when removing the disturbance observer and compensator.
![]() |
Figure 3. Response of state without disturbance compensator |
Example 2. In this section, the two-cart system which borrowed form is provided to illustrate the effectiveness of the proposed method [27].
As shown in Figure 4, the first cart is connected to a rigid wall via a damper, and is connected to a second cart by a spring. The external force is applied to a second cart via an actuator. Both carts have a nominal mass of , the damper has a constant of , and the spring constant . The time constant of the actuator . The states are the force, velocities, and positions of the two carts. The actuator fault and mismatched disturbance are considered. The system parameters are given as follows
|
![]() |
Figure 4. Geometric structure of the two-cart system |
The nonlinear unmodeled uncertainty and mismatched nonlinearity are assumed to be: , . The actuator fault and external are supposed to be as follows
|
Choosing the matrix , we can check that is invertible. By solving Eq.(50), we can obtain that
|
Choose , the results of the simulation are as follows.
Figures 5 and 6 express the trajectories of the system. From Figures 5 and 6, we can see that the stability of the positions and velocities of the first and second carts can be guaranteed. Figure 7 shows the estimation of the external disturbance, we can check that the proposed method performs better than the intermediate method proposed in [27], precisely, the method proposed responds faster than the method in [27], and the proposed method has less chattering.
![]() |
Figure 5. Response of state , and |
![]() |
Figure 6. Response of state and |
![]() |
Figure 7. Estimation of disturbance |
In order to illustrate the effectiveness of the proposed method, the responses of the system are shown in Figures 8 and 9 without the controller. From the figure, we can infer from this that the closed-loop system becomes unstable when removing the disturbance observer and compensator.
![]() |
Figure 8. Response of state , and without controller |
![]() |
Figure 9. Response of state and without controller |
In this paper, the problem of a general Lipschitz nonlinear system with actuator fault and unmatched disturbance is investigated. Specifically, a disturbance observer is designed to estimate the mismatched disturbance first. Then, an observer-based integral sliding mode fault tolerant control scheme is proposed. In order to guarantee the stability of the system, three adaptive control laws are constructed because of the unknown nonlinear function parameters and the unmodeled uncertainty. Finally, two examples are given to illustrate the effectiveness of the proposed method. In our future work, we would like to focus on the fault-tolerant control methods for multiple faults and disturbances and their applications.
[1] Xiao B., Hu Q., Zhang Y. Adaptive sliding mode fault tolerant attitude tracking control for flexible spacecraft under actuator saturation, IEEE Trans. control Syst. Technol, 20(6):1605–1612, 2012.
[2] Wang R., Wang J. Passive actuator fault-tolerant control for a class of over actuated nonlinear systems and applications to electric vehicles, IEEE Trans. Veh. Technol., 62(3):972–985, 2013.
[3] Lin F.J., Hung Y.C., Tsai M.T. Fault-tolerant control for six-phase PMSM drive system via intelligent complementary sliding mode control using TSKFNN-AMF, IEEE Trans. Ind. Electron., 60(12):5747–5762, 2013.
[4] Shao J., Deng Z., Gu Y. Fault-tolerant control of position signals for switched reluctance motor drives, IEEE Trans Ind. Appli., 53(3):2959-2966, 2017.
[5] Wang Y., Xie L., de Souza C.E. Robust control of a class of uncertain nonlinear systems, Syst. Control Lett., 19(2):139–149, 1992.
[6] Shi P., Liu M., Zhang L. Fault-tolerant sliding mode observer synthesis of Markovian jump systems using quantized measurements, IEEE Trans. Ind. Electron., 62(9):5910–5918, 2015.
[7] Hu Q., Xiao B. Fault-tolerant sliding mode attitude control for flexible spacecraft under loss of actuator effectiveness, Nonlin. Dyn., 64(1):13–23, 2011.
[8] Kommuri S.K., Defoort M., Karimi H.R., Veluvolu K.C. A robust observer-based sensor fault-tolerant control for PMSM in electric vehicles, IEEE Trans. Ind. Electron., 63(12):7671–7681, 2016.
[9] Patan K. Neural network-based model predictive control: Fault tolerance and stability, IEEE Trans. Control Syst. Technol., 23(3):1147–1155, 2015.
[10] Yang G.H., Ye D. Reliable control of linear systems with adaptive mechanism, IEEE Trans. Autom. Control, 55(1):242–247, 2010.
[11] Wang W., Wen C.Y. Adaptive actuator failure compensation control of uncertain nonlinear systems with guaranteed transient performance, Automatica, 46(12):2082–2091, 2010.
[12] Ye D., Yang G.H. Adaptive fault-tolerant tracking control against actuator faults with application to flight control, IEEE Trans. Control Syst. Technol., 14:1088–1096, 2006.
[13] Zuo Z., Ho D.W.C., Wang Y. Fault tolerant control for singular systems with actuator saturation and nonlinear perturbation, Automatica, 46(3):569–576, 2010.
[14] Tong S.C., Huo B., Li Y.M. Observer-based adaptive decentralized fuzzy fault-tolerant control of nonlinear large-scale systems with actuator failures, IEEE Trans. Fuzzy Syst., 22(1):1–15, 2014.
[15] Li Y.X., Yang G.H. Robust adaptive fault-tolerant control for a class of uncertain nonlinear time delay systems, IEEE Trans. Syst, Man, Cybern, Syst., 47(7):1554-1563, 2017.
[16] Van M., Ge S.S., Ren H. Robust fault-tolerant control for a class of second-order nonlinear systems using an adaptive third-order sliding mode control, IEEE Trans. Syst, Man, Cybern, Syst., 47(2):221-228, 2017.
[17] Liang Y.W., Xu S.D., Tsai C.L. Study of VSC reliable designs with application to spacecraft attitude stabilization, IEEE Trans. Control Syst. Technol., 15(2):332–338, 2007.
[18] Kempf C.J., Kobayashi S. Disturbance observer and feed forward design for a high-speed direct-drive position table, IEEE Trans. Control Syst. Technol., 7(5):513–526, 1999.
[19] Chen X.S., Yang J., Li S.H., Li Q. Disturbance observer based multi-variable control of ball mill grinding circuits, J. Process Control, 19(7):1205–1213, 2009.
[20] Chen W.H. Disturbance observer based control for nonlinear systems, IEEE/ASME Trans. Mechatronics, 9(4):706–710, 2004.
[21] Yao X., Guo L. Composite anti-disturbance control for Markovian jump nonlinear systems via disturbance observer, Automatica, 49(8):2538–2545, 2013.
[22] Wu H.N., Liu Z.Y., Guo L. Robust -gain fuzzy disturbance observer-based control design with adaptive bounding for a hypersonic vehicle, IEEE Trans. Fuzzy Syst., 22(6):1401–1412, 2014.
[23] Zhang H., Han J., Luo C., Wang Y. Fault-tolerant control of a nonlinear system based on generalized fuzzy hyperbolic model and adaptive disturbance observer, IEEE Trans. Syst, Man, Cybern, Syst., 47(8):2289-2300, 2017.
[24] Wei X.J., Guo L. Composite disturbance-observer-based control and H-infinity control for complex continuous models, Int. J. Robust Nonlinear Control, 20(1):106–118, 2009.
[25] Yang J., Li S., Yu X. Sliding-mode control for systems with mismatched uncertainties via a disturbance observer, IEEE Trans. Ind. Electron., 60 (1):160-169, 2013.
[26] Wu H.S. Adaptive robust tracking and model following of uncertain dynamical systems with multiple time delays, IEEE Trans. Autom. Control, 49(4):611–616, 2004.
[27] Zhu J.W., Yang G.H. Fault-tolerant control for linear systems with multiple faults and disturbances based on augmented intermediate estimator, IET Control Theory & Applications, 11(2):164-172, 2017.
Published on 19/03/24
Accepted on 28/02/24
Submitted on 15/02/24
Volume 40, Issue 1, 2024
DOI: 10.23967/j.rimni.2024.03.002
Licence: CC BY-NC-SA license
Are you one of the authors of this document?