Next Article in Journal
Hyper-Heuristic Based on ACO and Local Search for Dynamic Optimization Problems
Previous Article in Journal
Modeling of the 5G-Band Patch Antennas Using ANNs under the Uncertainty of the Geometrical Design Parameters Associated with the Manufacturing Process
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Finite-Time Control of Singular Linear Semi-Markov Jump Systems

Key Laboratory of Advanced Process Control for Light Industry, Ministry of Education, School of Internet of Things Engineering, Jiangnan University, Wuxi 214122, China
*
Author to whom correspondence should be addressed.
Algorithms 2022, 15(1), 8; https://doi.org/10.3390/a15010008
Submission received: 19 November 2021 / Revised: 20 December 2021 / Accepted: 22 December 2021 / Published: 24 December 2021
(This article belongs to the Section Analysis of Algorithms and Complexity Theory)

Abstract

:
The problem of finite-time control for singular linear semi-Markov jump systems (SMJSs) with unknown transition rates is considered in this paper. By designing a new semi-positive definite Lyapunov-like function, state feedback controller design methods are given that allow closed-loop singular linear SMJSs to be regular, impulse-free and stochastically finite-time-stable without external disturbance, and stochastically finite-time bounded with external disturbance. The obtained conditions are expressed by a set of strict matrix inequalities, which can be simplified to a set of linear matrix inequalities by a one dimensional search for a scalar. Two numerical examples are given to illustrate the effectiveness of proposed method.

1. Introduction

During the past few years, the research of Markov jump systems (MJSs) has gotten a lot of attention due to the fact that those systems can effectively describe the dynamics of physical systems suffering from some changes in structure and parameters, random sudden variations and unexpected environment disturbances [1]. Various fundamental problems, including stability [2], state feedback stabilization [3], output feedback stabilization [4] and filter design [5], have been fully addressed within this topic. The sojourn times of continuous-time MJSs obey a unique exponential distribution, whereas those of discrete-time MJSs follow the geometric distribution, which results in constant transition rates and certain limitations on the MJSs in practical applications. Compared with the standard Markov process, the semi-Markov jump process [6] is subject to a nonexponential distribution, such as the Weibull distribution [7] or phase type distribution [8], and has time-varying transition rates. For this reason, the semi-Markov system model can describe more general practical systems and has a wider range of applications in many real-life situations [9]—epidemic infectious systems [10], social networks [11] and so on. In addition to the above stochastic processes, there are more general stochastic processes, such as regenerative processes and Markovian regenerative processes. The regenerative switched linear system was studied in [12]. The mean stability of this system was investigated and represented by the spectral radius of a expectation matrix. In [13], a Markovian regenerative process was applied to a RAID storage system to obtain more accurate performance prediction. Sufficient conditions for the stochastic stability of linear SMJSs were given in [6], where the information for the upper and lower bounds of the transition rates was required. Moreover, for positive SMJSs, conditions to verify the exponential and stochastic mean stability were given in [14], where the spectral radius of a matrix and a discretization method were introduced. Numerically testable criteria on the basis of a semi-Markov kernel and the emission probability of hidden SMJSs were obtained in [15], with the aid of certain techniques that can eliminate the terms containing products of matrices.
Singular systems, also known as descriptor systems and differential-algebraic systems, have wide applications in actual systems, including power systems [16], singular perturbation systems [17], chemical processes [18] and nuclear energy reaction processes [19], since such systems can contain both dynamic and algebraic relations between state variables and can better describe the complex dynamic systems than the normal state-space ones. By using the fast–slow subsystems decomposition approach, singular systems can be decomposed to fast subsystems depicted by algebraic equations and slow subsystems depicted by differential equations or difference equations [19]. The structural characteristics of singular systems were analyzed in [19], and some criteria for the regularity, absence of impulse and asymptotic stability were given in [20]. For singular MJSs, sufficient and necessary conditions for stability and stabilization of continuous-time singular MJSs were given in [21], and the dynamic output feedback control for singular MJSs was given in [22] by using linear matrix inequality technology. When the system was subject to amplitude bounded disturbance, the PD state feedback control method was extended to the reachable set synthesis problem [23]. The dissipative control problem for T-S fuzzy singular MJSs was studied in [24], where the state-dependent noise and asynchronous modes were considered. Based on the extended passivity theory, a non-fragile filter was designed for singular MJSs with time-varying delay and missing measurements in [25]. For singular semi-Markov jump systems (SSMJSs), the problem of a sliding mode control for nonlinear uncertain SSMJSs with stochastic disturbance was studied by using the weak infinitesimal operator from the viewpoints of probability distribution in [26].
For dynamic systems, stability is an important concept for the control system. Lyapunov stability focuses on the asymptotic behavior in an infinite time domain, which is a concept relating to qualitative research in fact. Sometimes, a system which is asymptotically stable may have bad steady-state performance. In practical engineering, the attention may be paid to the system’s performance in a prescribed finite time interval [27], which may be considered as a quantitative concept. Motivated by this, the concept of finite-time stability was given to analyze the transient behavior within a finite time interval. Given some initial conditions, the dynamic system is finite-time-stable if the trajectory of the state does not exceed a given threshold in a certain time interval [28]. Annular finite-time stability not only defines that the state trajectory of the system is limited to a certain upper threshold within a finite time interval, but also considers the lower limit of the state trajectory, which is of great significance under specific requirements. The annular finite-time boundedness for networked switched systems was investigated with an adaptive event-triggered scheme [29]. A finite-time guaranteed cost control algorithm for SMJSs was given by a set of linear matrix inequalities [30]. In that paper, the event-triggered scheme and quantization input were applied. For singular MJSs with time-varying delays and quantization, the finite-time non-fragile filtering problem was addressed in [31] by constructing a Lyapunov–Krasovskii functional. In [32], the asynchronous filter for singular SMJS was designed to guarantee that the filtering error system was finite-time bounded under the dynamic event-based scheme, but there was a equality constraint, which led to some difficulty in solving numerical values. Recently, based on stochastic system theory and the singular value decomposition approach, the finite-time stability and stabilization problem for SSMJSs has been studied, but not enough. One reason is that the SSMJS has a complicated structure; the other is that the research is not mature. For SSMJSs, in order to design a controller and deal with nonlinear items, the singular matrix was decomposed into a left matrix and right matrix, and it should be pointed out that new matrices were introduced to represent the inverse of the matrices in Lyapunov function in [26], which might not be good. In [33], only under a specified expression, could the gain of the controller be obtained in terms of the linear matrix inequality, which implies that the parameters of the controller were constrained.
Motivated by this, the problem of finite-time control for SSMJSs is considered. By designing a new semi-positive definite Lyapunov-like function with different perspectives in mind, a sufficient condition for the design of the desired state feedback control law is given to guarantee the closed-loop system is regular, impulse-free and finite-time-stable. By some matrix decomposition and construction, this criterion is further simplified to a set of strict matrix inequalities. When the integrally bounded disturbance is introduced, a sufficient condition is also given for the closed-loop SSMJSs to be finite-time bounded. It is noted that the obtained criteria are strict matrix inequalities and can be simplified to be linear matrix inequalities by using a one-dimensional search for a scalar. This gives some computational simplicity when those criteria are verified numerically. Two numerical examples are given to verify the applicability and effectiveness of the proposed method.
The main contributions can be organized as
(1)
A suitable semi-positive definite Lyapunov-like function is designed, which gives a sufficient condition for making the considered closed-loop SSMJSs regular, impulse-free and stochastically finite-time-stable.
(2)
To get the solvable condition, the coupling term about a singular parameter and jump matrix is dealt with through matrix transformation and the Schur complement lemma.
(3)
Some matrix decomposition and construction ideas are introduced, which simplify a complex matrix inequality with an equality constraint to a set of strict matrix inequalities and further to a set of linear matrix inequalities using one dimensional searching.

2. Problem Formulation

Consider a class of SSMJSs with an external disturbance:
E x ˙ ( t ) = A ( r ( t ) ) x ( t ) + B ( r ( t ) ) u ( t ) + C ( r ( t ) ) ω ( t ) ,
where x ( t ) R n is the state vector, u ( t ) R m is the control input vector and ω ( t ) R p is the disturbance input satisfying 0 T ω T ( t ) ω ( t ) d t d for given T > 0 and d > 0 . r ( t ) is a semi-Markov chain taking values in the finite space S = { 1 , 2 , , N } , which governs the jump parameters in the probabilistic space ( Ω , F , P ) . A ( r ( t ) ) , B ( r ( t ) ) , C ( r ( t ) ) and r ( t ) S are known matrices with compatible dimensions, which depend on r ( t ) . The matrix E is singular, and we assume rank ( E ) = r n .
The evolution of the semi-Markov process r ( t ) , t 0 in system (1) is governed by the following probability transitions.
P { r ( t + Δ ) = j r ( t ) = i } = μ i j ( h ) Δ + o ( Δ ) , r ( t ) jumps from i to j , 1 + μ i i ( h ) Δ + o ( Δ ) , r ( t ) stays at mode i ,
where h 0 is the sojourn time; Δ > 0 and lim Δ 0 o ( Δ ) Δ = 0 ; μ i j ( h ) is the transition rate when r ( t ) jumps from the mode i to mode j where i j and μ i i ( h ) = j = 1 , j i N μ i j ( h ) . Here, it is also assumed that the transition rate μ i j ( h ) is not exactly known but bounded by μ ̲ i j μ i j ( h ) μ ¯ i j for μ ̲ i j 0 and μ ¯ i j 0 .
The objective of this paper is to walk through the design pf a state feedback controller for a SSMJS (1), such that the closed-loop system is regular, impulse-free and stochastically finite-time bounded. To this end, some definitions and lemmas are introduced first.
Definition 1
(Sathishkumar et al. [34]).
1. 
The pair ( E , A i ) is said to be regular, if for each i S , det ( s E A i )   0 , that is, s C , det ( s E A i ) 0 .
2. 
The pair ( E , A i ) is said to be impulse-free, if for each i S , deg ( det ( s E A i ) ) = r a n k ( E ) .
3. 
The SSMJS in (1) with u ( t ) = 0 and ω ( t ) = 0 is said to be regular and impulse-free, if for each i S , the pair ( E , A i ) is regular and impulse-free.
Lemma 1
(Xu et al. [20]). The solution of the SSMJS in (1) with u ( t ) = 0 and ω ( t ) = 0 exists and is unique and impulse-free, if this system is regular and impulse-free.
Definition 2
(Zhang et al. [35]). Consider the SSMJS in (1) with u ( t ) = 0 and ω ( t ) = 0 . For given positive scalars c 1 , c 2 and T with c 1 < c 2 , and symmetric positive-definite matrix R, this system is said to be stochastically finite-time-stable with respect to ( c 1 , c 2 , T , R ) , if for t [ 0 , T ] , this system is regular, impulse-free and
E { x T ( 0 ) E T R E x ( 0 ) } c 1 E { x T ( t ) E T R E x ( t ) } < c 2 .
Definition 3.
Consider the SSMJS in (1) with ω ( t ) = 0 . For given positive scalars c 1 , c 2 and T with c 1 < c 2 , and symmetric positive-definite matrix R, this system is said to be stochastically finite-time stabilizable with respect to ( c 1 , c 2 , T , R ) , if there exists a state feedback control law such that the closed-loop system is stochastically finite-time-stable with respect to ( c 1 , c 2 , T , R ) .
Definition 4
(Zhang et al. [35]). Consider the SSMJS in (1). For given positive scalars c 1 , c 2 and T with c 1 < c 2 , symmetric positive-definite matrix R, this system is said to be stochastically finite-time bounded with respect to ( c 1 , c 2 , T , R , d ) , if there exists a state feedback control law such that the closed-loop system is regular, impulse-free and satisfies (3).
The state feedback control law to be designed is assumed to be dependent on the semi-Markov modes,
u ( t , r ( t ) ) = K ( r ( t ) ) x ( t ) ,
and then the closed-loop system can be given as
E x ˙ ( t ) = ( A ( r ( t ) ) + B ( r ( t ) ) K ( r ( t ) ) x ( t ) + C ( r ( t ) ) ω ( t ) : = A ( r ( t ) ) x ( t ) + C ( r ( t ) ) ω ( t ) .
For each possible r ( t ) = i , i S , the system matrices can be rewritten as A i , A i , B i and C i for notational simplicity.

3. Results

In this section, the design of state feedback control law for the SSMJS in (1) is presented. The stochastically finite-time stabilization algorithm is given first for the SSMJS in (1) with ω ( t ) = 0 , which is summarized in the following theorem.

3.1. Stochastically Finite-Time Stabilization

Theorem 1.
For given positive scalars c 1 , c 2 and T with c 1 < c 2 and symmetric positive-definite matrix R, the SSMJS in (1) with ω ( t ) = 0 is stochastically finite-time stabilizable with respect to ( c 1 , c 2 , T , R ) , if there exists a positive scalar α; a symmetric positive-definite matrix P i ; and matrices Q i , S i and Y i with appropriate dimensions such that
Π ̲ 11 Π ̲ 12 * Π 22 < 0 ,
Π ¯ 11 Π ¯ 12 * Π 22 < 0 ,
E T = E T R 1 2 Q i R 1 2 E P i E T ,
λ max ( Q i ) c 1 e α T < λ min ( Q i ) c 2 ,
where H R n × ( n r ) is any matrix with full column rank that satisfies E H = 0 :
Π ̲ 11 = A i ( P i E T + H S i T ) + ( P i E T + H S i T ) T A i T + B i Y i + Y i T B i T + ( μ ̲ i i α ) E P i E T ,
Π ¯ 11 = A i ( P i E T + H S i T ) + ( P i E T + H S i T ) T A i T + B i Y i + Y i T B i T + ( μ ¯ i i α ) E P i E T ,
Π ̲ 12 = μ ̲ i 1 μ ̲ i , i 1 μ ̲ i , i + 1 μ ̲ i N E P i E T ,
Π ¯ 12 = μ ¯ i 1 μ ¯ i , i 1 μ ¯ i , i + 1 μ ¯ i N E P i E T ,
Π 22 = d i a g { Π 22 , 1 , , Π 22 , i 1 , Π 22 , i + 1 , , Π 22 , N } ,
with Π 22 , l = P l ( P l E T + H S l T ) ( P l E T + H S l T ) T , l S . Furthermore, a suitable state feedback control law is given as
u ( t ) = Y i ( P i E T + H S i T ) 1 x ( t ) .
Proof of Theorem 1.
Firstly, consider the regularity and absence of impulse. Since rank ( E ) = r n , there must exist nonsingular matrices L and T such that
E ¯ = L E T = I r 0 0 0 .
Similar to this matrix decomposition, we can also define
A i ¯ = L A i T = A ¯ i 11 A ¯ i 12 A ¯ i 21 A ¯ i 22 , S ¯ i = L S i = S ¯ i 1 S ¯ i 2 , P ¯ i = T 1 P i T T = P ¯ i 11 P ¯ i 12 P ¯ i 21 P ¯ i 22 , H ¯ = T 1 H = 0 H ¯ 2 ,
where H ¯ 2 R ( n r ) × ( n r ) is nonsingular.
By multiplying (5a) or (5b) by L and L T on the left and right, respectively, we get
A ¯ i 22 H ¯ 2 S ¯ i 2 T + S ¯ i 2 H ¯ 2 T A ¯ i 22 T < 0 ,
where ★ represents the matrix block, which is irrelevant to the following discussion. From this inequality, it can be obtained that A i 22 must be nonsingular. Otherwise, there exists a nonzero vector ξ R n r such that A i 22 T ξ = 0 and then ξ T ( A ¯ i 22 H ¯ 2 S ¯ i 2 T + S ¯ i 2 H ¯ 2 T A ¯ i 22 T ) ξ = 0 , which contradicts to (9). Then, the closed-loop SSMJS is regular and impulse-free [19,21].
Next, a Lyapunov-like function is defined as
V ( x ( t ) , r ( t ) ) = x T ( t ) E T ( P ( r ( t ) ) E T + H S ( r ( t ) ) T ) 1 x ( t ) .
With the fact of E H = 0 , it is obtained that ( P i E T + H S i T ) T E T = E ( P i E T + H S i T ) = E P i E T 0 . Multiplying the last equation by ( P i E T + H S i T ) T and ( P i E T + H S i T ) 1 on the left and right, respectively, gives
E T ( P i E T + H S i T ) 1 = ( P i E T + H S i T ) T E 0 ,
and then the Lyapunov-like function (10) is symmetric semi-positive definite.
With the consideration of r ( t ) = i , the weak infinitesimal generator can be given as
V ( x ( t ) , r ( t ) ) = j = 1 N μ i j ( h ) x T ( t ) E T ( P j E T + H S j T ) 1 x ( t ) + x T ( t ) A i T ( P i E T + H S i T ) 1 x ( t ) + x T ( t ) ( P i E T + H S i T ) T A i x ( t ) .
Then, it can be obtained that
V ( x ( t ) , r ( t ) ) α V ( x ( t ) , r ( t ) ) = x T ( t ) Γ i x ( t ) ,
where
Γ i = j = 1 N μ i j ( h ) E T ( P j E T + H S j T ) 1 + A i T ( P i E T + H S i T ) 1 + ( P i E T + H S i T ) T A i α E T ( P i E T + H S i T ) 1 .
By considering the relationship (11) and performing a matrix transformation, we have
( P i E T + H S i T ) T E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) = ( P i E T + H S i T ) T ( P j E T + H S j T ) T ( P j E T + H S j T ) T E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) = ( P i E T + H S i T ) T ( P j E T + H S j T ) T E P j E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) = ( P i E T + H S i T ) T E T ( P j E T + H S j T ) 1 P j ( P j E T + H S j T ) T E ( P i E T + H S i T ) = E P i E T ( P j E T + H S j T ) 1 P j ( P j E T + H S j T ) T E P i E T .
Since P j is symmetric positive-definite, it is obtained that
( P j E T + H S j T ) P j T P j 1 ( P j E T + H S j T ) P j = ( P j E T + H S j T ) T P j 1 ( P j E T + H S j T ) ( P j E T + H S j T ) ( P j E T + H S j T ) T + P j > 0 ,
and therefore we have
( P j E T + H S j T ) T P j 1 ( P j E T + H S j T ) < ( P j E T + H S j T ) ( P j E T + H S j T ) T + P j .
For any given h, μ i j ( h ) can be written as μ i j ( h ) = m ̲ μ ̲ i j + m ¯ μ ¯ i j , where m ¯ + m ̲ = 1 and m ¯ > 0 , m ̲ > 0 . According to (14) and (16), by multiplying (5a) by m ̲ and (5b) by m ¯ , and by applying the Schur complement lemma, the summary is that
j = 1 N ( m ̲ μ ̲ i j + m ¯ μ ¯ i j ) ( P i E T + H S i T ) T E T ( P j E T + H j S j T ) 1 ( P i E T + H S i T ) + ( P i E T + H S i T ) T A i T + Y i T B i T + A i ( P i E T + H S i T ) + B i Y i α E P i E T < 0 ,
which further yields that
j = 1 N μ i j ( h ) ( P i E T + H S i T ) T E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) α E P i E T + ( P i E T + H S i T ) T A i T + Y i T B i T + A i ( P i E T + H S i T ) + B i Y i < 0 .
By multiplying (18) by ( P i E T + H S i T ) T and ( P i E T + H S i T ) 1 on the left and right, respectively, noting the closed-loop system (4) and defining Y i = K i ( P i E T + H S i T ) , we get that Γ i < 0 , which further yields
e α t V ( x ( t ) , r ( t ) ) < 0 .
Applying the generalized Dynkin formula [36] to (19) gives
e α t E { V ( x ( t ) , r ( t ) ) } V ( x ( 0 ) , r ( 0 ) ) < 0 ,
and further gives
E { V ( x ( t ) , r ( t ) ) } < V ( x ( 0 ) , r ( 0 ) ) e α t .
From (5c), it follows that E T = E T R 1 2 Q i R 1 2 E ( P i E T + H S i T ) , and then
E T ( P i E T + H S i T ) 1 = E T R 1 2 Q i R 1 2 E .
This yields that
E { V ( x ( t ) , r ( t ) ) } = E { x T ( t ) E T ( P i E T + H S i T ) 1 x ( t ) } = E { x T ( t ) E T R 1 2 Q i R 1 2 E x ( t ) } λ min ( Q i ) E { x T ( t ) E T R E x ( t ) } .
Similarly, we have
V ( x ( 0 ) , r ( 0 ) ) λ max ( Q i ) E { x T ( 0 ) E T R E x ( 0 ) } .
From (5d), (20), (22) and (23), if E { x T ( 0 ) E T R E x ( 0 ) } c 1 , it is obtained that
E { x T ( t ) E T R E x ( t ) } < λ max ( Q i ) c 1 e α t λ min ( Q i ) < c 2 .
Then, the closed-loop SSMJS is regular, impulse-free and stochastically finite-time-stable, which concludes the proof. □
Remark 1.
A sufficient condition is provided in Theorem 1 for the stochastically finite-time stabilization of the SSMJS in (1). j = 1 N μ i j ( h ) ( P i E T + H S i T ) T E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) are not MATLAB solvable, but through matrix transformation, we can use the Schur complement lemma to get the solvable condition. If μ i j ( h ) = μ i j , the sufficient condition is presented to ensure that the closed-loop singular MJS is stochastically finite-time-stable, as considered in [37].
Remark 2.
For a matrix E, different Hs may be designed. The differences in H do not influence the feasible solution of the theorem. Now, we assume that in inequality (5a–d), a feasible solution with P i , Q i , S i , Y i and α exists for each certain matrix H R n × ( n r ) . We consider two different matrices H and H , and it can be obtained that the nonsingular matrix V ( n r ) × ( n r ) exists to make H = H V and S i ( H ) T = S i V T H T . Then, inequality (5a–d) is satisfied for P i , Q i , S i = S i V T , Y i and α. From the above discussion, the state feedback gains are the same even if H is a different matrix.
Remark 3.
It should be pointed out that it is required to assume that P i E T + H S i T is nonsingular in the proof of Theorem 1. It is assumed that there exists a feasible solution α, in which P i , Q i , S i and Y i condition (5a–d) for a prescribed matrix H, but P i E T + H S i T is singular. In this case, according to [38], the matrix Δ S i n × ( n r ) with Δ S i 1 must exist so that P i E T + H ( S i + Δ S i ) T is a nonsingular matrix. Meanwhile, the condition (5a–d) is satisfied for α, P i , Q i , S i + Δ S i and Y i .
However, the condition (5c) in Theorem 1 is difficult to verify. In the sequel, a numerically tractable condition will be provided in Theorem 2 to get the matrix gains K i by some strict linear matrix inequalities.
Theorem 2.
For given positive scalars c 1 , c 2 and T with c 1 < c 2 and symmetric positive-definite matrix R, the SSMJS in (1) with ω ( t ) = 0 is stochastically finite-time stabilizable with respect to ( c 1 , c 2 , T , R ) , if there exist positive scalars α and 0 < θ < 1 ; symmetric positive-definite matrices P i and Z i ; and matrices S i and Y i with appropriate dimensions such that (5a,b) and the following matrix inequalities are satisfied:
θ I < R 1 2 L 1 I r 0 0 0 T 1 P i T T I r 0 0 0 + 0 0 0 Z i L T R 1 2 ,
R 1 2 L 1 I r 0 0 0 T 1 P i T T I r 0 0 0 + 0 0 0 Z i L T R 1 2 < I ,
c 1 e α T θ c 2 < 0 .
Furthermore, the control law can be obtained by (6).
Proof of Theorem 2.
First, it follows from (7) and (8) that the matrix Q i can be also decomposed to
Q ¯ i = L T R 1 2 Q i R 1 2 L 1 = Q ¯ i 11 Q ¯ i 12 Q ¯ i 21 Q ¯ i 22 .
Multiplying (5c) by T T and L T on the left and right, respectively, gives
Z R T E T Z L T = Z R T E T R 1 2 Q i R 1 2 E P i E T Z L T ,
and further gives
E ¯ T = E ¯ T Q ¯ i E ¯ P ¯ i E ¯ T ,
which straightforwardly gives Q ¯ i 11 P ¯ i 11 = I . With this observation, Q ¯ i can be constructed as
Q ¯ i = I r 0 0 0 P ¯ i I r 0 0 0 + 0 0 0 Z i 1 ,
where Z i R ( n r ) × ( n r ) is symmetric positive-definite.
Next we rewrite Q i as
Q i = R 1 2 L T I r 0 0 0 P ¯ i I r 0 0 0 + 0 0 0 Z i 1 L R 1 2 ,
and its inverse matrix as
Q i 1 = R 1 2 L 1 I r 0 0 0 P ¯ i I r 0 0 0 + 0 0 0 Z i L T R 1 2 .
From above discussion, to solve the conditions (5c,d), we can set (25a,b), where 0 < θ < 1 and θ < λ min Q i 1 < λ max Q i 1 < 1 .
If (25c) holds, we have
λ max Q i 1 c 1 e α T < c 1 e α T < θ c 2 < λ min Q i 1 c 2 .
Note that λ max ( Q i ) = 1 λ min Q i 1 , λ min ( Q i ) = 1 λ max Q i 1 and (5d) can be guaranteed. □
Remark 4.
One of the main merits of this theorem is that it eliminates the equality constraint (5c). By constructing the matrix Q i and confining it into an interval, the result (5c,d) in Theorem 1 reduces to a strict matrix inequality condition which is comparatively easy to verify numerically.
Then, a state feedback control gain design algorithm for the SSMJS in (1) with disturbance is given, which can be summarized in the following theorem.

3.2. Stochastically Finite-Time Boundedness

Theorem 3.
For given positive scalars c 1 , c 2 and T; d with c 1 < c 2 ; and symmetric positive-definite matrix R, the SSMJS in (1) is stochastically finite-time bounded with respect to ( c 1 , c 2 , T , R , d ) , if there exist positive scalars α, η and 0 < θ < 1 ; symmetric positive-definite matrices P i and Z i ; and matrices S i and Y i with appropriate dimensions such that (25a,b) and the following matrix inequalities hold:
Π ̲ 11 Π ̲ 12 C i * Π 22 0 * * α W i < 0 ,
Π ¯ 11 Π ¯ 12 C i * Π 22 0 * * α W i < 0 ,
c 1 e α T + α d η e α T < θ c 2 ,
W i < η I ,
where H, Π ̲ 11 , Π ¯ 11 , Π ̲ 12 , Π ¯ 12 and Π 22 are defined the same as in Theorem 2. Furthermore, the control gain is given as
K i = Y i ( P i E T + H S i T ) 1 .
Proof of Theorem 3.
For the closed-loop SSMJS (4), it is easy to verify that it is regular and impulse-free from (31a–d). A semi-positive definite Lyapunov-like function can also be designed as (10). Similarly, with the consideration of r ( t ) = i , r ( t + Δ ) = j , the weak infinitesimal operator can be obtained as
V ( x ( t ) , r ( t ) ) = j = 1 N μ i j ( h ) x T ( t ) E T ( P j E T + H S j T ) 1 x ( t ) + x T ( t ) A i T ( P i E T + H S i T ) 1 x ( t ) + x T ( t ) ( P i E T + H S i T ) T A i x ( t ) + ω T ( t ) C i T ( P i E T + H S i T ) 1 x ( t ) + x T ( t ) ( P i E T + H S i T ) T C i ω ( t ) .
Following the same philosophy as that in Theorem 1, we have
V ( x ( t ) , r ( t ) ) α V ( x ( t ) , r ( t ) ) + ω T ( t ) W i ω ( t ) = x ( t ) ω ( t ) T Ψ x ( t ) ω ( t ) ,
where
Ψ = Ψ 11 ( P i E T + H S i T ) T C i C i T ( P i E T + H S i T ) 1 α W i , Ψ 11 = j = 1 N μ i j ( h ) E T ( P j E T + H S j T ) 1 + A i T ( P i E T + H S i T ) 1 + ( P i E T + H S i T ) T A i α E T ( P i E T + H S i T ) 1 .
By multiplying Ψ by diag { ( P i E T + H S i T ) T , I } and its transpose on the left and right, respectively, and defining Y i = K i ( P i E T + H S i T ) , we get
Ψ ¯ = Ψ ¯ 11 C i C i T α W i ,
where
Ψ ¯ 11 = j = 1 N μ i j ( h ) ( P i E T + H S i T ) T E T ( P j E T + H S j T ) 1 ( P i E T + H S i T ) + ( P i E T + H S i T ) T A i T + A i ( P i E T + H S i T ) + B i Y i + Y i T B i T α E P i E T .
According to (14) and (16), by applying the Schur complement lemma, and then multiplying (31a) by m ̲ and (31b) by m ¯ , with m ¯ + m ̲ = 1 and m ¯ > 0 , m ̲ > 0 , we can also obtain
V ( x ( t ) , r ( t ) ) < α V ( x ( t ) , r ( t ) ) + ω T ( t ) W i ω ( t ) .
Multiplying it by e α t on the both sides gives
e α t V ( x ( t ) , r ( t ) ) < α e α t ω T ( t ) W i ω ( t ) .
From the Dynkin formula, it is easy to obtain that
e α t E { V ( x ( t ) , r ( t ) ) } E { V ( x ( 0 ) , r ( 0 ) ) } < α 0 t e α s E { ω T ( s ) W i ω ( s ) } d s .
For t [ 0 , T ] , one can get
E { V ( x ( t ) , r ( t ) ) } < e α T E { V ( x ( 0 ) , r ( 0 ) ) } + α 0 T e α s E { ω T ( s ) W i ω ( s ) } d s < e α T E { V ( x ( 0 ) , r ( 0 ) ) } + α d λ max ( W i ) .
From (31d), it follows λ max ( W i ) < η and therefore (31c) implies
c 1 e α T + α d λ max ( W i ) θ e α T < θ c 2 .
From (31c,d), it follows that θ < λ min Q i 1 < λ max Q i 1 < 1 and then λ max Q i 1 c 1 e α T < c 1 e α T < θ c 2 α d λ max ( W i ) e α T < λ min Q i 1 c 2 α d λ max ( W i ) e α T . Bearing in mind that λ max ( Q i ) = 1 λ min Q i 1 , λ min ( Q i ) = 1 λ max Q i 1 , it can be derived that
λ max ( Q i ) c 1 e α T < λ min ( Q i ) c 2 α d λ max ( W i ) e α T .
Similarly to Theorem 2, we have
E { V ( x ( t ) , r ( t ) ) } λ min ( Q i ) E { x T ( t ) E T R E x ( t ) } ,
V ( x ( 0 ) , r ( 0 ) ) λ max ( Q i ) E { x T ( 0 ) E T R E x ( 0 ) } .
If E { x T ( 0 ) E T R E x ( 0 ) } c 1 , from (37), (39) and (40a,b), we get E { x T ( t ) E T R E x ( t ) } < c 2 . Therefore, the closed-loop system is stochastically finite-time bounded with respect to ( c 1 , c 2 , T , R , d ) , which completes the proof. □
Remark 5.
The sufficient conditions for mode-dependent controller design of SSMJSs are presented in this theorem, which guarantees the closed-loop SSMJS is stochastically finite-time bounded and of a unique solution. For the existence of scalar α, the matrix inequalities (31a–d) are not linear. If we fix α to be constant, they are linear ones. With this consideration, we can use the one-dimensional search method to obtain the scalar α ( 0 , α * ] to resolve (31a–d).

4. Numerical Examples

Example 1.
Consider the SSMJS in (1) with ω ( t ) = 0 , which operates in two modes. Some detailed system parameters are given as follows.
E = 1 0 0 0 , A 1 = 0.2 0.5 0.3 0.7 , A 2 = 0.5 1.2 1 2 , B 1 = 1 1 , B 2 = 1 1 .
To study the finite-time stabilization problem, the following parameters are given:
R = 1 0 0 1 , H = 0 1 , c 1 = 1 , c 2 = 2 , T = 4 .
Meanwhile, the transition rate matrix is bounded with
μ ̲ i j = 0.1 0.1 0.3 0.3 , μ ¯ i j = 0.9 0.9 0.7 0.7 .
It can be shown that the matrix inequalities in Theorem 2 are feasible, and a solution can be given as
α = 0.1 , θ = 0.7818 , Z 1 = Z 2 = 0.8909 , Y 1 = 1.1335 1.8287 , Y 2 = 2.6346 2.9817 , P 1 = 0.8994 0.8625 0.8625 1.0564 , P 2 = 0.8748 0.8619 0.8619 0.9297 , S 1 = 0.3159 0.8888 , S 2 = 0.5487 0.8030 .
Therefore, the desired controller gain can be obtained as
K 1 = 1.4353 2.0574 , K 2 = 2.9757 3.7133 ,
and the corresponding closed-loop system matrices are
A 1 = 1.6353 2.5574 1.7353 1.3574 , A 2 = 2.4757 2.5133 1.9757 1.7133 .
With this control law, when the semi-Markov jump mode is as Figure 1a, the state trajectories of closed-loop SSMJS are as in Figure 1b, and the evolution of x T ( t ) E T R E x ( t ) is presented in Figure 1c.
Example 2.
The second example is concerned with the SSMJS in (1) with the following parameters:
E = 1 0 0 0 , A 1 = 0.9 0.4 0.5 0.8 , A 2 = 0.2 0.4 0.3 0.5 , B 1 = 1 1 , B 2 = 1 1 , C 1 = 0.1 0 , C 2 = 0.1 0.1 ,
with ω ( t ) shown in Figure 2a.
Similarly, the following parameters are also given:
H = 0 1 , R = 1 0 0 1 , c 1 = 1 , c 2 = 1.5 , T = 4 , d = 2 , μ ̲ i j = 0.4 0.4 0.2 0.2 , μ ¯ i j = 1.2 1.2 1.3 1.3 .
From Theorem 3, it follows that there is a state feedback controller for the closed-loop SSMJS to be stochastically finite-time bounded. A feasible solution to the matrix inequalities is
θ = 0.5418 , η = 0.8998 , α = 0.3 , Z 1 = Z 2 = 0.7709 , Y 1 = 0.3833 0.4818 , Y 2 = 0.0196 0.0027 , W 1 = 0.6198 , W 2 = 0.6259 , P 1 = 0.6391 0.4055 0.4055 0.3644 , P 2 = 0.6571 0.0038 0.0038 0.5808 , S 1 = 0.2095 0.3636 , S 2 = 0.0077 0.5778 .
With this solution, we can get the desired controller gain as
K 1 = 0.6751 1.3250 , K 2 = 0.0299 0.0047 ,
and the corresponding closed-loop system matrices are
A 1 = 1.5751 1.7250 1.1751 0.5250 , A 2 = 0.2299 0.3953 0.3299 0.5047 .
With this control law, when the semi-Markov jump mode is as in Figure 2b, the state trajectories of closed-loop SSMJS are given in Figure 2c, and the evolution of x T ( t ) E T R E x ( t ) is presented in Figure 2d.
Remark 6.
In this section, two examples were provided to verify the validity of the results. According to the simulation figures, it can be seen that if the trajectory x T ( 0 ) E T R E x ( 0 ) is less than c 1 , for t [ 0 , T ] , the trajectories x T ( t ) E T R E x ( t ) are less than c 2 —that is, the system is stochastically finite-time-stable. When the singular matrix E of the SSMJS is not a diagonal matrix, the method presented in [39] is not applicable, since it is difficult to simulate due to the existence of equality. The methods in [26,40] can solve the above, but the former has limitations since the controller gain is dependent on many parameters, and the latter, related to the decomposition of singular matrix, is more complicated than the one proposed in this paper.

5. Conclusions

In this paper, the finite-time control problem for SSMJSs was considered. A matrix inequality condition for the design of the desired state feedback controller was given for the closed-loop SSMJS to be regular, impulse-free and finite-time-stable by designing a suitable semi-positive definite Lyapunov-like function, and applying some matrix decomposition and construction. By using a similar method, a matrix inequality condition was also given for the regularity, absence of impulse and finite-time boundedness of the closed-loop SSMJS, when the considered system suffers from an external disturbance integrally bounded within a finite time interval. Using the one-dimensional search method for a scalar variable, those conditions are strict linear matrix inequality conditions that can be easily verified numerically. Numerical examples were used to verify the main results. In order to reduce the conservatism of the conclusion, more consideration should be given to the transition rates in the future, as well as to the coupling term. Moreover, more complex problems for SSMJSs will be studied.

Author Contributions

Validation, X.J.; formal analysis, X.L.; investigation, X.L.; writing—original draft preparation, X.L.; writing—review and editing, X.J.; visualization, X.L.; supervision, X.J.; project administration, X.J. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Boukas, E.K.; Shi, P. Stochastic stability and guaranteed cost control of discrete-time uncertain systems with Markovian jump parameters. Int. J. Robust Nonlinear Control 1998, 8, 1155–1167. [Google Scholar] [CrossRef]
  2. Chavez-Fuentes, J.R.; Costa, E.F.; Mayta, J.E.; Terra, M.H. Regularity and stability analysis of discrete-time Markov jump linear singular systems. Automatica 2017, 76, 32–40. [Google Scholar] [CrossRef]
  3. Cunha, R.F.; Gabriel, G.W.; Geromel, J.C. Robust partial sampled-data state feedback control of Markov jump linear systems. Int. J. Syst. Sci. 2019, 50, 2142–2152. [Google Scholar] [CrossRef]
  4. Yang, S.Q.; Lin, L.Y. Dynamic output feedback finite-horizon control for Markov jump systems with actuator saturations. IEEE Access 2019, 7, 132587–132593. [Google Scholar] [CrossRef]
  5. Wan, Y.M.; Keviczky, T.; Verhaegen, M. Fault estimation filter design with guaranteed stability using Markov parameters. IEEE Trans. Autom. Control 2018, 63, 1132–1169. [Google Scholar] [CrossRef] [Green Version]
  6. Huang, J.; Shi, Y. Stochastic stability and robust stabilization of semi-Markov jump linear systems. Int. J. Robust Nonlinear Control 2013, 23, 2028–2043. [Google Scholar] [CrossRef]
  7. Fang, Y.; Sun, L.J. Developing a semi-Markov process model for bridge deterioration prediction in Shanghai. Sustainability 2019, 11, 5524. [Google Scholar] [CrossRef] [Green Version]
  8. Titman, A.C. Estimating parametric semi-Markov models from panel data using phase-type approximations. Stat. Comput. 2014, 24, 155–164. [Google Scholar] [CrossRef]
  9. Lai, C.D.; Xie, M.; Murthy, D.N.P. A Modified Weibull Distribution. IEEE Trans. Reliab. 2003, 52, 33–37. [Google Scholar] [CrossRef] [Green Version]
  10. Li, D.; Liu, S.Q.; Cui, J.A. Threshold dynamics and ergodicity of an SIRS epidemic model with semi-Markov switching. J. Differ. Equ. 2019, 266, 3973–4017. [Google Scholar] [CrossRef]
  11. Kutner, R.; Masoliver, J. The continuous time random walk, still trendy: Fifty-year history, state of art and outlook. Eur. Phys. J. B 2017, 90, 50. [Google Scholar] [CrossRef] [Green Version]
  12. Ogura, M.; Martin, C.F. Stability analysis of linear systems subject to regenerative switchings. Syst. Control. Lett. 2015, 75, 94–100. [Google Scholar] [CrossRef] [Green Version]
  13. Machida, F.; Xia, R.F.; Trivedi, K.S. Performability modeling for RAID storage systems by Markov regenerative process. IEEE Trans. Dependable Secure Comput. 2018, 15, 138–150. [Google Scholar] [CrossRef]
  14. Ogura, M.; Martin, C.F. Stability analysis of positive semi-Markovian jump linear systems with state resets. SIAM J. Control Optim. 2014, 52, 1809–1831. [Google Scholar] [CrossRef] [Green Version]
  15. Zhang, L.X.; Cai, B.; Shi, Y. Stabilization of hidden semi-Markov jump systems: Emission probability approach. Automatica 2019, 101, 87–95. [Google Scholar] [CrossRef]
  16. Anderson, P.M. Power System Control and Stability; The Iowa State University Press: Ames, IA, USA, 1977. [Google Scholar]
  17. Li, F.; Xu, S.; Shen, H.; Ma, Q. Passivity-based control for hidden Markov jump systems with singular perturbations and partially unknown probabilities. IEEE Trans. Autom. Control 2020, 65, 3701–3706. [Google Scholar] [CrossRef]
  18. Lee, C.M.; Chen, K.F.; Cheng, C.A.; Huang, J.H. A new finite sum inequality approach to delay dependent control for discrete singular systems. Adv. Sci. Lett. 2012, 8, 759–764. [Google Scholar] [CrossRef]
  19. Dai, L. Singular Control Systems; Springer: Berlin/Heidelberg, Germany, 1989. [Google Scholar]
  20. Xu, S.Y.; Lam, J. Robust Control and Filtering of Singular Systems; Springer: Berlin/Heidelberg, Germany, 2006. [Google Scholar]
  21. Xia, Y.Q.; Boukas, E.K.; Shi, P.; Zhang, J.H. Stability and stabilization of continuous-time singular hybrid systems. Automatica 2009, 45, 1504–1509. [Google Scholar] [CrossRef]
  22. Kwon, N.K.; Park, I.S.; Park, P.; Park, C. Dynamic output-feedback control for singular jump systems: LMI approach. IEEE Trans. Autom. Control 2017, 62, 5396–5400. [Google Scholar] [CrossRef]
  23. Feng, Z.G.; Jiang, Z.Y.; Zheng, W.X. Reachable set synthesis of singular Markovian jump systems. J. Franklin Inst. 2020, 357, 13785–13799. [Google Scholar] [CrossRef]
  24. Wu, B.Y.; Zhao, Y. Dissipative control for fuzzy singular Markov jump systems with state-dependent noise and asynchronous modes. IEEE Access 2021, 9, 25691–25702. [Google Scholar] [CrossRef]
  25. Sathishkumar, M.; Sakthivel, R.; Wang, C.; Kaviarasan, B.; Anthoni, S.M. Non-fragile filtering for singular Markovian jump systems with missing measurements. Signal Process. 2018, 142, 125–136. [Google Scholar] [CrossRef]
  26. Qi, W.; Zong, G.; Karimi, H.R. Sliding mode control for nonlinear stochastic singular semi-Markov jump systems. IEEE Trans. Autom. Control 2020, 65, 361–368. [Google Scholar] [CrossRef]
  27. Dorato, P. An Overview of Finite-Time Stability; Springer: Boston, MA, USA, 2006. [Google Scholar]
  28. Amato, F.; Ambrosino, R.; Ariola, M.; Cosentino, C.; Tommasi, G.D. Finite-Time Stability and Control; Springer: London, UK, 2014. [Google Scholar]
  29. Sathishkumar, M.; Liu, Y.C. Resilient annular finite-time bounded and adaptive event-triggered control for networked switched systems with deception attacks. IEEE Access 2021, 9, 1. [Google Scholar] [CrossRef]
  30. Zong, G.D.; Ren, H.L. Guaranteed cost finite-time control for semi-Markov jump systems with event-triggered scheme and quantization input. Appl. Math. Comput. 2019, 29, 5251–5273. [Google Scholar] [CrossRef]
  31. Sakthivel, R.; Sathishkumar, M.; Faris, A.; Yong, R. Quantized finite-time non-fragile filtering for singular Markovian jump systems with intermittent measurements. Circuits Syst. Signal Process. 2019, 38, 3971–3995. [Google Scholar]
  32. Wang, Y.; Zhuang, G.; Chen, X.; Wang, Z.; Chen, F. Dynamic event-based finite-time mixed H and passive asynchronous filtering for T–S fuzzy singular Markov jump systems with general transition rates. Nonlinear Anal. Hybrid Syst. 2020, 36, 100874. [Google Scholar] [CrossRef]
  33. Jiang, B.P.; Karimi, H.R.; Yang, S.C.; Kao, Y.G.; Gao, C.C. Takagi–Sugeno model-based reliable sliding mode control of descriptor systems with semi-Markov parameters: Average dwell time approach. IEEE Trans. Syst. Man Cybern. Syst. 2021, 51, 1549–1558. [Google Scholar] [CrossRef]
  34. Sathishkumar, M.; Liu, Y.C. Hybrid-triggered reliable dissipative control for singular networked cascade control systems with cyber-attacks. J. Franklin Inst. 2020, 357, 4008–4033. [Google Scholar] [CrossRef]
  35. Zhang, Y.Q.; Liu, C.X.; Mu, X.W. Robust finite-time stabilization of uncertain singular Markovian jump systems. Appl. Math. Modell. 2012, 36, 5109–5121. [Google Scholar] [CrossRef]
  36. Swishchuk, A. Random Evolutions and Their Applications; Springer: Amsterdam, The Netherlands, 1997. [Google Scholar]
  37. Jiang, B.P.; Yang, L.J.; Kao, Y.G.; Wu, Z.T. Finite-time H control of stochastic singular systems with partly known transition rates via an optimization algorithm. Int. J. Control Autom. Syst. 2019, 17, 1462–1472. [Google Scholar]
  38. Xu, S.Y.; Dooren, P.V.; Stefan, R.; Lam, J. Robust stability and stabilization for singular systems with state delay and parameter uncertainty. IEEE Trans. Autom. Control 2002, 47, 1122–1128. [Google Scholar]
  39. Ma, Y.C.; Kong, C.F. Dissipative asynchronous T-S fuzzy control for singular semi-Markovian jump systems. IEEE Trans. Cybern. 2020, 1–10. [Google Scholar] [CrossRef] [PubMed]
  40. Jiang, B.P.; Kao, Y.H.; Karimi, H.R.; Gao, C.C. Stability and stabilization for singular switching semi-Markovian jump systems with generally uncertain transition rates. IEEE Trans. Autom. Control 2018, 63, 3919–3926. [Google Scholar] [CrossRef]
Figure 1. The closed-loop SSMJS with ω ( t ) = 0 .
Figure 1. The closed-loop SSMJS with ω ( t ) = 0 .
Algorithms 15 00008 g001
Figure 2. The closed-loop SSMJS.
Figure 2. The closed-loop SSMJS.
Algorithms 15 00008 g002
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Ji, X.; Liu, X. Finite-Time Control of Singular Linear Semi-Markov Jump Systems. Algorithms 2022, 15, 8. https://doi.org/10.3390/a15010008

AMA Style

Ji X, Liu X. Finite-Time Control of Singular Linear Semi-Markov Jump Systems. Algorithms. 2022; 15(1):8. https://doi.org/10.3390/a15010008

Chicago/Turabian Style

Ji, Xiaofu, and Xuehua Liu. 2022. "Finite-Time Control of Singular Linear Semi-Markov Jump Systems" Algorithms 15, no. 1: 8. https://doi.org/10.3390/a15010008

APA Style

Ji, X., & Liu, X. (2022). Finite-Time Control of Singular Linear Semi-Markov Jump Systems. Algorithms, 15(1), 8. https://doi.org/10.3390/a15010008

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop