Abstract
This paper studies the issue of finite-time time-varying output-feedback control for positive time-varying discrete-time linear systems. Finite-time stability for the systems with positivity is defined. To make sure that the system can be finite-time stable with positivity, an analysis condition is established first, and then two conditions for solving the static output-feedback controller are derived in this work where all the obtained results are necessary and sufficient conditions. An iterative algorithm for solving the controller is developed and finally, an example is given in the simulation to verify the effectiveness of our results and algorithm.
PUBLIC INTEREST STATEMENT
This work develops aheuristic iteration algorithm for finite-time stabilization of positive system, which could help electrical engineers to design positive circuits rapidly. This algorithm has great potential in pharmacology, epidemiology, population biology and communication networks.
1. Introduction
In the control community, finite-time stability is a very useful and practical property of control systems, quite different from the classical Lyapunov stability that is considered in a period being infinite. A control system has the property of finite-time stability; if the initial state is given a bound, the state stays and does not leave certain bounds during a specified time interval. Such a property is commonly considered in some practical cases where, for example, large values of the state of control systems may lead to saturation (Amato et al., Citation2014; Mirabdollahi & Haeri, Citation2019). Unlike the Lyapunov asymptotic stability of control systems, finite-time stability is a notion that has some distinct characterizations. In other words, it is possible that an asymptotically stable system may not have the finite-time stability; for example, the transient states may exceed some prescribed bounds. Also, a system that has the property of finite-time stability can be an unstable system. For the fundamental results on finite-time stability, one can refer to some early literature (Dorato, Citation1961; Kamenkov, Citation1953; Lebedev, Citation1954). Finite-time stability analysis or finite-time stability synthesis for general linear systems has been further investigated in recent years. The finite-time stability issue for linear time-varying continuous-time systems with finite jumps was studied by Amato et al. (Citation2009). In the work by Amato et al. (Citation2010b), for linear time-varying continuous-time systems, finite-time stability analysis was analyzed and controller design was also studied. The finite-time control problem for linear time-invariant and time-varying discrete-time systems was investigated by Amato and Ariola (Citation2005) and Amato et al. (Citation2010a), respectively, where only sufficient conditions of finite-time stabilization were provided.
Due to its importance in practical application, finite-time stability and finite-time stable controller design have been studied for different kinds of dynamic systems (Ren et al., Citation2018; Song et al., Citation2016). A special class of systems known as positive system has also been studied recently (Ogura et al., Citation2019; Phat & Sau, Citation2018; Shang et al., Citation2019; C. Wang & Zhao, Citation2019; Xue & Li, Citation2015). A dynamic system has the positive property if the state with a nonnegative initial value always stays in the nonnegative orthant for all inputs that are nonnegative (Farina & Rinaldi, Citation2011). Positive systems are extensively present in medicine, social science, biology and engineering (Bapat et al., Citation1997; Farina & Rinaldi, Citation2011; Haddad et al., Citation2010). In recent years, the research on positive systems has attracted a significant amount of interest (see Ebihara et al., Citation2020; Hong, Citation2019; J. J. R. Liu et al., Citation2020; L.-J. Liu et al., Citation2018; P. Wang & Zhao, Citation2020; Wu et al., Citation2019; Yang et al., Citation2019 and the references therein). Also, finite-time stability analysis and synthesis for positive systems was investigated in a large number of articles; for instance, the positive Markov jump linear systems are considered by Zhu et al. (Citation2017) and the positive linear time-invariant discrete-time systems are investigated by Xue and Li (Citation2015). Different from the previous work by CitationXue & Li (2015) and Zhu et al. (Citation2017), here, we focus on the positive time-varying discrete-time linear systems. This kind of system has been studied in the recent work (Kaczorek, Citation2015) where the positivity and classical Lyapunov asymptotic stability were discussed. However, the issue of finite-time stability and stabilization for positive time-varying discrete-time linear systems has not been well studied yet. Designing a finite-time static output-feedback controller for this kind of system is quite challenging as both the finite-time stability and positivity have to be considered in the synthesis. The two requirements will lead to a difficult non-convex issue in computation. The main contributions of this paper are summarized as follows:
• Necessary and sufficient conditions of finite-time stability and static output-feedback stabilization for positive linear time-varying discrete-time systems are derived.
• An effective iterative algorithm for controller design is developed for solution.
The remaining parts of this paper are organized as follows. Some mathematical preliminaries for time-varying discrete-time linear systems with positivity and definition of the positive finite-time time-varying output-feedback stabilization problem are given in Section 2. In Section 3, finite-time stability and finite-time controller design conditions using static output-feedback control are derived and an iterative algorithm is developed for solution. In Section 4, the effectiveness and applicability of the obtained results and the corresponding algorithm are shown by an illustrative example. Finally, some remarks are concluded in Section 5.
Notations. The notation is used to represent the set of real numbers; is used to denote the -dimensional Euclidean space; is used to represent the set of matrices with all entries belonging to . It is assumed throughout this paper that the dimensions of all matrices are compatible for algebraic operations if it is not explicitly stated. is used to denote the identity matrix with appropriate dimension. The transpose of matrix is denoted by . In this paper, for two given real matrices and that are symmetric, (respectively, ) is used to represent that is positive semi-definite (respectively, positive definite). denotes the Euclidean norm for vectors. For vector and matrix , denotes the weighted norm . denotes the set of natural numbers while denotes the set of natural numbers without zero. For matrix , denotes the th row and th column element of . The notation (respectively, ) represents that all its elements satisfy (respectively, ). is a nonnegative matrix if all its all elements are nonnegative, which is represented by .
2. Preliminaries
Consider the following time-varying discrete-time linear system:
where , and denote the system state, input and measured output, respectively. , and denote the system matrices of appropriate dimensions. Before we discuss on system (1) with positivity, some characterizations regarding the positivity property of system (1) are given as follows (Bapat et al., Citation1997; Farina & Rinaldi, Citation2011; Haddad et al., Citation2010; Kaczorek, Citation2015).
Definition 1. System (1) is called (internally) positive if for any nonnegative initial state and input, the state trajectory and output always remain nonnegative for all time.
Lemma 1 System (1) is (internally) positive if and only if matrices , and for all .
In the following, system (1) is assumed to be positive. Given the positive system in (1), we use the following time-varying output-feedback controller:
and a closed-loop system is derived:
where .
According to the results by Amato et al. (Citation2010a), the finite-time stability for system (1) is defined as follows.
Definition 2 System (2) is positive and finite-time stable , , , where matrix and constant , if
In this work, the finite-time static output-feedback controller design issue for system (1) with positivity is considered as follows.
Problem PFTSOFC (Positive Finite-time Static Output-feedback Control): Given a positive system (1), given any , solve a time-varying controller such that the system (2) is 1) positive, that is, for all , , , and 2) having the finite-time stability property , , where matrix and .
3. Main results
This section gives some theoretical results regarding positivity, finite-time stability and finite-time controller design for positive linear time-varying discrete-time systems. Then an iterative algorithm is developed for finding a static output-feedback controller.
From Lemma 1, it follows that system (2) is positive if and only if matrix , . For designing the finite-time stabilizing controller of system (1) without positivity, an equivalent analysis condition guaranteeing that the system is finite-time stable has been established by Amato et al. (Citation2010a). Obviously, solving Problem PFTSOFC for system (1) requires that the system is finite-time stable with positivity. Therefore, by employing the result by Amato et al. (Citation2010a) and considering the positivity property of systems, an equivalent condition for solving Problem PFTSOFC is concluded in the following.
Theorem 1. Problem PFTSOFC , , where matrix and is solvable for if and only if there exist real symmetric positive definite matrices , , , , such that
, , , , ,
, , , , and , , , ,
, ,
, .
Expanding the condition of Theorem 1, we have where is coupled with . To decouple the controller from the finite-time matrix variable , an equivalent condition corresponding to Theorem 1 is derived as follows.
Theorem 2. Problem PFTSOFC , , where matrix and is solvable for if and only if there exist positive scalars and real symmetric positive definite matrices , , , , such that
, , , , ,
for all and ,
, ,
, .
Proof. Since , one can obtain the following conclusion: condition is equivalent to condition in Theorem 1.
Define the set of non-singular matrices as
Multiplying both sides of by and , respectively, yields the following inequality:
It follows from the first leading principal submatrix of that , for all and , which indicates that the condition in Theorem 1 holds.
If , for all and holds, there must exist positive scalars such that , for all and holds. By Schur complement equivalence, it follows that , which further indicates that , for all and . Therefore, condition here is equivalent to the condition in Theorem 1.
Remark 1 By observing (3) in Theorem 2, it can be seen that controller has been decoupled from successfully without introducing any conservatism.
The nonlinear quadratic term in makes it difficult to compute the controller effectively. To solve the controller , an equivalent condition corresponding to Theorem 2, which will lead to a convex programming algorithm, is obtained as follows.
Theorem 3. Problem PFTSOFC , , where matrix and is solvable for if and only if there exist matrices , positive scalars and real symmetric positive definite matrices , , , , such that
, ,
for all and ,
, ,
,
where .
Under the conditions, one can get the controller as , , , , .
Proof. Notice that , , , , implies that , , , , . Then we have , , , , .
Moreover, since and , we have . Therefore, we have , for all and if (5) holds.
When , we have . In this case, we have , for all and , if (3) holds.
Remark 2. In Theorem 2, the static output-feedback controller is explicitly given, while in Theorem 3 it is not, but can be solved implicitly by parameterizing two additional variables and . Theorems 2 and 3 are equivalent to Theorem 1.
If system (1) is a general linear system without the positivity constraint, then one can directly derive the following corollary for the general Finite-time Control Problem:
Corollary 1. Finite-time Control Problem , , where matrix and is solvable for if and only if there exist matrices , positive scalars and symmetric matrices , , , , such that:
for all and ,
, ,
,
where .
Under the conditions, one can get the controller as , , , , .
Remark 3. Different from the finite-time output-feedback control results by Amato and Ariola (Citation2005) and Amato et al. (Citation2005, Citation2010a) where only sufficient conditions for the solution of the problem are derived, Corollary 1 provides a necessary and sufficient condition for solving the general finite-time static output-feedback control problem.
Though in Theorem 3 is related to the nonlinear variable term, it becomes a linear matrix inequality (LMI) when matrix M(m) is known. It can be seen from many works (Amato et al., Citation2010a; Song et al., Citation2017; Xie et al., Citation2017; Zong et al., Citation2013) that the LMI approach is effective for solving finite-time stability problems. In light of this fact, we define the LMI as matrix and scalar , and try to minimize . Then the minimum value of is achieved when . Based on this idea, by virtue of the theoretical results in Theorem 3, a heuristic iteration algorithm is developed and given in Algorithm PFTSOFC.
Algorithm PFTSOFC:
Step 1: Set and . Solve such that
is finite-time stable , , .
Step 2: Fix , minimize
Step 3: If , a solution is obtained: , , , , . STOP. Otherwise, go to the next step.
Step 4: If , where is a given positive number, then it does not find a solution. STOP. Otherwise, set , update as , then go to Step 2.
Remark 4. Step 1 in Algorithm PFTSOFC aims at finding the state-feedback controller such that the closed-loop system in (6) is finite-time stable , , . Based on Theorem 2 (Amato et al., Citation2005), one can first solve the following LMIs and :
and then obtain the state-feedback controller as , .
4. Illustrative example
In order to show the efficacy of the obtained results and Algorithm PFTSOFC, an illustrative example is used in the simulation in this section. Consider a time-varying discrete-time linear system in system (1) with the following system matrices:
We solve Problem PFTSOFC with , and . The initial matrices (state-feedback controller) are found in Step 1 and shown in Table giving the response shown in Figure from which we can see that the positivity of system is not guaranteed since becomes negative. With the initial matrices, a feasible solution is obtained as shown in Table and the corresponding weighted state norms and state response are shown in Figure from which we can see that the state of system is nonnegative and the finite-time stability , , has been guaranteed according to Definition 2.
5. Conclusion
The positivity, finite-time stability and static output-feedback control for time-varying discrete-time linear system have been investigated in this work. Finite-time stability for positive linear time-varying discrete-time systems has been defined. For controller design, a necessary and sufficient condition guaranteeing the finite-time stability and positivity of the closed-loop system has been obtained at first. Two conditions that are equivalent to provide finite-time stability have been given such that the controller is decoupled from the finite-time matrix variable. Then an iterative algorithm has been developed for designing the controller such that the system can be finite-time stable with positivity. The theoretical results and algorithm have been verified by an illustrative example.
correction
This article has been republished with minor changes. These changes do not impact the academic content of the article.
Additional information
Funding
Notes on contributors
Jason J. R. Liu
All the authors of this work are or were members of Control and Automation Lab (CAL) of the University of Hong Kong with Prof. James Lam as the leader. The research areas of CAL include, but not limited to, model reduction, robust synthesis, delay systems, singular systems, stochastic systems, multidimensional systems, positive systems, networked control systems and vibration control.
James Lam
All the authors of this work are or were members of Control and Automation Lab (CAL) of the University of Hong Kong with Prof. James Lam as the leader. The research areas of CAL include, but not limited to, model reduction, robust synthesis, delay systems, singular systems, stochastic systems, multidimensional systems, positive systems, networked control systems and vibration control.
Xin Gong
All the authors of this work are or were members of Control and Automation Lab (CAL) of the University of Hong Kong with Prof. James Lam as the leader. The research areas of CAL include, but not limited to, model reduction, robust synthesis, delay systems, singular systems, stochastic systems, multidimensional systems, positive systems, networked control systems and vibration control.
Xiaochen Xie
All the authors of this work are or were members of Control and Automation Lab (CAL) of the University of Hong Kong with Prof. James Lam as the leader. The research areas of CAL include, but not limited to, model reduction, robust synthesis, delay systems, singular systems, stochastic systems, multidimensional systems, positive systems, networked control systems and vibration control.
Yukang Cui
All the authors of this work are or were members of Control and Automation Lab (CAL) of the University of Hong Kong with Prof. James Lam as the leader. The research areas of CAL include, but not limited to, model reduction, robust synthesis, delay systems, singular systems, stochastic systems, multidimensional systems, positive systems, networked control systems and vibration control.
References
- Amato, F., Ambrosino, R., Ariola, M., & Cosentino, C. (2009). Finite-time stability of linear time-varying systems with jumps. Automatica, 45(5), 1354–10. https://doi.org/10.1016/j.automatica.2008.12.016
- Amato, F., Ambrosino, R., Ariola, M., Cosentino, C., & De Tommasi, G. (2014). Finite-time Stability and Control (Vol. 453). Springer.
- Amato, F., & Ariola, M. (2005). Finite-time control of discrete-time linear systems. IEEE Transactions on Automatic Control, 50(5), 724–729. https://doi.org/10.1109/TAC.2005.847042
- Amato, F., Ariola, M., Carbone, M., & Cosentino, C. (2005). Finite-time output feedback control of discrete-time systems. Proceedings of 16th Triennial IFAC World Congress, 38(1), 514–519. https://doi.org/10.3182/20050703-6-CZ-1902.00486
- Amato, F., Ariola, M., & Cosentino, C. (2010a). Finite-time control of discrete-time linear systems: Analysis and design conditions. Automatica, 46(5), 919–924. https://doi.org/10.1016/j.automatica.2010.02.008
- Amato, F., Ariola, M., & Cosentino, C. (2010b). Finite-time stability of linear time-varying systems: Analysis and controller design. IEEE Transactions on Automatic Control, 55(4), 1003–1008. https://doi.org/10.1109/TAC.2010.2041680
- Bapat, R. B., Raghavan, T., & Bapat, R. B. (1997). Non-negative Matrices and Applications (Vol. 64). Cambridge University Press.
- Dorato, P. (1961). Short-time stability in linear time-varying systems (Technical Report). Polytechnic Inst of Brookklyn NY Microwave Research Institute.
- Ebihara, Y., Zhu, B., & Lam, J. (2020). The Lq/Lp Hankel norms of positive systems. IEEE Control Systems Letters, 4(2), 462–467. https://doi.org/10.1109/LCSYS.2019.2952622
- Farina, L., & Rinaldi, S. (2011). Positive Linear Systems: Theory and Applications (Vol. 50). John Wiley & Sons.
- Haddad, W. M., Chellaboina, V., & Hui, Q. (2010). Non-negative and Compartmental Dynamical Systems. Princeton University Press.
- Hong, M. T. (2019). An optimization approach to static output-feedback control of lti positive systems with delayed measurements. Journal of the Franklin Institute, 356(10), 5087–5103. https://doi.org/10.1016/j.jfranklin.2019.05.001
- Kaczorek, T. (2015). Positivity and stability of time-varying discrete-time linear systems. Proceedings of Asian conference on intelligent information and database systems (pp. 295–303). Springer.
- Kamenkov, G. (1953). On stability of motion over a finite interval of time. Journal of Applied Mathematics and Mechanics, 17(2), 529–540. https://doi.org/10.1016/0021-8928(68)90027-0
- Lebedev, A. (1954). The problem of stability in a finite interval of time. Journal of Applied Mathematics and Mechanics, 18(1), 75–94.
- Liu, J. J. R., Lam, J., & Shu, Z. (2020). Positivity-preserving consensus of homogeneous multiagent systems. IEEE Transactions on Automatic Control, 65(6), 2724–2729. https://doi.org/10.1109/TAC.2019.2946205
- Liu, L.-J., Karimi, H. R., & Zhao, X. (2018). New approaches to positive observer design for discrete-time positive linear systems. Journal of the Franklin Institute, 355(10), 4336–4350. https://doi.org/10.1016/j.jfranklin.2018.04.015
- Mirabdollahi, S., & Haeri, M. (2019). Multi-agent system finite-time consensus control in the presence of disturbance and input saturation by using of adaptive terminal sliding mode method. Cogent Engineering, 6(1), 1698689. https://doi.org/10.1080/23311916.2019.1698689
- Ogura, M., Kishida, M., & Lam, J. (2019). Geometric programming for optimal positive linear systems. IEEE Transactions on Automatic Control. https://doi.org/10.1109/TAC.2019.2960697
- Phat, V. N., & Sau, N. H. (2018). Exponential stabilisation of positive singular linear discrete-time delay systems with bounded control. IET Control Theory & Applications, 13(7), 905–911. https://doi.org/10.1049/iet-cta.2018.5150
- Ren, H., Zong, G., & Li, T. (2018). Event-triggered finite-time control for networked switched linear systems with asynchronous switching. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 48(11), 1874–1884. https://doi.org/10.1109/TSMC.2017.2789186
- Shang, H., Qi, W., & Zong, G. (2019). Finite-time asynchronous control for positive discrete-time markovian jump systems. IET Control Theory & Applications, 13(7), 935–942. https://doi.org/10.1049/iet-cta.2018.5268
- Song, J., Niu, Y., & Wang, S. (2017). Robust finite-time dissipative control subject to randomly occurring uncertainties and stochastic fading measurements. Journal of the Franklin Institute, 354(9), 3706–3723. https://doi.org/10.1016/j.jfranklin.2016.07.020
- Song, J., Niu, Y., & Zou, Y. (2016). Finite-time sliding mode control synthesis under explicit output constraint. Automatica, 65, 111–114. https://doi.org/10.1016/j.automatica.2015.11.037
- Wang, C., & Zhao, Y. (2019). Performance analysis and control of fractional-order positive systems. IET Control Theory & Applications, 13(7), 928–934. https://doi.org/10.1049/iet-cta.2018.5225
- Wang, P., & Zhao, J. (2020). Stability and guaranteed cost analysis of switched positive systems with mode-dependent dwell time and sampling. IET Control Theory & Applications, 14(3), 378–385. https://doi.org/10.1049/iet-cta.2019.0466
- Wu, H., Lam, J., & Su, H. (2019). Global consensus of positive edge system with sector input nonlinearities. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 1–10. https://doi.org/10.1109/TSMC.2019.2931411
- Xie, X., Lam, J., & Li, P. (2017). Finite-time H∞ control of periodic piecewise linear systems. International Journal of Systems Science, 48(11), 2333–2344. https://doi.org/10.1080/00207721.2017.1316884
- Xue, W., & Li, K. (2015). Positive finite-time stabilization for discrete-time linear systems. Journal of Dynamic Systems, Measurement, and Control, 137(1), 014502. https://doi.org/10.1115/1.4028141
- Yang, H., Zhang, J., Jia, X., & Li, S. (2019). Non-fragile control of positive Markovian jump systems. Journal of the Franklin Institute, 356(5), 2742–2758. https://doi.org/10.1016/j.jfranklin.2019.02.008
- Zhu, S., Wang, B., & Zhang, C. (2017). Delay-dependent stochastic finite-time l1 -gain filtering for discrete-time positive Markov jump linear systems with time-delay. Journal of the Franklin Institute, 354(15), 6894–6913. https://doi.org/10.1016/j.jfranklin.2017.07.008
- Zong, G., Yang, D., Hou, L., & Wang, Q. (2013). Robust finite-time H∞ control for Markovian jump systems with partially known transition probabilities. Journal of the Franklin Institute, 350(6), 1562–1578. https://doi.org/10.1016/j.jfranklin.2013.04.003