Skip to main content

Theory and Modern Applications

Robust stability and stabilization of LTI fractional-order systems with poly-topic and two-norm bounded uncertainties

Abstract

This paper investigates the problems of robust stability and stabilization of LTI fractional-order systems with poly-topic and two-norm bounded uncertainties. Firstly, some sufficient conditions of the robust asymptotical stable for such fractional-order uncertain systems are derived. Secondly, the robust stabilizing state-feedback controller is designed. All the results are obtained in terms of linear matrix inequalities (LMIs). Lastly, three numerical examples are provided to demonstrate the correctness and effectiveness of the proposed approaches.

1 Introduction

The fractional calculus dates from the 17th century [1], and it can be defined as a classical mathematical notion and a generalization of the ordinary differentiation and integration not necessarily integer. The significance of fractional-order representation is that it is more adequate to describe real world systems than those of integer-order models [2]. Fractional-order calculus is focused on the whole time and space, but the integer-order calculus only concerned with local attribute at particular time and a certain position [3]. Due to these advantages, fractional calculus is developing fast [4, 5], and its various applications are extensively used in many fields of science and engineering: in material engineering [6], chaos systems [79], economic systems [10], robotics [11], and in many more [1216].

Stability and stabilization is fundamental to all systems, certainly including fractional-order systems. Some interesting stability results have been achieved including fractional-order linear time-invariant systems, nonlinear systems, linear delayed systems, commensurate and incommensurate systems [1722]. In [17], the key is to find a linear ordinary system that possesses the same stability property as the fractional-order system, and then the stability analysis was converted into the domain of ordinary systems which was well established and understood. In [18, 19], the method based on the Lyapunov function is used to study the stability for fractional-order system. In [20], the Linear Matrix Inequality (LMI) stability conditions are overviewed. The stability of a class of commensurate and incommensurate nonlinear fractional-order systems is studied in [21, 22].

Due to the perturbations and uncertainties in modeling, operating and manufacturing of real systems, robust stability analysis and control is much more important. As presented in [2326], significant results have been proposed for the robust stability problem of fractional-order system with interval uncertainties. In [26], the general interval uncertainties mean that the interval uncertainties exist both in the coefficients and orders of the fractional-order system. Necessary and sufficient conditions are proposed to check the robust stability of general interval fractional-order system. The robust stability and stabilization of fractional-order system with poly-topic uncertainties are studied in [2729]. The same problem for system with norm bounded uncertainty is considered in [30].

Reviewing the research reported above, it is obvious that the stability and stabilizing controller design for LTI fractional-order systems with poly-topic and two-norm bounded uncertainties have not been studied so far. Motivated by this consideration, the purpose of this paper is to investigate the robust stability and stabilization of dynamical systems whose characteristics are of fractional order with poly-topic and two-norm bounded uncertainties assuming that the nominal fractional-order systems are already asymptotically stable.

The rest of this paper is organized as follows. In Sect. 2, the problem formulation and some necessary preliminaries are described. In Sect. 3, the robust stability conditions of fractional-order system with poly-topic and two-norm bounded uncertainties are derived. Also, the robust stabilization via state-feedback control is proposed. And three numerical examples and their simulation results are discussed in Sect. 4 and finally conclusions are given in Sect. 5.

For convenience, the following notations are used throughout this paper: \(R^{n}\) and \(Z^{ +} \) are the set of n-dimensional Euclidean space and the set of positive integers, respectively; \(R^{n \times n}\) and \(C^{n \times n}\) are the set of \(n \times n\) real matrices and complex matrices, separately. \(M^{T}\), and \(M^{ *} \) are the transpose, conjugate and the transpose conjugate of M, respectively. \(\operatorname {sym}(M)\) stands for the expression \(M^{ *} + M\), \(\Vert M \Vert \) is the two-norm of M, \(I_{n}\) is the identity matrix of order n, • denotes the symmetric component in a matrix.

2 Model description and preliminary

In this paper the well-known Caputo definition for fractional derivatives is adopted, because the Laplace transform of the Caputo derivative allows utilization of initial values of classical integer-order derivatives with clear physical interpretations. The Caputo fractional derivative [2] is defined as follows:

$$ \mathcal{D}^{\alpha } f ( t ) = \frac{d^{\alpha } f ( t ) }{dt ^{\alpha }} = \frac{1}{\Gamma ( m - \alpha ) } \int_{0}^{t} \frac{f ^{(m)} ( \tau ) }{ ( t - \tau ) ^{\alpha + 1 - m}}\,d\tau , \quad t > 0. $$
(1)

Here Γ is the Gamma function, which is defined as \(\Gamma ( \alpha ) = ( \alpha - 1 ) !\), and \(m - 1 \le \alpha < m\), \(m \in Z^{ +} \). From a mathematic point of view, the fractional order can be any real even complex number. In engineering applications, α is a real number related to physical parameters and lies in \({(0, 2)}\). Here, this paper focuses on the robust stability and stabilization problem of uncertain fractional-order system in which α is a real number in \({(0, 1)}\).

Consider the following uncertain LTI fractional-order system:

$$ \mathcal{D}^{\alpha } x ( t ) = A ( \gamma ) x ( t ) + B ( \gamma ) u ( t ). $$
(2)

In this equation, \(x ( t ) \in R^{n}\) is the system state vector, and \(u ( t ) \in R^{m}\) is the control input vector, \(A ( \gamma ) \in R^{n \times n}\) is the system matrix, and \(B ( \gamma ) \in R^{n \times m}\) is the input matrix; they are both convex poly-topic sets described by

$$ A ( \gamma ) = \sum_{i = 1}^{N} \gamma_{i} A_{i}, \qquad B ( \gamma ) = \sum _{i = 1}^{N} \gamma_{i} B_{i}, $$
(3)

where \(\gamma_{i}\) (\(i = 1,2,\ldots, N \)) are time-invariant uncertainties which satisfy \(\gamma_{i} \ge 0\), \(\sum_{i = 1}^{N} \gamma _{i} = 1\). And two-norm uncertainties are included in \(A_{i}\), \(B_{i}\), they could be represented as follows:

$$\begin{aligned}& A_{i} = \hat{A}_{i} + \Delta A_{i},\quad \mbox{and} \quad \Delta A_{i} = D _{Ai}F_{Ai}E_{Ai}, \end{aligned}$$
(4)
$$\begin{aligned}& B_{i} = \hat{B}_{i} + \Delta B_{i},\quad \mbox{and} \quad \Delta B_{i} = D _{Bi}F_{Bi}E_{Bi}. \end{aligned}$$
(5)

Here \(\hat{A}_{i}\) and \(\hat{B}_{i}\) are the nominal part of system matrix and input matrix, respectively; \(\Delta A_{i}\) and \(\Delta B _{i}\) are the additive uncertainty part of system matrix and input matrix, separately; \(D_{Ai} \in R^{n \times r_{1}}\), \(D_{Bi} \in R^{n \times r_{2}}\) and \(E_{Ai} \in R^{q_{1} \times n}\), \(E_{Bi} \in R^{q_{2} \times l}\) are known real constant matrices, \(F_{Ai} \in R^{r_{1} \times q_{1}}\) and \(F_{Bi} \in R^{r_{2} \times q_{2}}\) are uncertain matrices which satisfy the following:

$$ \Vert F_{Ai} \Vert _{2} \le \rho_{Ai},\quad\quad \Vert F_{Bi} \Vert _{2} \le \rho_{Bi}. $$
(6)

In order to derive the main results of the paper, the following lemmas are presented firstly.

Lemma 1

([31])

Let \(A \in R^{n \times n}\), \(0 < \alpha < 1\), then \(\mathcal{D}^{\alpha } x ( t ) = Ax ( t ) \) is asymptotically stable if and only if \(\vert \operatorname{arg} ( \operatorname{spec} ( A ) ) \vert > \alpha \frac{\pi }{2}\), where \(\operatorname{spec} ( A ) \) is the spectrum (set of all eigenvalues) of A, \(\operatorname{arg}(\,)\) is the amplitude function.

Lemma 2

([32])

Let \(A \in R^{n \times n}\), \(0 < \alpha < 1\) and \(\theta = (1 - \alpha )\pi /2\). The fractional-order system \(\mathcal{D}^{\alpha } x ( t ) = Ax ( t ) \) is asymptotically stable if and only if there exists a positive definite Hermitian matrix \(X = X^{ *}\), \(X \in C^{n \times n}\), such that

$$ \operatorname {sym}\bigl( A(rX + \bar{r}\bar{X}) \bigr) < 0. $$
(7)

Here \(r = e^{\theta i}\).

Lemma 3

([33])

For any matrices X, Y with appropriate dimension, the following inequality holds for any \(\beta > 0\):

$$ X^{T}Y + Y^{T}X \le \beta X^{T}X + \beta^{ - 1}Y^{T}Y. $$
(8)

Lemma 4

([34])

For a real matrix \(\Phi = \Phi^{T}\), the following conditions are equivalent:

( 1 ) Φ = [ Φ 11 Φ 12 Φ 22 ] < 0 , ( 2 ) Φ 11 < 0 , Φ 22 Φ 12 T Φ 11 1 Φ 12 < 0 , ( 3 ) Φ 22 < 0 , Φ 11 Φ 12 Φ 22 1 Φ 12 T < 0 .

3 Main results

3.1 Robust stability analysis

When \(u ( t ) = 0\), the following uncertain state space model is usually considered in the context of robustness analysis and synthesis for fractional-order systems:

$$ \mathcal{D}^{\alpha } x ( t ) = \Biggl( \sum_{i = 1}^{N} \gamma_{i} (\hat{A}_{i} + D_{Ai}F_{Ai}E_{Ai}) \Biggr) x ( t ). $$
(9)

Theorem 3.1

The LTI fractional-order system with poly-topic and two-norm bounded uncertainties in (9) is robustly asymptotically stable if there exist matrices \(X_{i} = X_{i}^{T} > 0\), \(X_{i} \in C^{n \times n}\), \(\varepsilon_{ij} > 0\) for all \(i,j = 1,2,\ldots, N\) such that

[ sym ( A ˆ i ( r X j + r ¯ X ¯ j ) ) + ε i j D A i D A i T E A i ( r X j + r ¯ X ¯ j ) ε i j ρ A i 2 I q 1 ] <0.
(10)

Proof

If there exists a positive definite Hermitian matrix \(X _{i} = X_{i}^{T} > 0\), \(X_{i} \in C^{n \times n}\), and for linear system it is obvious that \(X ( \gamma ) = \sum_{i = 1}^{N} \gamma _{i}X_{i}\), \(A ( \gamma ) = \sum_{i = 1}^{N} \gamma_{i}A_{i}\). So according to Lemma 2, the system is robustly stable if the following equation is satisfied:

$$ \begin{gathered} \operatorname {sym}\bigl( A(rX + \bar{r}\bar{X}) \bigr) < 0 \\ \quad \Leftrightarrow \quad \operatorname {sym}\sum_{i = 1}^{N} \Biggl[ \gamma_{i} ( \hat{A} _{i} + D_{Ai}F_{Ai}E_{Ai} ) \Biggl( r\sum_{i = 1}^{N} \gamma_{i}X _{i} + \bar{r}\sum_{i = 1}^{N} \gamma_{i}\bar{X}_{i} \Biggr) \Biggr] < 0 \\ \quad \Leftrightarrow \quad \sum_{i = 1}^{N} \gamma_{i}^{2} \bigl[ \operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{i} + \bar{r}\bar{X}_{i} ) + D_{Ai}F_{Ai}E _{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr] \bigr] \\ \hphantom{\quad \Leftrightarrow \quad}\quad {} + \sum_{i = 1}^{N - 1} \sum _{j = i + 1}^{N} \gamma_{i}\gamma_{j} \bigl\{ \operatorname {sym}\bigl[ \bigl( \hat{A}_{i} ( rX_{j} + \bar{r} \bar{X}_{j} ) + D_{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) \bigr) \\ \hphantom{\quad \Leftrightarrow \quad}\quad {}+ \hat{A}_{j} ( rX_{i} + \bar{r}\bar{X}_{i} ) + D_{Aj}F_{Aj}E _{Aj} ( rX_{i} + \bar{r} \bar{X} _{i} ) \bigr] \bigr\} < 0. \end{gathered} $$
(11)

Note that, if Eqs. (12)–(14) hold, then inequality (11) is satisfied;

$$\begin{aligned}& \operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{i} + \bar{r} \bar{X}_{i} ) + D _{Ai}F_{Ai}E_{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr] < 0 \quad ( i = 1,2 , \ldots, N ), \end{aligned}$$
(12)
$$\begin{aligned}& \begin{aligned}[b] &\operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{j} + \bar{r} \bar{X}_{j} ) + D _{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) \bigr] < 0 \\ & \quad ( i = 1,2 , \ldots, N - 1;j = i + 1,\ldots, N ), \end{aligned} \end{aligned}$$
(13)
$$\begin{aligned}& \begin{aligned}[b] &\operatorname {sym}\bigl[ \hat{A}_{j} ( rX_{i} + \bar{r} \bar{X}_{i} ) + D _{Aj}F_{Aj}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr] < 0 \\ &\quad ( i = 1,2 , \ldots, N - 1;j = i + 1,\ldots, N ). \end{aligned} \end{aligned}$$
(14)

And based on Lemma 3, there exist \(\varepsilon_{ii} > 0\) (\(i = 1,2 ,\ldots, N \)); \(\varepsilon_{ij} > 0\), \(\varepsilon_{ji} > 0\) (\(i = 1,2 ,\ldots, N - 1\); \(j = i + 1,\ldots, N \)) such that

$$\begin{aligned}& \operatorname {sym}\bigl( D_{Ai}F_{Ai}E_{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr) \le \varepsilon_{ii}D_{Ai}D_{Ai}^{T} + \varepsilon_{ii}^{ - 1} \rho_{Ai}^{2} ( rX_{i} + \bar{r}\bar{X}_{i} ) ^{T}E_{Ai}^{T}E _{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ), \end{aligned}$$
(15)
$$\begin{aligned}& \operatorname {sym}\bigl( D_{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) \bigr) \le \varepsilon_{ij}D_{Ai}D_{Ai}^{T} + \varepsilon_{ij}^{ - 1} \rho_{Ai}^{2} ( rX_{j} + \bar{r}\bar{X}_{j} ) ^{T}E_{Ai}^{T}E _{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ), \end{aligned}$$
(16)
$$\begin{aligned}& \operatorname {sym}\bigl( D_{Aj}F_{Aj}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr) \le \varepsilon_{ji}D_{Aj}D_{Aj}^{T} + \varepsilon_{ji}^{ - 1} \rho_{Aj}^{2} ( rX_{i} + \bar{r}\bar{X}_{i} ) ^{T}E_{Aj}^{T}E _{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ). \end{aligned}$$
(17)

Substitute (15) into (12), (16) into (13), and (17) into (14), respectively. Then based on Lemma 4, inequalities (12)–(14) can be written as

[ sym ( A ˆ i ( r X i + r ¯ X ¯ i ) ) + ε i i D A i D A i T E A i ( r X i + r ¯ X ¯ i ) ε i i ρ A i 2 I q 1 ] <0, ε i i >0,i=1,2,,N,
(18)
[ sym ( A ˆ i ( r X j + r ¯ X ¯ j ) ) + ε i j D A i D A i T E A i ( r X j + r ¯ X ¯ j ) ε i j ρ A i 2 I q 1 ] < 0 , ε i j > 0 , i = 1 , 2 , , N 1 ; j = i + 1 , , N ,
(19)
[ sym ( A ˆ j ( r X i + r ¯ X ¯ i ) ) + ε j i D A j D A j T E A j ( r X i + r ¯ X ¯ i ) ε j i ρ A j 2 I q 1 ] < 0 , ε j i > 0 , i = 1 , 2 , , N 1 ; j = i + 1 , , N .
(20)

Note that the above condition (18)–(20) can be further rewritten as

[ sym ( A ˆ i ( r X j + r ¯ X ¯ j ) ) + ε i j D A i D A i T E A i ( r X j + r ¯ X ¯ j ) ε i j ρ A i 2 I q 1 ] <0for all i,j=1,2,,N.
(21)

By Lemma 2, the system is robustly asymptotically stable. This ends the proof. □

3.2 Robust stabilization of fractional-order uncertain linear systems

In this section, we consider the linear state-feedback control for fractional-order systems (2), that is,

$$ u ( t ) = Kx ( t ). $$
(22)

Theorem 3.2

The LTI fractional-order system with poly-topic and two-norm bounded uncertainties in (2) is robustly asymptotically stable if there exist matrices \(X_{i} = X_{i}^{T} > 0\), \(X_{i} \in C^{n \times n}\), \(R \in R^{n \times m}\), \(\varepsilon_{1ij} > 0\), \(\varepsilon_{2ij} > 0\), for all \(i,j = 1,2,\ldots, N\), such that

[ sym ( A ˆ i ( r X j + r ¯ X ¯ j ) + B ˆ i R j ) + ε 1 i j D A i D A i T + ε 2 i j D B i D B i T E A i ( r X j + r ¯ X ¯ j ) ε 1 i j ρ A i 2 I q 1 E B i R j 0 ε 2 i j ρ B i 2 I q 2 ] <0.
(23)

The state-feedback controller gain matrix is determined as

$$ K = \sum_{i = 1}^{N} \gamma_{i} R_{i}\sum_{i = 1}^{N} (rX_{i} + \bar{r}\bar{X}_{i})^{ - 1}. $$
(24)

Proof

Since it is obvious that \(X ( \gamma ) = \sum_{i = 1} ^{N} \gamma_{i}X_{i}\), \(A ( \gamma ) = \sum_{i = 1}^{N} \gamma _{i}A_{i}\), according to Lemma 2, the system is robustly stable if the following equation is satisfied:

$$ \begin{gathered} \operatorname {sym}\bigl( ( A + BK ) (rX + \bar{r}\bar{X}) \bigr) < 0 \\ \quad \Leftrightarrow \quad \sum_{i = 1}^{N} \gamma_{i}^{2} \bigl\{ \operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{i} + \bar{r}\bar{X}_{i} ) + \hat{B}_{i}R _{i} + D_{Bi}F_{Bi}E_{Bi}R_{i} + D_{Ai}F_{Ai}E_{Ai} ( rX_{i} + \bar{r} \bar{X}_{i} ) \bigr] \bigr\} \\ \hphantom{\quad \Leftrightarrow \quad}\quad {}+ \sum_{i = 1}^{N - 1} \sum_{j = i + 1}^{N} \gamma_{i} \gamma_{j} \bigl\{ \operatorname {sym}\bigl[ \bigl( \hat{A}_{i} ( rX_{j} + \bar{r} \bar{X}_{j} ) + D_{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) \\ \hphantom{\quad \Leftrightarrow \quad}\quad {} + \hat{B}_{i}R_{j} + D_{Bi}F_{Bi}E_{Bi}R_{j} \bigr) \\ \hphantom{\quad \Leftrightarrow \quad}\quad {} + \hat{A}_{j} ( rX_{i} + \bar{r} \bar{X}_{i} ) + D_{Aj}F_{Aj}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ) + \hat{B}_{j}R_{i} + D_{Bj}F_{Bj}E_{Bj}R_{i} \bigr] \bigr\} < 0. \end{gathered} $$
(25)

If Eqs. (26)–(28) hold, then inequality (25) is satisfied;

$$\begin{aligned}& \begin{aligned}[b] &\operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{i} + \bar{r} \bar{X}_{i} ) + \hat{B}_{i}R_{i} + D_{Bi}F_{Bi}E_{Bi}R_{i} + D_{Ai}F_{Ai}E_{Ai} ( rX_{i} + \bar{r} \bar{X}_{i} ) \bigr] < 0\\ &\quad ( i = 1,2 ,\ldots, N ), \end{aligned} \end{aligned}$$
(26)
$$\begin{aligned}& \begin{aligned}[b] &\operatorname {sym}\bigl[ \hat{A}_{i} ( rX_{j} + \bar{r} \bar{X}_{j} ) + D _{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) + \hat{B} _{i}R_{j} + D_{Bi}F_{Bi}E_{Bi}R_{j} \bigr] < 0 \\ &\quad ( i = 1,2 ,\ldots, N - 1;j = i + 1,\ldots, N ), \end{aligned} \end{aligned}$$
(27)
$$\begin{aligned}& \begin{aligned}[b] &\operatorname {sym}\bigl[ \hat{A}_{j} ( rX_{i} + \bar{r} \bar{X}_{i} ) + D _{Aj}F_{Aj}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ) + \hat{B} _{j}R_{i} + D_{Bj}F_{Bj}E_{Bj}R_{i} \bigr] < 0 \\ &\quad ( i = 1,2 ,\ldots, N - 1;j = i + 1,\ldots, N ). \end{aligned} \end{aligned}$$
(28)

According to Lemma 3, there exist \(\varepsilon_{1ii},\varepsilon_{2ii} > 0\) (\(i = 1,2 ,\ldots, N \)); \(\varepsilon_{1ij},\varepsilon_{2ij} > 0\), \(\varepsilon_{1ji},\varepsilon_{2ji} > 0\) (\(i = 1,2 ,\ldots, N - 1\); \(j = i + 1,\ldots, N \)), such that

$$\begin{aligned}& \operatorname {sym}\bigl( D_{Ai}F_{Ai}E_{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr) \le \varepsilon_{1ii}D_{Ai}D_{Ai}^{T} + \varepsilon_{1ii}^{ - 1}\rho_{Ai}^{2} ( rX_{i} + \bar{r}\bar{X}_{i} ) ^{T}E_{Ai} ^{T}E_{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ), \end{aligned}$$
(29)
$$\begin{aligned}& \operatorname {sym}( D_{Bi}F_{Bi}E_{Bi}R_{i} ) \le \varepsilon_{2 \mathrm{i}i}D_{\mathrm{B}i}D_{\mathrm{B}i}^{T} + \varepsilon_{2ii} ^{ - 1}\rho_{Bi}^{2}R_{i}^{T}E_{Bi}^{T}E_{Bi}R_{i}, \end{aligned}$$
(30)
$$\begin{aligned}& \operatorname {sym}\bigl( D_{Ai}F_{Ai}E_{Ai} ( rX_{j} + \bar{r}\bar{X}_{j} ) \bigr) \le \varepsilon_{1ij}D_{Ai}D_{Ai}^{T} + \varepsilon_{1ij}^{ - 1}\rho_{Ai}^{2} ( rX_{i} + \bar{r}\bar{X}_{i} ) ^{T}E_{Ai} ^{T}E_{Ai} ( rX_{i} + \bar{r}\bar{X}_{i} ), \end{aligned}$$
(31)
$$\begin{aligned}& \operatorname {sym}( D_{Bi}F_{Bi}E_{Bi}R_{j} ) \le \varepsilon_{2ij}D_{ \mathrm{B}i}D_{\mathrm{B}i}^{T} + \varepsilon_{2ij}^{ - 1}\rho_{Bi} ^{2}R_{j}^{T}E_{Bi}^{T}E_{Bi}R_{j}, \end{aligned}$$
(32)
$$\begin{aligned}& \operatorname {sym}\bigl( D_{Aj}F_{Aj}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ) \bigr) \le \varepsilon_{1ji}D_{Aj}D_{Aj}^{T} + \varepsilon_{1ji}^{ - 1}\rho_{Aj}^{2} ( rX_{i} + \bar{r}\bar{X}_{i} ) ^{T}E_{Aj} ^{T}E_{Aj} ( rX_{i} + \bar{r}\bar{X}_{i} ), \end{aligned}$$
(33)
$$\begin{aligned}& \operatorname {sym}( D_{Bj}F_{Bj}E_{Bj}R_{i} ) \le \varepsilon_{2ji}D_{Bj}D _{Bj}^{T} + \varepsilon_{2ji}^{ - 1}\rho_{Bj}^{2}R_{i}^{T}E_{Bj}^{T}E _{Bj}R_{i}. \end{aligned}$$
(34)

Substitute (29)–(30) into (26), (31)–(32) into (27), and (33)–(34) into (28), respectively. Then based on Lemma 4, for \(\varepsilon_{1ii}, \varepsilon_{2ii} > 0\) (\(i = 1,2 ,\ldots, N \)); \(\varepsilon_{1ij}, \varepsilon_{2ij} > 0\), \(\varepsilon_{1ji},\varepsilon_{2ji} > 0\) (\(i = 1,2 ,\ldots, N - 1\); \(j = i + 1,\ldots, N \)) inequalities (26)–(28) can be written as

[ sym ( A ˆ i ( r X i + r ¯ X ¯ i ) + B ˆ i R i ) + ε 1 i i D A i D A i T + ε 2 i i D B i D B i T E A i ( r X i + r ¯ X ¯ i ) ε 1 i i ρ A i 2 I q 1 E B i R i 0 ε 2 i i ρ B i 2 I q 2 ] <0,
(35)
[ sym ( A ˆ i ( r X j + r ¯ X ¯ j ) + B ˆ i R j ) + ε 1 i j D A i D A i T + ε 2 i j D B i D B i T E A i ( r X j + r ¯ X ¯ j ) ε 1 i j ρ A i 2 I q 1 E B i R j 0 ε 2 i j ρ B i 2 I q 2 ] <0,
(36)
[ sym ( A ˆ j ( r X i + r ¯ X ¯ i ) + B ˆ j R i ) + ε 1 j i D A j D A j T + ε 2 j i D B j D B j T E A j ( r X i + r ¯ X ¯ i ) ε 1 j i ρ A j 2 I q 1 E B j R i 0 ε 2 j i ρ B j 2 I q 2 ] <0.
(37)

Note that the above condition (35)–(37) is equivalent to inequality (23). By Lemma 2, the system is robustly asymptotically stable. This completes the proof. □

4 Numerical examples

In this section, three numerical examples are given to illustrate the use of the proposed theoretical results. Some comparisons with recent relevant publications are shown in the first example, then the second example deals with the stability analysis of fractional-order linear systems with poly-topic and two-norm bounded uncertainties. And a feedback controller is designed in the third example. The objective is to show the application of the obtained results.

4.1 Example 1

In this example, the method is applied to an uncertain fractional-order linear system with the parameters described in the following [30]. This system has two-norm bounded uncertainty only, it is a special case of Theorem 3.1 in this paper. We have

N = 1 , α = 0.8 , A ˆ 1 = [ 3 2 1 3.0 1.5 1 2.0 2.0 1 ] , D A 1 = [ 0.5 1 0 0.4 0.2 0 0.1 0.1 0.6 ] , E A 1 = [ 0.1 0.3 0.4 0 0.1 0.5 0 0 0.5 ] , F A 1 = [ 0.0083 0.0166 0.0249 0.0332 0.0415 0.0499 0.0582 0.0665 0.0748 ] .

Using Theorem 3.1, for \(i = j = 1\), the time response of selected system within the uncertainty is shown in Fig. 1.

Figure 1
figure 1

The time response of the system in paper [30]

This is the same result as in Ref. [30]; it indicates the correctness of Theorem 3.1. But in [30], the norm bounded uncertainty is only considered, and the poly-topic uncertainty is not taken into consideration. This paper is just to deal with the two-norm bounded and poly-topic uncertainties simultaneously. But in [30], the robust stability bounds on the uncertainties are also derived. That is also our next work to do in the future.

4.2 Example 2

Consider a fractional-order linear system (9) with the following parameters:

N = 2 , α = 0.9 , γ 1 = 0.1 , γ 2 = 0.9 , A ˆ 1 = [ 1 0.2 0.3 1.2 ] , D A 1 = [ 0.11 0.12 0.21 0.11 ] , E A 1 = [ 0.12 0.21 0.65 0.51 ] , F A 1 = [ 0.12 0.21 0.65 0.51 ] , A ˆ 2 = [ 0.9 0.7 0.5 1.5 ] , D A 2 = [ 0.05 0.16 0.18 0.76 ] , E A 2 = [ 0.17 0.31 0.68 0.76 ] , F A 2 = [ 0.19 0.25 0.58 0.49 ] .

According to Theorem 3.1, it follows that the above fractional-order system is robustly asymptotically stable. By using the LMI toolbox provided by MATLAB, a feasible solution of an LMI condition is obtained as follows:

ε 11 = 60.7672 , ε 12 = 0.9883 , ε 21 = 87.6725 , ε 22 = 0.8390 , X 1 = [ 33.2398 1.8577 1.8577 32.1176 ] , X 2 = [ 0.4608 0.0287 0.0287 0.3303 ] .

The time response of the fractional-order system with initial state \(x_{1\mathrm{initial}} = x_{2\mathrm{initial}} = 0.1\) is described in Fig. 2, which shows that all the states are convergent.

Figure 2
figure 2

The time response of the system with \(\gamma_{1} = 0.1\), \(\gamma _{2} = 0.9\)

From Theorem 3.1, it is obvious that the robust stability condition has no relationship with \(\gamma_{i}\). Three randomly selected cases for comparison are:

  1. (1)

    Case 1: \(\gamma_{1} = 0.1\), \(\gamma_{2} = 0.9\),

  2. (2)

    Case 2: \(\gamma_{1} = 0.9\), \(\gamma_{2} = 0.1\),

  3. (3)

    Case 3: \(\gamma_{1} = 0.4\), \(\gamma_{2} = 0.6\).

The time response of the system in these cases are simulated in Fig. 3.

Figure 3
figure 3

The time response of the system in 3 cases

From Fig. 3 it can be seen that all \(x_{1} ( t ) \), \(x_{2} ( t ) \) are stable regardless of the value of \(\gamma_{i}\), which is consistent with Theorem 3.1. The validity of the theorem is illustrated from another point of view.

4.3 Example 3

Consider the following fractional-order linear system:

A ˆ 1 = [ 2.5 5.2 1.5 3.3 4.5 0.8 3.0 4.0 7.0 ] , D A 1 = [ 0.1 0.12 0.2 0.21 0.11 0.3 0.9 0.7 0.5 ] , E A 1 = [ 0.12 0.65 0.76 0.68 0.76 0.87 0.45 0.21 0.39 ] , F A 1 = [ 2 1 1.5 5 1 6 3 4 1 ] , B 1 = [ 0.8 2 1.2 ] , D B 1 = [ 0.98 0.35 0.23 0.15 0.24 0.39 0.65 0.28 0.43 ] , E B 1 = [ 0.12 0.65 0.28 ] , F B 1 = [ 0.76 0.92 0.21 0.73 0.45 0.65 0.76 0.27 0.19 ] , A ˆ 2 = [ 3.5 5 1 2 5 0.8 4.0 2.6 7 ] , D A 2 = [ 0.1 0.65 0.83 0.52 0.54 0.2 0.13 0.43 0.65 ] , E A 2 = [ 0.12 0.65 0.76 0.68 0.76 0.87 0.45 0.21 0.39 ] , F A 2 = [ 1 0.8 1.2 1.1 3.1 2.5 2.2 3.5 0.8 ] , B 2 = [ 1.2 2.4 1.0 ] , D B 2 = [ 0.89 0.53 0.32 054 0.41 0.87 0.66 0.54 0.68 ] , E B 2 = [ 0.12 0.65 0.28 ] , F B 2 = [ 0.67 0.29 0.12 0.37 054 0.56 0.67 0.72 0.91 ] , N = 2 , α = 0.45 .

Also we consider the cases for comparison:

  1. (1)

    Case 1: \(\gamma_{1} = 0.1\), \(\gamma_{2} = 0.9\),

  2. (2)

    Case 2: \(\gamma_{1} = 0.9\), \(\gamma_{2} = 0.1\),

  3. (3)

    Case 3: \(\gamma_{1} = 0.4\), \(\gamma_{2} = 0.6\).

According to Theorem 3.1, the system is not robustly asymptotically stable. The time response of the fractional-order system is described in Fig. 4, which shows that all its states are not convergent when the control input \(u ( t ) = 0\).

Figure 4
figure 4

The time response of the system in three cases

By using Theorem 3.2, the fractional-order system with \(u ( t ) = Kx ( t ) \) is determined to be asymptotically stabilized, which is shown in Fig. 5.

Figure 5
figure 5

The time response of the system in three cases

Different \(\gamma_{i}\) are corresponding to different feedback gain matrices, and the stabilizing state-feedback gain matrices are obtained:

(1) Case 1 , K = [ 40.7700 40.3679 27.1365 ] ; (2) Case 2 , K = [ 28.2832 35.7695 27.0709 ] ; (3) Case 3 , K = [ 36.0874 38.6435 27.1119 ] .

5 Conclusion

In this paper, some new results have been proposed for the robust stability and stabilization of the fractional-order system with poly-topic and two-norm bounded uncertainties when \(0 < \alpha < 1\). Firstly, a sufficient condition for robust stabilization has been derived; secondly, the corresponding linear state-feedback stabilizing controller has been designed if the robust stabilization condition is not satisfied. Both of them are presented using the linear matrix inequality approaches, with the help of the LMI toolbox in MATLAB, and three numerical examples have been given to demonstrate the effectiveness of the proposed method.

References

  1. Debnath, L.: A brief historical introduction to fractional calculus. Int. J. Math. Educ. Sci. Technol. 35, 487–501 (2004)

    Article  MathSciNet  Google Scholar 

  2. Monje, C.A., Chen, Y.Q., Vinagre, B.M., et al.: Fractional-Order Systems and Controls: Fundamentals and Applications. Springer, London (2010)

    Book  MATH  Google Scholar 

  3. Tan, N., Özgüven, Ö.F., Özyetkin, M.M.: Robust stability analysis of fractional-order interval polynomials. ISA Trans. 48, 166–172 (2009)

    Article  Google Scholar 

  4. Jajarmi, A., Hajipour, M., Baleanu, D.: New aspects of the adaptive synchronization and hyperchaos suppression of a financial model. Chaos Solitons Fractals 99, 285–296 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  5. Baleanu, D., Jajarmi, A., Hajipour, M.: A new formulation of the fractional optimal control problems involving Mittag–Leffler nonsingular kernel. J. Optim. Theory Appl. 175(3), 718–737 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hollkamp, J.P., Sen, M., Semperlotti, F.: Vibration analysis of discrete parameter systems using fractional-order models. In: SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring, Portland, Oregon, United States (2017)

    Google Scholar 

  7. Yang, J.H., Sanjuan, M., Liu, H.G., et al.: Stochastic P-bifurcation and stochastic resonance in a noisy bistable fractional-order system. Commun. Nonlinear Sci. Numer. Simul. 41, 104–117 (2016)

    Article  MathSciNet  Google Scholar 

  8. Atangana, A., Koca, L.: Chaos in a simple nonlinear system with Atangana–Baleanu derivatives with fractional-order. Chaos Solitons Fractals 89, 447–454 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hajipour, M., Jajarmi, A., Baleanu, D.: An efficient nonstandard finite difference scheme for a class of fractional chaotic systems. J. Comput. Nonlinear Dyn. 13(2), 021013 (2018)

    Article  Google Scholar 

  10. Tejado, I., Valério, D., Pérez, E., et al.: Fractional calculus in economic growth modelling: the Spanish and Portuguese cases. Int. J. Dyn. Control 5, 208–222 (2017)

    Article  MathSciNet  Google Scholar 

  11. Abrashov, S., Malti, R., Moze, M., et al.: Simple and robust experiment design for system identification using fractional models. IEEE Trans. Autom. Control 62, 2648–2658 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  12. Baleanu, D., Jajarmi, A., Asad, J.H., Blaszczyk, T.: The motion of a bead sliding on a wire in fractional sense. Acta Phys. Pol. A 131(6), 1561–1564 (2017)

    Article  Google Scholar 

  13. Arman, D., Morad, N., Erc, A.B.: Optimal fractional state feedback control for linear fractional periodic time delayed systems. In: American Control Conference, Boston Marriott Copley Place, Boston, MA, USA, pp. 2778–2783 (2016)

    Google Scholar 

  14. Podluby, I.: Fractional-order systems and \(PI^{\lambda} D^{\mu}\) controllers. IEEE Trans. Autom. Control 44, 208–214 (1999)

    Article  MathSciNet  Google Scholar 

  15. Oustaloup, A., Mathieu, B., Lanusse, P.: The crone control of resonant plants: application to a flexible transmission. Eur. J. Control 1, 113–121 (1995)

    Article  Google Scholar 

  16. Luo, Y., Chen, Y.Q.: Fractional-order [proportional derivative] controller for a class of fractional-order systems. Automatica 45, 2446–2450 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Tavazoei, M.S., Haeri, M.: A note on the stability of fractional-order systems. Math. Comput. Simul. 79, 1566–1576 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  18. Delavari, H., Baleanu, D., Sadati, J.: Stability analysis of Caputo fractional-order nonlinear systems revisited. Nonlinear Dyn. 67, 2433–2439 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  19. Duarte-Mermoud, M.A., Aguila, C.N., Gallegos, J.A., et al.: Using general quadratic Lyapunov functions to prove Lyapuov uniform stability for fractional-order systems. Commun. Nonlinear Sci. Numer. Simul. 22, 650–659 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  20. Sabatier, J., Moze, M., Farges, C.: LMI stability conditions for fractional-order systems. Comput. Math. Appl. 59, 1594–1609 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Ouannas, A., Azar, A.: A robust method for new fractional hybrid chaos synchronization. Math. Methods Appl. Sci. 40, 1804–1812 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wang, Z.L., Yang, D.S., Zhang, H.G.: Stability analysis on a class of nonlinear fractional-order systems. Nonlinear Dyn. 86, 1023–1033 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  23. Chen, Y.Q., Ahn, H.S. Podlubny, I.: Robust stability check of fractional-order linear time invariant systems with interval uncertainties. IEEE Int. Conf. Mechatron. Autom. 1, 210–215 (2005)

    MATH  Google Scholar 

  24. Ahn, H.S., Chen, Y.Q., Podlubny, I.: Robust stability test of a class of linear time invariant interval fractional-order system using Lyapunov inequality. Appl. Math. Comput. 187, 27–34 (2007)

    MathSciNet  MATH  Google Scholar 

  25. Lu, J.G., Chen, Y.Q.: Robust stability and stabilization of fractional-order interval systems with the fractional-order: the \(0 < \alpha < 1\) case. IEEE Trans. Autom. Control 55, 152–158 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  26. Zheng, S.: Robust stability of fractional-order system with general interval uncertainties. Syst. Control Lett. 99, 1–8 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  27. Christophe, F., Jocelyn, S., Mathieu, M.: Fractional-order poly-topic systems: robust stability and stabilization. Adv. Differ. Equ. 2011, 35 (2011)

    Article  MATH  Google Scholar 

  28. Lu, J.G., Chen, Y.Q.: Stability and stabilization of fractional-order linear systems with convex poly-topic uncertainties. Fract. Calc. Appl. Anal. 16, 142–158 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  29. Chen, L.P., Wu, R.C., He, Y.G., et al.: Robust stability and stabilization of fractional-order linear systems with poly-topic uncertainties. Appl. Math. Comput. 257, 274–284 (2015)

    MathSciNet  MATH  Google Scholar 

  30. Ma, Y.D., Lu, J.G., Chen, W.D., et al.: Robust stability bounds of uncertain fractional-order systems. Fract. Calc. Appl. Anal. 17, 136–153 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  31. Denis, M.: Stability results for fractional differential equations with applications to control. In: Proceeding in Computational Engineering in Systems Applications, France, pp. 963–968 (1996)

    Google Scholar 

  32. Jocelyn, S., Mathieu, M., Christophe, F.: LMI stability conditions for fractional order systems. Comput. Math. Appl. 59, 1594–1609 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  33. Khargonekar, P., Petersen, I., Zhou, K.: Robust stabilization of uncertain linear systems: quadratic stabilizability and \(H_{\infty} \) control theory. IEEE Trans. Autom. Control 35, 356–361 (1990)

    Article  MATH  Google Scholar 

  34. Zhang, F.: The Schur Complement and Its Applications. Springer, Berlin (2005)

    Book  MATH  Google Scholar 

Download references

Acknowledgements

This project was supported by National Natural Science Foundation of China (Grant No. 51305321), National Key Basic Research Program 973 (Grant No. 2015CB857100), CSC Scholarship Council (No. 201606965013) and the 111 Project (Grant No. B1402).

Author information

Authors and Affiliations

Authors

Contributions

The author wrote, read and approved the final manuscript.

Corresponding author

Correspondence to Sulan Li.

Ethics declarations

Competing interests

The author declares to have no competing interest.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, S. Robust stability and stabilization of LTI fractional-order systems with poly-topic and two-norm bounded uncertainties. Adv Differ Equ 2018, 88 (2018). https://doi.org/10.1186/s13662-018-1542-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1542-x

Keywords