Table of Contents Author Guidelines Submit a Manuscript
Discrete Dynamics in Nature and Society
Volume 2016, Article ID 1967875, 7 pages
http://dx.doi.org/10.1155/2016/1967875
Research Article

Positive Filtering with -Gain for Discrete-Time Positive Systems

College of Automation Engineering, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Received 7 March 2016; Revised 30 March 2016; Accepted 7 April 2016

Academic Editor: Carmen Coll

Copyright © 2016 Xiaoming Chen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This paper is concerned with the positive filtering problem for discrete-time positive systems under the -induced performance. We aim to propose a pair of positive filters with error-bounding features to estimate the output of positive systems. A novel characterization is first constructed so that the filtering error system is asymptotically stable with a prescribed -induced performance. Then, necessary and sufficient conditions for the existence of required filters are presented, and the obtained results are expressed as linear programming problems. Moreover, it is pointed out that the results can be easily checked by standard software. In addition, a numerical example is given to show the effectiveness of the proposed design procedures.

1. Introduction

In real world, many dynamical systems involve variables which are always confined to the positive orthant. This special category of systems is generally referred to as positive systems in the literature. Positive systems arise in different application fields such as physics, engineering, and social sciences [1, 2]. Since positive systems possess many unique features and have special structures, a lot of methods established for general systems cannot be used for positive systems. Due to their numerous applications and unique features, positive systems have received ever-increasing research interest in recent years [312]. For instance, the problem of reachability and controllability has been studied for positive systems in [1315]. In [16, 17], the state-feedback controller synthesis results have been expressed as linear matrix inequality problems and linear programming problems. In [18, 19], a stability analysis method for compartmental dynamic systems has been proposed. An interesting result on the positive observer design problem has been given for positive systems in [20]. The positive realization problem has been discussed in [21]. In [22], a solution has been proposed to the model reduction problem for positive systems. Furthermore, the analysis and synthesis problems have been addressed for special classes of positive systems such as 2-D positive systems [4, 23] and time-delay positive systems [2429].

It is remarkable that since many previous approaches used for the filtering problem of general systems fail to ensure the positivity of the filter, existing approaches cannot be directly applied for positive systems. Therefore, it is necessary to develop new techniques for positive systems. Moreover, differently from most existing results on stability and stabilizability of positive systems which were derived by resorting to the quadratic Lyapunov functions, the applications of the linear copositive Lyapunov functions led to many novel results in recent years [1, 16, 3036]. In addition, linear copositive Lyapunov functions stimulate the use of -gain as a performance index for positive systems. In some situations, one might be interested in the sum of quantities for positive systems from a practical viewpoint. Therefore, some frequently used performance measures induced by signals such as norm are not very natural to describe the features of practical positive systems. On the other hand, -norm is more appropriate for positive systems because it represents the sum of the values of the components. For example, it is usually desirable to analyze the total mass of material in all the compartments for compartmental networks.

In this paper, the problem of -induced filtering is studied for positive systems with the positivity preserved in the filters. The main contributions of this paper are as follows. First, we present the -induced performance index for positive systems and characterize it analytically. Then, we propose a pair of -induced positive filters to estimate the output of positive systems at all times. Finally, we establish necessary and sufficient conditions to obtain the desired positive filters in terms of linear programming.

The layout of the paper is as follows. In Section 2, the problem addressed in this paper is formulated and the positive filters are introduced. The positive filter design procedure for positive systems is proposed in Section 3, followed by a numerical example in Section 4 to show the application of the theoretical results. Finally, we draw conclusions in Section 5.

Notation 1. All the matrices, if the dimensions are not explicitly stated, are assumed to have compatible dimensions for algebraic operations. Let denote the set of real numbers; is the -column real vectors; stands for the set of real matrices of dimension For a vector , the -norm is defined as . Let denote the nonnegative orthant of . For a matrix , the element located at the th row and the th column is denoted by ; and denote the th row and the th column, respectively. The -norm of an infinite sequence is defined as . (resp., ) means that, for all and , (resp., ). The induced 1-norm of a matrix is denoted by . The notation means that the matrix and denotes . The Euclidean norm for vectors can be expressed as . The space of all vector-valued functions defined on with finite norm is denoted by . stands for a column vector with each entry equal to .

2. Problem Formulation

In this section, the -induced performance is first introduced for discrete-time positive systems. Moreover, the -induced filtering problem for a stable positive system is formulated.

Consider the following discrete-time linear system:where , , , and denote the state vector, disturbance signal, measurement, and the signal to be determined, respectively.

Next, the following definition is presented below, which will be used in the sequel.

Definition 1. System (1) is positive if , , and always hold for all and all input .

Before moving on, some useful results are introduced and the following lemmas are needed.

Lemma 2 (see [37]). The discrete-time system (1) is positive if and only if

Lemma 3. System (1) with input is asymptotically stable if and only if there exists a vector (or ) satisfying

Next, the definition of -induced performance is introduced. A stable positive system (1) is said to have -induced performance at the level if, under zero initial conditions,where is a given scalar.

Now we are in the position to introduce the following result which serves as a characterization on the asymptotic stability of system (1) with the -induced performance in (4) via linear programming. The performance characterization result is a theoretical basis for further development.

Lemma 4 (see [32]). The positive system (1) is asymptotically stable and satisfies if and only if there exists a vector satisfying

It is easy to see that the transient output cannot be estimated via conventional filters, which can only give an estimate of the output asymptotically. In order to design a filter which can be used to give the information of the transient output at all times, we intend to find a lower-bounding estimate and an upper-bounding one . More specifically, the signal can be encapsulated between the two estimates at all times. A pair of filters is proposed as follows:where , , , and . , and are filtering parameters.

First, the lower-bounding case is considered. Set , , and . From (1) and (6), the augmented system is described as follows:where

Since, the lower-bounding filter (6) is designed to approximate with , it is natural to require that the estimate is also positive, which means that the filter (6) should be a positive system. From Lemma 2, it can be seen that , , and are required. Based on the above discussion, the positive lower-bounding filtering (PLBF) problem is formulated as folows.

Positive Lower-Bounding Filtering (PLBF). Given a stable positive system (1), find a positive filter (6) with , , and that ensures that the filtering error system (8) is positive, asymptotically stable, with performance under zero initial conditions.

Similarly, the second filtering error system can be obtained by defining , , and , and it can be formulated as follows:where Then, the positive upper-bounding filtering (PUBF) problem is proposed below.

Positive Upper-Bounding Filtering (PUBF). Given a stable positive system (1), find a positive filter (7) with , , and that ensures that the filtering error system (10) is positive, asymptotically stable, with performance under zero initial conditions.

3. Main Results

In this section, a pair of positive error-bounding filters is obtained which can bound the signal at all times with the -induced performance satisfied. Necessary and sufficient conditions in terms of linear programming are presented to design a lower-bounding filter, which is followed by parallel results obtained for the upper-bounding case.

Now, we are in a position to provide conditions to design the desired lower-bounding filter for system (1) in the following theorem.

Theorem 5. Given a stable discrete-time positive system (1), a lower-bounding filter (6) exists such that the filtering error system (8) is positive, asymptotically stable with if and only if there exist vectors , and matrices , , such that the following LMIs are feasible:where ; . Then, a possible choice for and is given by

Proof .
Sufficiency. From , (12), (13), and (20), we have that and , which together with guarantees that the lower-bounding filter (6) is a positive system.
Together with (20) and , (15)-(16) implyand we have that From (10), , , , and (14), it can be easily seen that the filtering error system (8) is positive.
Moreover, from (20), we obtain thatInequalities (17)–(19) together with (23) imply thatand we havewhere .
By Lemma 4, the filtering error system (8) is asymptotically stable with .
Necessity. By Lemma 4, we can conclude that there exists such that inequality (25) holds. Set . We can deduce that the following inequalities hold:From and , it follows that the change of variablesmakes the problem linear and yields (17)–(20).
Next, the lower-bounding filter (6) is positive and we have , , and . Because of (27) and , and imply and .
Moreover, if the filtering error system (8) is positive, the following inequalities hold:and this implies (14)–(16). The whole proof is completed.

The parallel result is presented in the following for the upper-bounding case. We propose the following theorem to design the upper-bounding filter for positive systems. The proof is similar to the lower-bounding case and thus is omitted here.

Theorem 6. Given a stable discrete-time positive system (1), an upper-bounding filter (7) exists such that the closed-loop system (10) is positive, asymptotically stable with if and only if there exist vectors , and matrices , , such that the following LMIs are feasible:where ; . Then, a possible choice for and is given by

Remark 7. Conditions obtained in Theorems 5 and 6 can be easily solved by linear programming. Moreover, it is noted that the -induced error-bounding filters can be designed by combining Theorems 5 and 6.

4. Illustrative Example

In this section, an illustrative example is given to illustrate the effectiveness of the theoretical results.

Consider system (1) with system matrices given by

For , by implementing the linear program in Theorem 5, we obtain the feasible solutionwhich yields

Moreover, for , by implementing the linear program described in Theorem 6, we obtain the feasible solutionwhich further yields

Next, the following disturbance is used in this example: Figure 1 shows the lower estimate , the output , and the upper estimate . From Figure 1, we see that the signal can be encapsulated at all times with the lower-bounding estimate and the upper-bounding one . In other words, by the filters designed through Theorem 6 and Theorem 5, the output of the original positive system can be estimated at all times.

Figure 1: Output and its estimates.

5. Conclusion

This paper has addressed the problem of positive filtering for positive systems under performance. Based on linear programming, we have established a novel performance characterization of the filtering error system. Moreover, necessary and sufficient conditions have been developed such that the error-bounding system is positive, asymptotically stable with performance. Finally, a numerical example is presented to verify the theoretical findings. As a future research direction, it would be of interest to consider the filtering problem for positive systems with time-varying or distributed delays.

Competing Interests

The author declares that he has no competing interests.

Acknowledgments

This work is partially supported by NSFC 61503184, NSFC 61573184, and NSFC 61503037.

References

  1. W. M. Haddad and V. Chellaboina, “Stability and dissipativity theory for nonnegative dynamical systems: a unified analysis framework for biological and physiological systems,” Nonlinear Analysis: Real World Applications, vol. 6, no. 1, pp. 35–65, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  2. S. Muratori and S. Rinaldi, “Equilibria, stability, and reachability of leslie systems with nonnegative inputs,” IEEE Transactions on Automatic Control, vol. 35, no. 9, pp. 1065–1068, 1990. View at Publisher · View at Google Scholar
  3. E. Fornasini and M. E. Valcher, “Linear copositive Lyapunov functions for continuous-time positive switched systems,” IEEE Transactions on Automatic Control, vol. 55, no. 8, pp. 1933–1937, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. T. Kaczorek, Positive 1D and 2D Systems, Springer, Berlin, Germany, 2002.
  5. J. Lian and J. Liu, “New results on stability of switched positive systems: an average dwell-time approach,” IET Control Theory & Applications, vol. 7, no. 12, pp. 1651–1658, 2013. View at Publisher · View at Google Scholar · View at Scopus
  6. M. E. Valcher, “Reachability properties of continuous-time positive systems,” IEEE Transactions on Automatic Control, vol. 54, no. 7, pp. 1586–1590, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. C. Wang, “Bounded real lemma for positive discrete systems,” IET Control Theory and Applications, vol. 7, no. 4, pp. 502–507, 2013. View at Publisher · View at Google Scholar · View at Scopus
  8. A. Rantzer, “Optimizing positively dominated systems,” in Proceedings of the 51st IEEE Conference on Decision and Control (CDC '12), pp. 272–277, Maui, Hawaii, USA, December 2012. View at Publisher · View at Google Scholar · View at Scopus
  9. A. Rantzer, “On the Kalman-Yakubovich-Popov lemma for positive systems,” in Proceedings of the 51st IEEE Conference on Decision and Control (CDC '12), pp. 7482–7484, IEEE, Maui, Hawaii, USA, December 2012. View at Publisher · View at Google Scholar · View at Scopus
  10. A. Rantzer, “An extended Kalman-Yakubovich-Popov lemma for positive systems,” IFAC-Papers OnLine, vol. 48, no. 11, pp. 242–245, 2015. View at Publisher · View at Google Scholar
  11. A. Rantzer, “Scalable control of positive systems,” European Journal of Control, vol. 24, pp. 72–80, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. J. Shen and J. Lam, “H model reduction for positive fractional order systems,” Asian Journal of Control, vol. 16, no. 2, pp. 441–450, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. M. P. Fanti, B. Maione, and B. Turchiano, “Controllability of multi-input positive discrete-time systems,” International Journal of Control, vol. 51, no. 6, pp. 1295–1308, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  14. V. G. Rumchev and D. J. James, “Controllability of positive linear discrete-time systems,” International Journal of Control, vol. 50, no. 3, pp. 845–857, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  15. M. E. Valcher, “Controllability and reachability criteria for discrete time positive systems,” International Journal of Control, vol. 65, no. 3, pp. 511–536, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  16. M. A. Rami and F. Tadeo, “Controller synthesis for positive linear systems with bounded controls,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 54, no. 2, pp. 151–155, 2007. View at Publisher · View at Google Scholar · View at Scopus
  17. H. Gao, J. Lam, C. Wang, and S. Xu, “Control for stability and positivity: equivalent conditions and computation,” IEEE Transactions on Circuits and Systems II, vol. 52, no. 9, pp. 540–544, 2005. View at Publisher · View at Google Scholar
  18. W. M. Haddad and V. Chellaboina, “Stability theory for nonnegative and compartmental dynamical systems with time delay,” Systems & Control Letters, vol. 51, no. 5, pp. 355–361, 2004. View at Publisher · View at Google Scholar · View at Scopus
  19. W. M. Haddad, V. Chellaboina, and T. Rajpurohit, “Dissipativity theory for nonnegative and compartmental dynamical systems with time delay,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 747–751, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. P. Li and J. Lam, “Positive state-bounding observer for positive interval continuous-time systems with time delay,” International Journal of Robust and Nonlinear Control, vol. 22, no. 11, pp. 1244–1257, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  21. L. Benvenuti and L. Farina, “A tutorial on the positive realization problem,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 651–664, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. J. Feng, J. Lam, Z. Shu, and Q. Wang, “Internal positivity preserved model reduction,” International Journal of Control, vol. 83, no. 3, pp. 575–584, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  23. J. E. Kurek, “Stability of positive 2-D system described by the Roesser model,” IEEE Trans. Circuits and Systems (I), vol. 49, no. 4, pp. 531–533, 2002. View at Publisher · View at Google Scholar
  24. X. Liu and J. Lam, “Relationships between asymptotic stability and exponential stability of positive delay systems,” International Journal of General Systems, vol. 42, no. 2, pp. 224–238, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. X. Zhao, X. Liu, S. Yin, and H. Li, “Improved results on stability of continuous-time switched positive linear systems,” Automatica, vol. 50, no. 2, pp. 614–621, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  26. X. Liu, W. Yu, and L. Wang, “Stability analysis for continuous-time positive systems with time-varying delays,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 1024–1028, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  27. J. Shen and J. Lam, “L8-gain analysis for positive systems with distributed delays,” Automatica, vol. 50, no. 1, pp. 175–179, 2014. View at Publisher · View at Google Scholar
  28. Y. Mao and H. Zhang, “Exponential stability and robust H control of a class of discrete-time switched non-linear systems with time-varying delays via T-S fuzzy model,” International Journal of Systems Science, vol. 45, no. 5, pp. 1112–1127, 2014. View at Publisher · View at Google Scholar
  29. S. Zhu, M. Meng, and C. Zhang, “Exponential stability for positive systems with bounded time-varying delays and static output feedback stabilization,” Journal of the Franklin Institute, vol. 350, no. 3, pp. 617–636, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  30. C. Briat, “Robust stability and stabilization of uncertain linear positive systems via integral linear constraints: L1-gain and L-gain characterization,” International Journal of Robust and Nonlinear Control, vol. 23, no. 17, pp. 1932–1954, 2013. View at Publisher · View at Google Scholar
  31. X. Chen, J. Lam, and P. Li, “Positive filtering for continuous-time positive systems under L1 performance,” International Journal of Control, vol. 87, no. 9, pp. 1906–1913, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  32. X. Chen, J. Lam, P. Li, and Z. Shu, “L1-induced norm and controller synthesis of positive systems-induced norm and controller synthesis of positive systems,” Automatica, vol. 49, no. 5, pp. 1377–1385, 2013. View at Publisher · View at Google Scholar
  33. J. Shen and J. Lam, “On static output-feedback stabilization for multi-input multi-output positive systems,” International Journal of Robust and Nonlinear Control, vol. 25, no. 16, pp. 3154–3162, 2015. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  34. X. Chen, J. Lam, P. Li, and Z. Shu, “Output-feedback control for continuous-time interval positive systems under L1 performance,” Asian Journal of Control, vol. 16, no. 6, pp. 1592–1601, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  35. Y. Ebihara, D. Peaucelle, and D. Arzelier, “Optimal L1-controller synthesis for positive systems and its robustness properties,” in Proceedings of the American Control Conference (ACC '12), pp. 5992–5997, Montreal, Canada, June 2012.
  36. W. M. Haddad, V. Chellaboina, and Q. Hui, Nonnegative and Compartmental Dynamical Systems, Princeton University Press, Princeton, NJ, USA, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  37. L. Farina and S. Rinaldi, Positive Linear Systems: Theory and Applications, Wiley Interscience, New York, NY, USA, 2000.