Robust finite-time stabilization for positive delayed semi-Markovian switching systems

https://doi.org/10.1016/j.amc.2018.12.069Get rights and content

Abstract

Robust finite-time stabilization is discussed for positive semi-Markovian switching systems (S-MSSs), in which semi-Markovian process, time-varying delay, external disturbance, and transient performance in finite-time level are all considered in a unified framework. In the system under consideration, finite-time problem can describe transient performance of practical control process. Firstly, some finite-time boundedness and L1 finite-time boundedness criteria for positive delayed S-MSSs are proposed by constructing the stochastic semi-Markovian Lyapunov–Krasovskii functional with mode-dependent integral term. Then, a developed L1 finite-time feedback controller design method is presented to reduce some constraints of input matrices, which guarantees the resulting closed-loop system achieves positivity, finite-time boundedness, and has a prescribed L1 noise attenuation performance index in a novel standard linear programming. Finally, a practical example is illustrated to validate the proposed results by applying a virus mutation treatment model.

Introduction

Positive systems (also referred to as nonnegative systems) are a special class of dynamical systems whose input variables, output variables, and state variables need to satisfy the requirements of nonnegative properties [1], [2]. This kind of systems find wide applications in vehicle formation control, air traffic flow control, economics, sociology, ecology, and engineering, and have attracted much attention over the past several years (see e.g., [3], [4], [5], [6], [7], [8], [9], [10]). For example, in order to investigate a minimal positive realization for positive linear systems, the authors have used downsampling to obtain minimal positive realizations matching decimated sequences of Markovian coefficients of the impulse response [3]. In the literature [5], by the use of linear co-positive Lyapunov functions, results for the synthesis of stabilizing, guaranteed performance and optimal control laws for switched linear systems have been presented to be applied to a simplified human immunodeficiency viral mutation model. Necessary and sufficient conditions for synthesis of state-feedback controllers have been solved in terms of linear programming problem including the requirement of positiveness of the controller [8].

On the other hand, there always exists time delay in measurement process of system variable, large inertia element of system equipment, incubation period and genetic problems of infectious diseases, slow thermal reaction process, and signal communication of network control systems, which has been regarded as a key factor to destroy system stability [11]. Over the past decades, a quantity of results have been reported for positive delayed systems (see e.g., [12], [13], [14]). For example, the ℓ-gain (respectively, L-gain) analysis problem for discrete-time (respectively, continuous-time) positive linear systems with unbounded time-varying delays have been addressed by virtue of the monotonicity of an auxiliary system and the corresponding delay-free system in [12]. In the literature [13], under unbounded delay, several stability results have been established by constructing a sequence of functions that are positive, monotonically decreasing, and convergent to zero as time tends to infinity.

Additionally, in many practical applications, it is difficult to avoid some unpredictable structural changes. These abrupt changes often have a big impact on the original work environment and operating mechanism, and even destabilize the system. And they can be usually characterized by Markovian switching systems (MSSs). As a special kind of hybrid dynamics [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], MSSs have some advantages in modeling many practical systems, such as economic systems, flight systems, power systems, communication systems, fault-tolerant systems, manufacturing systems, circuits systems, and networked control systems. It is well known that dynamic characteristics of stochastic jump systems are restricted by probability distribution function of sojourn-time. Compared with MSSs whose sojourn-time follows unique memoryless exponential distribution [33], [34], [35], [36], [37], [38], [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], S-MSSs with the sojourn-time of semi-Markovian process obeying non-exponential distribution can be well suited to model more complex systems, in which the transition rate reflects the time-varying property. In fact, S-MSSs have many applications in describing dynamical systems, such as particular control problem in accelerator physics known as hospital planning, performance analysis of multiple-bus systems, and credit risk assessment. Therefore, the stability issue and control synthesis for S-MSSs have been extensively studied during the past years (see e.g., [49], [50], [51], [52], [53], [54], [55], [56], [57], [58], [59], [60]). To mention a few, the problem of stochastic stability for linear systems with jump parameters being semi-Markovian rather than full Markovian has been further investigated by using the comparison principle [49]. In the literature [50], numerically solvable sufficient conditions for stochastic stability and robust state feedback controller design of MSSs have been established by incorporating the upper and lower bounds of the transition rate and applying a new partition scheme. The problems of stability and stabilization for a class of discrete-time semi-Markovian switching linear systems have been investigated by introducing the discrete-time semi-Markovian kernel method [52]. Necessary and sufficient conditions for stochastic stability and L1 state-feedback controller of S-MSSs [55] have been established in standard linear programming. Based on the T-S fuzzy model approach and semi-Markovian Kernel concept, several criteria ensuring σ-error mean square stability of the underlying closed-loop system have been established in [58].

Furthermore, it is noted that many existing results on analysis and synthesis for dynamic systems are based on Lyapunov stability in an infinite-time level. However, many practical processes are often concerned with dynamic behaviors in finite-time region, such as the trajectory problem of control aircraft transferred from one point to another point in a particular time zone, the temperature and pressure keeping in a certain range over a fixed-time period, etc. This special requirement is usually described as finite-time stability, which means that the state responses don’t exceed a certain threshold over a fixed-time level. Recently, finite-time theory is widely used in communication systems, aircraft control, multi-agent coordination control, network control system, and has received an extensive attention in different fields of research interests [6], [15], [16], [17], [18], [35], [61]. For instance, a sufficient condition has been established for the finite-time bounded H performance analysis of the closed-loop fuzzy MSSs system with fully considering the asynchronous premises [35]. An adaptive fuzzy controller has been constructed to address the finite-time tracking control problem for a class of strict feedback nonlinear systems by backstepping design with a tan-type barrier Lyapunov function [61].

This paper will deal with the issue of L1 finite-time stabilization for positive S-MSSs with time-varying delay. It is necessary to point out the differences between the present work and the existing relative works [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52], [53], [54], [55], [56], [57], [58], [59], [60]. First, compared with the existing literatures [40], [41], [42], [43], [44], [45], [46], [47], [48], the stochastic switching law obeys the Markovian process and limits its applications. Second, the considered system in [47], [48], [49], [50], [51], [52], [53], [54], [55], [56], [57], [58], [59], [60] is a general system without taking positive constraint condition into account. Third, the literatures [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52], [53], [54], [55], [56], [57], [58], [59], [60] mainly investigated the stochastic jump systems in an infinite-time level while the model in this paper is considered in a finite-time level. The problem of L1 finite-time stabilization for positive S-MSSs with delay is full of challenging and open all the time. More specifically, compared with positive MSSs with sojourn-time-independent transition rate, it is very difficult to handle positive S-MSSs with sojourn-time-dependent transition rate. Moreover, one needs to consider not only finite-time stability of dynamic systems governed by the semi-Markovian process, but also the constrained positivity. In addition, the dynamical behaviors are affected by many complicated factors including semi-Markovian process, time delay, finite-time level, disturbance input, and positivity, which motivate our current research work. The main contributions are highlighted as follows: (i) By the use of stochastic semi-Markovian Lyapunov–Krasovskii functional, finite-time boundedness criteria for positive delayed S-MSSs are given; (ii) Furthermore, sufficient conditions for a prescribed L1 noise attenuation performance index in finite-time level are presented; (iii) By applying the linear programming optimization toolbox, a feedback controller depending on the gain matrix decomposition method and the bounds of the time-varying transition rate matrix is designed such that the resulting closed-loop system achieves positivity, finite-time boundedness, and has a prescribed L1 noise attenuation performance index; (iv) Additionally, since the quantity of the virus mutation treatment model matches the positive condition in practical operating process, representing this practical system as positive S-MSSs with delay illustrates the effectiveness of the main algorithms.

Notations. A0 ( ≤  ≤ 0,  >  > 0,  <  < 0) means that A is nonnegative (nonpositive, positive, negative); 1-norm of ||x||1 stands for x1=k=1n|xk|, where xk is the kth element of xRn; 1n denotes all-ones vector in Rn. 1nr means that rth element of the vector 1n is one. E{·} stands for mathematical expectation. iff means if and only if.

Section snippets

Problem statement and preliminaries

The positive systems with semi-Markovian process and delay are given asx˙(t)=A(νt)x(t)+Ad(νt)x(tλ(t))+B(νt)u(t)+H(νt)v(t),y(t)=C(νt)x(t)+D(νt)v(t),x(t0+s)=φ(s),s[λ,0],where x(t)Rn is the state vector, u(t)Rm is the input vector, w(t)Rl is the noise vector, and y(t)Rs is the output vector. λ(t) is given as 0 < λ(t) ≤ λ, λ˙(t)h1<1. {νt, t ≥ 0} stands for the semi-Markovian process in Φ={1,2,,N} with probability transitionsPr{νt+Δ¯=β|νt=α}={ραβ(h)Δ¯+o(Δ¯),αβ,1+ραα(h)Δ¯+o(Δ¯),α=β,where h

Finite-time boundedness analysis

Theorem 1

For given T¯, ρR+, and d1, d2R+n (d1 >  > d2 >  > 0), if there exist ηα, δ1α, δ2α, δ1, δ2R+n,α ∈ Φ, and ι1, ι2, ι3, ι4, ι5, ι6R+, such thateρT(ι2+λι3+λι4+12λ2ι5+12λ2ι6+(1eρT¯)σv˜)<<ρι1,ι1d2<<ηα<<ι2d1,δ1α<<ι3d1,δ2α<<ι4d1,δ1<<ι5d1,δ2<<ι6d1,A¯αTηα+δ1α+δ2α+λδ1+λδ2+β=1Nραβ(h)ηβρηα<<0,AdαTηα(1h1)δ1α<<0,β=1Nραβ(h)δ1βδ1,β=1Nραβ(h)δ2βδ2,then system (4) is finite-time bounded w.r.t. (d1, d2, T¯, σ), where v˜=maxz,αZ×Φ{v˜αq}, Z={1,2,,z}, and v˜αq stands for the qth element of v˜α=HαTd1ι

L1 finite-time boundedness analysis

Theorem 2

For given T¯, ρ, γR+, and d1, d2R+n (d1 >  > d2 >  > 0), if there exist ηα, δ1α, δ2α, δ1, δ2R+n,α ∈ Φ, and positive constants ι1, ι2, ι3, ι4, ι5, ι6R+, such that (6), (8), (9), andeρT(ι2+λι3+λι4+12λ2ι5+12λ2ι6+(1eρT¯)σγ)<<ρι1,A¯αTηα+δ1α+δ2α+λδ1+λδ2+β=1Nραβ(h)ηβρηα+CαT1s<<0,HαTηα+DαT1sγ1l<<0,then system (4) is finite-time bounded with a prescribed L1 noise attenuation performance index w.r.t. (d1, d2, T¯, σ).

Proof

It is noted that (7) holds if (27) is true. Letting v˜α=γ in (5), we can get

Controller design

Theorem 3

Assume that Bα0. For given T¯, ρ, γR+, and d1, d2R+n (d1 >  > d2 >  > 0), if there exist ηα, δ1α, δ2α, δ1, δ2R+n, κ, καRn,α ∈ Φ, and ι1, ι2, ι3, ι4, ι5, ι6, ɛαR+, such that (6), (8), (27), (29), andAαTηα+κα+δ1α+δ2α+λδ1+λδ2+β=1Nρ̲αβηβρηα+CαT1s<<0,AαTηα+κα+δ1α+δ2α+λδ1+λδ2+β=1Nρ¯αβηβρηα+CαT1s<<0,β=1Nρ̲αβδ1βδ1,β=1Nρ¯αβδ1βδ1,β=1Nρ̲αβδ2βδ2,β=1Nρ¯αβδ2βδ2,Aα1mTBαTηα+BαΣp=1m1mpκpαT+ɛαI0,κpακα,then system (4) is positive and finite-time bounded with a prescribed L1 noise

Case study

Consider the virus mutation treatment model [5] described byx˙(t)=(R(νt)δI+ɛM)x(t)+Ad(νt)x(tτ(t))+B(νt)u(t)+G(νt)v(t),y(t)=C(νt)x(t)+D(νt)v(t),where x(t), u(t), v(t), and y(t) are two different viral genotypes, control input, disturbance input, and control output, respectively; {νt, t ≥ 0}, ε, δ, M=[Mmn], and Mmn{0,1} are semi-Markovian process in Φ={1,2}, mutation rate, death or decay rate, system matrices, and genetic connections between genotypes with the parameters given as:R1=[0.050.80.7

Conclusions

In this paper, we have investigated the robust finite-time stabilization for positive semi-Markovian switching systems with delay and external disturbance. Sufficient criteria are proposed to ensure that the resulting closed-loop system achieves positivity, finite-time boundedness with a prescribed L1-gain performance index. Furthermore, by using the gain matrix decomposition method, sufficient criteria for the aimed finite-time feedback controller design method are constructed in the strict LP

Acknowledgments

This work is supported by National Natural Science Foundation of China (61703231, 61773235, and 61703249), Natural Science Foundation of Shandong (ZR2017QF001, ZR2017PF001, and ZR2017MF063), Chinese Postdoctoral Science Foundation (2017M612235 and 2018T110670), Taishan Scholar Project (TSQN20161033), Shandong Province Higher Educational Science and Technology Program (J17KA079), and Excellent Experiment Project of Qufu Normal University (jp201728).

References (61)

  • W.H. Qi et al.

    Anti-windup design for stochastic Markovian switching systems with mode-dependent time-varying delays and saturation nonlinearity

    Nonlinear Anal. Hybrid Syst.

    (2017)
  • J. Wang et al.

    Dissipative fault-tolerant control for nonlinear singular perturbed systems with Markov jumping parameters based on slow state feedback

    Appl. Math. Comput.

    (2018)
  • J. Wang et al.

    A Markov jump model approach to reliable event-triggered retarded dynamic output feedback H control for networked systems

    Nonlinear Anal. Hybrid Syst.

    (2017)
  • P. Bolzern et al.

    Stochastic stability of positive Markov jump linear systems

    Automatica

    (2014)
  • J.F. Zhang et al.

    Stochastic stability and stabilization of positive systems with Markovian jump parameters

    Nonlinear Anal. Hybrid Syst.

    (2014)
  • S.Q. Zhu et al.

    1-gain performance analysis and positive filter design for positive discrete-time Markov jump linear systems: a linear programming approach

    Automatica

    (2014)
  • Y.F. Guo

    Stabilization of positive Markov jump systems

    J. Frankl. Inst.

    (2016)
  • J.F. Zhang et al.

    L1/1-gain analysis and synthesis of Markovian jump positive systems with time delay

    ISA Trans.

    (2016)
  • D. Zhang et al.

    L1 fuzzy observer design for nonlinear positive Markovian jump system

    Nonlinear Anal. Hybrid Syst.

    (2018)
  • Y.L. Wei et al.

    Sliding mode control for semi-Markovian jump systems via output feedback

    Automatica

    (2017)
  • L. Farina et al.

    Positive Linear Systems: Theory and Applications

    (2000)
  • T. Kaczorek

    Positive 1D and 2D Systems

    (2002)
  • X.D. Zhao et al.

    Reset stabilisation of positive linear systems

    Int. J. Syst. Sci.

    (2016)
  • E. Hernandez-Varga et al.

    Discrete-time control for switched positive systems with application to mitigating viral escape

    Int. J. Robust Nonlinear Control

    (2011)
  • G.P. Chen et al.

    Finite-time stability of switched positive linear systems

    Int. J. Robust Nonlinear Control

    (2014)
  • M.A. Rami et al.

    Controller synthesis for positive linear systems with bounded controls

    IEEE Trans. Circu. Syst. II Express Br.

    (2007)
  • Y. Ebihara et al.

    Analysis and synthesis of interconnected positive systems

    IEEE Trans. Autom. Control

    (2017)
  • K.Q. Gu et al.

    Stability of Time-Delay Systems

    (2003)
  • J. Shen et al.

    /L-gain analysis for positive linear systems with unbounded time-varying delays

    IEEE Trans. Autom. Control

    (2015)
  • X.W. Liu et al.

    Stability analysis of positive switched linear systems with delays

    IEEE Trans. Autom. Control

    (2011)
  • Cited by (25)

    • Attitude trajectory planning and attitude control for quad-rotor aircraft based on finite-time control technique

      2020, Applied Mathematics and Computation
      Citation Excerpt :

      This paper focuses on the problem of attitude control of rigid spacecraft because the attitude-loop control plays a key part in the aircraft control system. Nevertheless, the attitude control system is a highly nonlinear model that brings the challenge for controller design and also attracts a lot of attention [1,2]. In the literature, to handle the nonlinearity in the attitude control system, a simple method is to obtain the linearized model or to employ the feedback linearization technique.

    View all citing articles on Scopus
    View full text