Stability Analysis of Positive Switched Linear Systems With Delays

This technical note addresses the stability problem of delayed positive switched linear systems whose subsystems are all positive. Both discrete-time systems and continuous-time systems are studied. In our analysis, the delays in systems can be unbounded. Under certain conditions, several stability results are established by constructing a sequence of functions that are positive, monotonically decreasing, and convergent to zero as time tends to infinity (additionally continuous for continuous-time systems). It turns out that these functions can serve as an upper bound of the systems' trajectories starting from a particular region. Finally, a numerical example is presented to illustrate the obtained results.

[1]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[2]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[4]  Michael Margaliot,et al.  A Counterexample to a Conjecture of Gurvits on Switched Systems , 2007, IEEE Transactions on Automatic Control.

[5]  Robert Shorten,et al.  On Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems , 2007, IEEE Transactions on Automatic Control.

[6]  S. Rinaldi,et al.  Positive Linear Systems: Theory and Applications , 2000 .

[7]  Wassim M. Haddad,et al.  Stability theory for nonnegative and compartmental dynamical systems with time delay , 2004, Proceedings of the 2004 American Control Conference.

[8]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

[9]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[10]  F. Tadeo,et al.  Positive observation problem for linear time-delay positive systems , 2007, 2007 Mediterranean Conference on Control & Automation.

[11]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[12]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[13]  Michael Margaliot,et al.  On the Stability of Positive Linear Switched Systems Under Arbitrary Switching Laws , 2009, IEEE Transactions on Automatic Control.

[14]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

[15]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[16]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[17]  R. Shorten,et al.  Some results on the stability of positive switched linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[19]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[20]  Michael Margaliot,et al.  Root-mean-square gains of switched linear systems: A variational approach , 2007, CDC.

[21]  J. M. V. den.  Positive Linear Observers for Linear Compartmental Systems , 1998 .

[22]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[23]  Tadeusz Kaczorek,et al.  The Choice of the Forms of Lyapunov Functions for a Positive 2D Roesser Model , 2007, Int. J. Appl. Math. Comput. Sci..

[24]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[25]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[26]  C. Wen,et al.  Switched and Impulsive Systems: Analysis, Design, and Applications , 2005, IEEE Transactions on Automatic Control.

[27]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[28]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[29]  Michael Margaliot,et al.  Nice reachability for planar bilinear control systems with applications to planar linear switched systems , 2009, IEEE Transactions on Automatic Control.

[30]  Pramod P. Khargonekar,et al.  Optimal Output Regulation for Discrete-Time Switched and Markovian Jump Linear Systems , 2008, SIAM J. Control. Optim..

[31]  Luca Benvenuti,et al.  A tutorial on the positive realization problem , 2004, IEEE Transactions on Automatic Control.

[32]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[33]  Robert J. Vanderbei,et al.  Linear Programming: Foundations and Extensions , 1998, Kluwer international series in operations research and management service.

[34]  Stephane Lafortune,et al.  Robust codiagnosability of discrete event systems , 2009, 2009 American Control Conference.

[35]  Stéphane Lafortune,et al.  Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..

[36]  Robert Shorten,et al.  THE GEOMETRY OF CONVEX CONES ASSOCIATED WITH THE LYAPUNOV INEQUALITY AND THE COMMON LYAPUNOV FUNCTION PROBLEM , 2005 .

[37]  Shigemasa Takai,et al.  Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems , 2006 .

[38]  Xingwen Liu,et al.  Stability Analysis of Switched Positive Systems: A Switched Linear Copositive Lyapunov Function Method , 2009, IEEE Transactions on Circuits and Systems II: Express Briefs.

[39]  T. Kaczorek.  Positive 1D and 2D Systems , 2001 .

[40]  Robert Shorten,et al.  On the Stability of Switched Positive Linear Systems , 2007, IEEE Transactions on Automatic Control.

[41]  Xingwen Liu,et al.  Constrained Control of Positive Systems with Delays , 2009, IEEE Transactions on Automatic Control.

[42]  Long Wang,et al.  Stability Analysis of Positive Systems With Bounded Time-Varying Delays , 2009, IEEE Transactions on Circuits and Systems II: Express Briefs.

[43]  Robert Shorten,et al.  On linear co-positive Lyapunov functions for sets of linear positive systems , 2009, Autom..

[44]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[45]  Long Wang,et al.  Stability Analysis for Continuous-Time Positive Systems With Time-Varying Delays , 2010, IEEE Transactions on Automatic Control.