Abstract
This paper investigates the robust finite-time controller design problem of discrete-time systems with intermittent measurements. It is assumed that the system is subject to the norm-bounded uncertainties and the measurements are intermittent. The Bernoulli process is used to describe the phenomenon of intermittent measurements. By substituting the state-feedback controller into the system, a stochastic closed-loop system is obtained. Based on the analysis of the robust stochastic finite-time stability and the performance, the controller design method is proposed. The controller gain can be calculated by solving a sequence of linear matrix inequalities. Finally, a numerical example is used to show the design procedure and the effectiveness of the proposed design methodology.
1. Introduction
In the real world, system models are unavoidable to contain uncertainties which can result from the modeling error or variations of the system parameters. During the past 20 years, the norm-bounded uncertainties have been widely used in the system modeling and control for practical plants [1–10]. In [11], the authors studied the time-delay linear systems with the norm-bounded uncertainties. In [10], the robust memoryless controller design for linear time-delay systems with norm-bounded time-varying uncertainty was studied. In [3], the robust stability of neutral systems with time-varying discrete delay and norm-bounded uncertainty was explored.
Since the late 1980s, the strategy has attracted a lot of attention due to the fact that this control strategy can be easily utilized to deal with the uncertainties and attenuation the effect from the external input to the controlled output [12–16]. The strategy was original from [17]. From then on, the useful tool has been applied to different kinds of systems. In [18], the controller of linear parameter-varying systems with parameter-varying delays was exploited. In [19], the strategy was used to the filter design for uncertain Markovian jump systems with mode-dependent time delays. While in [20], the strategy was used in the robust controller design of discrete-time Markovian jump linear systems with mode-dependent time-delays. Gain-scheduled controller design problem for time-varying systems was investigated in [21].
In the literature, the strategy was always based on the Lyapunov asymptotic stability which is with an infinite interval. However, in some practical applications, the asymptotic stability is inadequate if large values of the state are not acceptable and there exists saturation [15, 22–37]. Although the finite-time stability was proposed in 1960s [22], it only attracted the researchers' attention very recently. In [38], observer-based finite-time stabilization for extended Markov jump systems was studied. The observer-based finite-time control of time-delayed jump systems was studied in [39]. By considering the partially known transition jump rates, the finite-time filtering for non-linear stochastic systems was explored in [40]. For time-varying singular impulsive systems, the finite-time stability conditions were obtained in [41]. At the application side, the finite-time stability has been used in [25].
On another research frontier, the intermittent measurements have been paid a great number of efforts. In an ideal sampling, the measurements are consecutive. But, in a harsh sampling environment, the sampling may not be consecutive but intermittent [42–47]. If the phenomenon of intermittent measurements is not considered during the controller and filter design period, the actual missing measurements may deteriorate the designed systems. Although, there are many results on the control, uncertain systems, and finite-time stability, there are few results on the control for uncertain systems subject to intermittent measurements. This fact motivates the research. In this paper, the contributions of this work are summarized as follows: The intermittent measurements are considered the finite-time framework. Due to the induced stochastic system, the robust stochastic finite-time boundedness is studied. The performance with the robust stochastic finite-time stability is investigated.
Notation. denotes the -dimensional Euclidean space, and represents the set of all real matrices. is the expectation operator with respect to some probability measure. and are the maximum eigenvalue and the minimum eigenvalue of the matrix, respectively.
2. Problem Formulation
In this paper, the following uncertain discrete-time linear system is considered: where denotes the state vector, is the control input, is the controlled output, and is the time-varying disturbance which satisfies where is a given scalar.
The matrices , and are constant matrices with appropriate dimensions. and are real time-varying matrix functions representing the time-varying parameter uncertainties. It is assumed that the uncertainties are normbounded and admissible, which can be modeled as where , , and are known real constant matrices, which characterize how the uncertain parameters in enter the nominal matrices and , and is an unknown time-varying matrix function satisfying
Consider an ideal state feedback controller as follows: where is the ideal control signal which is obtained with the ideal state measuring, is the state feedback gain to be designed, and is the system state. In an ideal sensing environment, it is always assumed that is available for all the time instants . However, in many practical applications, such as the networked control systems (NCSs), the measurements may not be consecutive but intermittent. In order to get the general case, it is assumed that the state measurements are intermittent and the actual control law is governed by
To better describe the intermittent measurements, a Bernoulli process is used to represent the intermittent measurements such that the actual control signal is where takes values in the set , refers to that the measurement is missing, and means that the measurement is available. In addition, it is assumed that the probability of is .
By substituting the actual control signal into the state-space model of (2.1), one gets It is obvious that there is a stochastic variable in the closed-loop system in (2.8). Therefore, the objective of this paper is to find some sufficient conditions which can guarantee that the closed-loop system in (2.8) is robustly stochastically finite-time boundedness and reduces the effect of the disturbance input to the controlled output to a prescribed level.
Firstly, some useful definitions and lemmas are introduced, which will be used throughout the rest of the paper.
Definition 2.1 (Finite-Time Stable (FTS) [23]). For a class of discrete-time linear systems is said to be FTS with respect to , where is a positive definite matrix, and , if , then , for all .
Definition 2.2 (Robustly Finite-Time Stable (RFTS) [23]). For a class of discrete-time linear uncertain systems is said to be RFTS with respect to , where is a positive definite matrix, , and ; if for all admissible uncertainties , , then , for all .
Definition 2.3 (Robustly Stochastically Finite-Time Stable (RSFTS)). For a class of discrete-time linear uncertain systems is said to be RSFTS with respect to , where the system matrix has the uncertainty and the stochastic variable, is a positive definite matrix, , and ; if for all admissible uncertainties , stochastic variable , , then , for all .
Definition 2.4 (Robustly Stochastically Finite-Time Bounded (RSFTB)). For a class of discrete-time linear uncertain systems is said to be RSFTB with respect to , where the system matrix has the uncertainty and the stochastic variable, the input matrix contains the norm-bounded uncertainty, is a positive definite matrix, , and ; if for all admissible uncertainties and , stochastic variable , , then , for all .
With the above definitions, the robust finite-time control problem in this paper can be summarized as follows: for the uncertain system in (2.1), the objective is to design a state feedback controller in (2.7) such that for all the admissible uncertainties and the intermittent measurements: (i)the closed-loop system (2.8) is RSFTS; (ii)under the zero-initial condition, the controlled output satisfies for all -bounded , where prescribed value is the attenuation level.
If the above conditions are both satisfied, the designed controller is called a RSFTB state-feedback controller. To achieve the design objectives, the following lemmas are introduced.
Lemma 2.5 (Schur complement). Given a symmetric matrix , the following three conditions are equivalent to each other: (i); (ii), ; (iii), .
Lemma 2.6 (see [48, 49]). Let , and be real matrices with compatible dimensions, and be time varying and satisfy (2.4). Then it concludes that the following condition: holds if and only if there exists a positive scaler such that is satisfied.
3. Main Results
3.1. Stability and Performance Analysis
In this section, the finite-time stability, robust finite-time stability, and robust stochastic finite-time stability will be analyzed by assuming the controller gain is given.
Lemma 3.1 (sufficient conditions for finite-time stability [23]). For a class of discrete-time linear systems they are finite-time stable with respect to if there exist a positive-definite matrix and a scalar such that the following conditions hold: where and .
Lemma 3.2 (sufficient conditions for robust finite-time stability). For a class of discrete-time linear systems they are robustly finite-time stable with respect to if there exist a positive-definite matrix , a scalar , and a scalar such that (3.3) and the following condition hold:
Proof. According to Lemma 3.1, the uncertain system is RFTS if the following condition holds: Using the Schur complement, the above condition is equivalent with Since , by using Lemma 2.6, (3.7) is equivalent with (3.5).
Now, let us study the RSFTB of the closed-loop system in (2.8) and deal with the uncertainty and the stochastic variable by using the skills mentioned above.
Theorem 3.3. The closed-loop system in (2.8) is with respect to , if there exist positive-definite matrices , , and two scalars , and such that the following conditions hold: where and .
Proof. Consider the following Lyapunov function:
where is a symmetric positive-definite matrix. For the closed-loop system in (2.8), the expectation of one step advance of the Lyapunov function can be obtained as
where
On the other hand, by using Schur complement, the condition in (3.8) implies that
since the condition in (3.8) is equivalent with
where
With the condition (3.13), one gets
Taking the iterative operation with respect to the time instant , one obtains
Recalling the Lyapunov function, there is
Combing (3.17) and (3.19), one gets
With the condition (3.9), it concludes that
Therefore, if the conditions in (3.8) and (3.9) are satisfied, the closed-loop system (2.8) is RSFTB. The proof is completed.
In order to incorporate the performance , the following theorem provides other sufficient conditions for the RSFTB of the closed-loop system (2.8).
Theorem 3.4. The closed-loop system in (2.8) is with respect to , if there exist positive-definite matrix , and three scalars , , and such that the following conditions hold: where and .
Proof. Suppose that and in Theorem 3.3 are substituted by and , respectively. Then, the condition (3.8) turns to (3.21). The maximum eigenvalue of is no more than . Therefore, (3.22) can guarantee the holdness of (3.9). The proof is completed.
Now, consider the controlled output and the attenuation level .
Theorem 3.5. The closed-loop system in (2.8) is with respect to and with an attenuation level , if there exist positive-definite matrix , and three scalars , , and such that the following conditions hold: where and .
Proof. The attenuation level refers to the zero-initial value of the state. Therefore, is set to be zero. Consider the following cost function: The cost function can be revaluated with similar lines in Theorem 3.3. The proof is omitted.
3.2. Controller Design
The robust stochastic finite-time stability and the performance have been investigated in the above subsection. In this subsection, the controller design will be proposed.
Theorem 3.6. Given a positive constant , the closed-loop system in (2.8) is RSFTB with respect to and with a prescribed attenuation level , if there exist positive-definite matrix , two scalars , and and such that the following conditions hold: where and . Moreover, the controller gain can be calculated as .
Proof. In Theorem 3.5, pre- and postmultiplying (3.25) by diag, the following equivalent condition is obtained:
Letting denote , the condition (3.28) is equivalent with
Pre- and post-multiplying (3.29) by the symmetric matrix diag, the following equivalent condition is obtained:
Defining , the condition (3.30) is equivalent with (3.26). With the fact that
the condition (3.27) is equivalent with (3.24).
It is noted that the condition (3.27) is not an linear matrix inequality. However, it is easy to check that the condition (3.27) is guaranteed by imposing the following conditions [50]: In addition, the performance refers to the attenuation level from the external noise to the controlled output. Therefore, it is desired that the performance should be as smaller as possible. The controller with the optimal is called the optimal controller. For fixed and , the optimal can be obtained by
Remark 3.7. The results in this paper are obtained by using the Lyapunov method and only sufficient. In the future work, more techniques will be used to reduce the possible conservativeness of the results.
4. Numerical Example
Consider the system in (2.1) with the following matrix:
For the finite-time stability test, it is assumed that The probability of the available measurements is 0.95. With the proposed optimization problem in (3.33), the obtained minimum performance index is and the corresponding controller gain is
In the simulation, the initial system state is chosen as . Without the designed controller, Figure 1 depicts the trajectories of the system state. It is obvious that the open-loop system is unstable. However, with the designed controller, Figure 2 shows the trajectories of the system state with the intermittent measurements in Figure 3. The trajectories converge to zeros even though the system is subject to uncertainties, external disturbance and intermittent measurements.
5. Conclusion
In this paper, the robust finite-time controller design problem of discrete-time systems with intermittent measurements has been investigated. The uncertainties are assumed to be norm bounded. The measurements of the system state are intermittent and Bernoulli process is used to describe the phenomenon of intermittent measurements. Based on the results of the robust stochastic finite-time stability and the performance, the controller design approach was proposed. Finally, an illustrative example was used to show the design procedure and the effectiveness of the proposed design methodology.