Switched Positive Linear Systems

Positive systems are an important class of systems that frequently arise in application areas, such as in the chemical process industry, electronic circuit design, communication networks, and biology. The study of the stability of such systems differs from standard systems in that the analysis focuses only on the trajectories generated under positivity constraints. Switched positive systems also arise in a variety of applications. Examples can be found in TCP congestion control, in processes described by non-homogeneous Markov chains, in image processing, in biochemical networks, and so on. In comparison to general switched systems, that have received a lot of attention in the past years, the theory for positive switched systems is still in its infancy. Switched Positive Linear Systems studies the stability, performance evaluation, stabilization via switching control, and optimal control of (continuous-time and linear) positive switched systems. It provides a review of the results that have already been established in the literature. Other results, especially those related to norm computation and optimization, are new and are presented integrated with previous ones. Switched Positive Linear Systems provides a comprehensive and timely introduction to the study of such systems. Readers who are new to the topic will find everything required to understand such systems in a concise and accessible form.

[1]  A. V. Dmitruk,et al.  The Hybrid Maximum Principle is a consequence of Pontryagin Maximum Principle , 2008, Syst. Control. Lett..

[2]  Vincent D. Blondel,et al.  An Elementary Counterexample to the Finiteness Conjecture , 2002, SIAM J. Matrix Anal. Appl..

[3]  Chuangyin Dang,et al.  Stability Analysis of Positive Switched Linear Systems With Delays , 2011, IEEE Transactions on Automatic Control.

[4]  Yacine Chitour,et al.  Properties of Barabanov norms and extremal trajectories associated with continuous-time linear switched systems , 2013, 52nd IEEE Conference on Decision and Control.

[5]  Nguyen Khoa Son,et al.  Stability radii of higher order positive di erence systems , 2003 .

[6]  Daniel Liberzon,et al.  Lie-Algebraic Stability Criteria for Switched Systems , 2001, SIAM J. Control. Optim..

[7]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[8]  Leo F. Boron,et al.  Positive solutions of operator equations , 1964 .

[9]  Hai Lin,et al.  Switched Linear Systems: Control and Design , 2006, IEEE Transactions on Automatic Control.

[10]  Michael J. Piovoso,et al.  Optimal Antiviral Switching to Minimize Resistance Risk in HIV Therapy , 2011, PloS one.

[11]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[12]  Ettore Fornasini,et al.  Reachability of a class of discrete-time positive switched systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[13]  Immanuel M. Bomze,et al.  Copositive optimization - Recent developments and applications , 2012, Eur. J. Oper. Res..

[14]  Hamid Reza Karimi,et al.  Stability and L1-gain controller design for positive switched systems with mixed time-varying delays , 2013 .

[15]  Dale B. McDonald.  Lyapunov Optimizing Sliding Mode Control for Linear Systems with Bounded Disturbance , 2008 .

[16]  Franco Blanchini,et al.  A new class of universal Lyapunov functions for the control of uncertain linear systems , 1999, IEEE Trans. Autom. Control..

[17]  Raphael M. Jungers,et al.  On asymptotic properties of matrix semigroups with an invariant cone , 2012, 1201.3212.

[18]  Hulin Wu,et al.  Hierarchical Bayesian inference for HIV dynamic differential equation models incorporating multiple treatment factors , 2010, Biometrical journal. Biometrische Zeitschrift.

[19]  M. A. Rami,et al.  Stability Criteria for SIS Epidemiological Models under Switching Policies , 2013, 1306.0135.

[20]  A. M. Kaganovich,et al.  Maximum principle for optimal control problems with intermediate constraints , 2011 .

[21]  Anders Rantzer,et al.  Control of convex-monotone systems , 2014, 53rd IEEE Conference on Decision and Control.

[22]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[23]  Alberto Seeger,et al.  A Variational Approach to Copositive Matrices , 2010, SIAM Rev..

[24]  Franco Blanchini,et al.  Convexity of the cost functional in an optimal control problem for a class of positive switched systems , 2014, Autom..

[25]  M. Bardi,et al.  Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations , 1997 .

[26]  Alan S. Perelson,et al.  Mathematical Analysis of HIV-1 Dynamics in Vivo , 1999, SIAM Rev..

[27]  Diederich Hinrichsen,et al.  \mi-Analysis and robust stability of positive linear systems , 1998 .

[28]  James Lam,et al.  Stability analysis of discrete-dime positive switched linear delay systems , 2012, 2012 American Control Conference (ACC).

[29]  G. P. Szegö,et al.  Stability theory of dynamical systems , 1970 .

[30]  M. Feinberg.  Chemical reaction network structure and the stability of complex isothermal reactors—I. The deficiency zero and deficiency one theorems , 1987 .

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

[32]  Raymond A. DeCarlo,et al.  Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems , 1998, Eur. J. Control.

[33]  L. Gurvits.  Stability of discrete linear inclusion , 1995 .

[34]  Franco Blanchini,et al.  Vertex/plane characterization of the dwell-time property for switching linear systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[35]  R. Siliciano,et al.  Redefining the viral reservoirs that prevent HIV-1 eradication. , 2012, Immunity.

[36]  Franco Blanchini,et al.  A convexity result for the optimal control of a class of positive nonlinear systems , 2014 .

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

[38]  J. Mairesse,et al.  Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture , 2001 .

[39]  Patrizio Colaneri,et al.  Stability and Stabilization of Continuous-Time Switched Linear Systems , 2006, SIAM J. Control. Optim..

[40]  Maria Elena Valcher,et al.  Monomial reachability and zero controllability of discrete-time positive switched systems , 2008, Syst. Control. Lett..

[41]  A. Berman,et al.  Nonnegative matrices in dynamic systems , 1979 .

[42]  M. Hirsch.  Systems of differential equations that are competitive or cooperative. VI: A local Cr Closing Lemma for 3-dimensional systems , 1985, Ergodic Theory and Dynamical Systems.

[43]  Annalisa Zappavigna,et al.  Unconditional stability of the Foschini-Miljanic algorithm , 2012, Autom..

[44]  Robert Shorten,et al.  Comments on periodic and absolute stability for switched linear systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[45]  Corentin Briat,et al.  Robust stability and stabilization of uncertain linear positive systems via integral linear constraints: L1‐gain and L∞‐gain characterization , 2012, ArXiv.

[46]  Franco Blanchini,et al.  Co-Positive Lyapunov Functions for the Stabilization of Positive Switched Systems , 2012, IEEE Transactions on Automatic Control.

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

[48]  H Putter,et al.  A Bayesian approach to parameter estimation in HIV dynamical models , 2002, Statistics in medicine.

[49]  Anders Rantzer,et al.  Distributed control of positive systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[50]  Y. Moreno,et al.  Epidemic outbreaks in complex heterogeneous networks , 2001, cond-mat/0107267.

[51]  Mirjam Dür,et al.  An Adaptive Linear Approximation Algorithm for Copositive Programs , 2009, SIAM J. Optim..

[52]  I. Craig,et al.  Can HIV/AIDS be controlled? Applying control engineering concepts outside traditional fields , 2005, IEEE Control Systems.

[53]  D. Hinrichsen,et al.  Robust Stability of positive continuous time systems , 1996 .

[54]  N. Barabanov.  Absolute characteristic exponent of a class of linear nonstatinoary systems of differential equations , 1988 .

[55]  R. Tourky,et al.  Cones and duality , 2007 .

[56]  Maria Elena Valcher,et al.  Reachability Properties of Single-Input Continuous-Time Positive Switched Systems , 2010, IEEE Transactions on Automatic Control.

[57]  Nikita Sidorov,et al.  An explicit counterexample to the Lagarias-Wang finiteness conjecture , 2010, ArXiv.

[58]  Ettore Fornasini,et al.  Linear Copositive Lyapunov Functions for Continuous-Time Positive Switched Systems , 2010, IEEE Transactions on Automatic Control.

[59]  Michael William Newman,et al.  The Laplacian spectrum of graphs , 2001 .

[60]  Katta G. Murty,et al.  Some NP-complete problems in quadratic and nonlinear programming , 1987, Math. Program..

[61]  Hamid Reza Karimi,et al.  Stability and -Gain Control of Positive Switched Systems with Time-Varying Delays via Delta Operator Approach , 2013 .

[62]  M. Seetharama Gowda,et al.  On Common Linear/Quadratic Lyapunov Functions for Switched Linear Systems , 2010 .

[63]  B. Mohar.  THE LAPLACIAN SPECTRUM OF GRAPHS y , 1991 .

[64]  Richard Bellman,et al.  Introduction to the mathematical theory of control processes , 1967 .

[65]  D. Elliott.  Bilinear Control Systems: Matrices in Action , 2009 .

[66]  M. Araki.  Application of M-matrices to the stability problems of composite dynamical systems , 1975 .

[67]  Franco Blanchini,et al.  Stabilization of LPV Systems: State Feedback, State Estimation, and Duality , 2003, SIAM J. Control. Optim..

[68]  Franco Blanchini,et al.  Piecewise-linear Lyapunov functions for structural stability of biochemical networks , 2014, Autom..

[69]  Chun Chor Litwin 鄭振初 Cheng,et al.  An extension of the results of hirsch on systems of differential equations which are competitive or cooperative , 1996 .

[70]  Franco Blanchini,et al.  Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[71]  Uri Shaked,et al.  Robust stability and stabilization of linear switched systems with dwell time , 2010, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

[72]  Christos G. Cassandras,et al.  Optimal control of a class of hybrid systems , 2001, IEEE Trans. Autom. Control..

[73]  Patrizio Colaneri,et al.  A Nonconservative LMI Condition for Stability of Switched Systems With Guaranteed Dwell Time , 2012, IEEE Transactions on Automatic Control.

[74]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[75]  S. Bittanti,et al.  Periodic Systems: Filtering and Control , 2008 .

[76]  Charles R. Johnson,et al.  Topics in Matrix Analysis , 1991 .

[77]  Eric A Sobie,et al.  An Introduction to Dynamical Systems , 2011, Science Signaling.

[78]  Ugo V. Boscain,et al.  Stability of Planar Switched Systems: The Linear Single Input Case , 2002, SIAM J. Control. Optim..

[79]  Krishna M. Garg.  Theory of Differentiation: A Unified Theory of Differentiation Via New Derivate Theorems and New Derivatives , 1998 .

[80]  E. S. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential inclusions and periodic motions of time-varying nonlinear control systems , 1996 .

[81]  Robert K. Brayton,et al.  Constructive stability and asymptotic stability of dynamical systems , 1980 .

[82]  Michael Margaliot,et al.  Stability analysis of switched systems using variational principles: An introduction , 2006, Autom..

[83]  L. Rapoport.  Asymptotic stability and periodic motions of selector-linear differential inclusions , 1996 .

[84]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[85]  Garrett Stuck,et al.  Introduction to Dynamical Systems , 2003 .

[86]  Fabian R. Wirth,et al.  Extremal norms for positive linear inclusions , 2012, 1306.3814.

[87]  Claude H. Moog,et al.  Clinical Tests of Therapeutical Failures Based on Mathematical Modeling of the HIV Infection , 2008, IEEE Transactions on Automatic Control.

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

[89]  J. Lagarias,et al.  The finiteness conjecture for the generalized spectral radius of a set of matrices , 1995 .

[90]  Mirjam Dür,et al.  An improved algorithm to test copositivity , 2012, J. Glob. Optim..

[91]  Ettore Fornasini,et al.  Stability and Stabilizability Criteria for Discrete-Time Positive Switched Systems , 2012, IEEE Transactions on Automatic Control.

[92]  Patrizio Colaneri,et al.  Stabilization Of Continuous-time Switched Systems , 2005 .

[93]  Alexander Graham,et al.  Kronecker Products and Matrix Calculus: With Applications , 1981 .

[94]  Nikita Barabanov,et al.  Duality results for the joint spectral radius and transient behavior , 2005, CDC 2005.

[95]  Urbashi Mitra,et al.  Conditions on the stability of a class of second-order switched systems , 2006, IEEE Transactions on Automatic Control.

[96]  Ettore Fornasini,et al.  Stability properties of a class of positive switched systems with rank one difference , 2014, Syst. Control. Lett..

[97]  John L. Casti.  Introduction to the Mathematical Theory of Control Processes, Volume I: Linear Equations and Quadratic Criteria, Volume II: Nonlinear Processes , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

[98]  Guangming Xie,et al.  On Reachability and Controllability of Positive Discrete-time Switched Linear Systems , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[99]  S. Smale.  On the differential equations of species in competition , 1976, Journal of mathematical biology.

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

[101]  Xiao-Song Yang,et al.  A new proof of a theorem on optimal control of switched systems , 2007 .

[102]  Michael J. Piovoso,et al.  HIV Model Parameter Estimates from Interruption Trial Data including Drug Efficacy and Reservoir Dynamics , 2012, PloS one.

[103]  Vadim I. Utkin,et al.  Sliding mode control in electromechanical systems , 1999 .

[104]  Richard H Middleton,et al.  Modeling the three stages in HIV infection. , 2013, Journal of theoretical biology.

[105]  Maria Elena Valcher.  On the k-switching reachability sets of single-input positive switched systems , 2009, 2009 American Control Conference.

[106]  Clyde F. Martin,et al.  A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching , 1999, IEEE Transactions on Automatic Control.

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

[108]  Patrizio Colaneri,et al.  Stochastic stability of Positive Markov Jump Linear Systems , 2014, Autom..

[109]  Robert Shorten,et al.  On the simultaneous diagonal stability of a pair of positive linear systems , 2006 .

[110]  Patrizio Colaneri,et al.  Optimal therapy scheduling for a simplified HIV infection model , 2013, Autom..

[111]  D. Vecchio,et al.  Biomolecular Feedback Systems , 2014 .

[112]  Z. Artstein.  Stabilization with relaxed controls , 1983 .

[113]  Mirjam Dür,et al.  Copositive Lyapunov functions for switched systems over cones , 2009, Syst. Control. Lett..

[114]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[115]  Jon Rigelsford,et al.  Positive 1D and 2D Systems , 2002 .

[116]  G. Chesi.  Domain of Attraction: Analysis and Control via SOS Programming , 2011 .

[117]  Eduardo D. Sontag,et al.  Monotone and near-monotone biochemical networks , 2007, Systems and Synthetic Biology.

[118]  Nicola Guglielmi,et al.  Exact Computation of Joint Spectral Characteristics of Linear Operators , 2011, Found. Comput. Math..

[119]  Karolin Papst,et al.  Stability Theory Of Switched Dynamical Systems , 2016 .

[120]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[121]  Lawrence M Wein,et al.  Management of Antiretroviral Therapy for HIV Infection: Modelling when to Change Therapy , 1998, Antiviral therapy.

[122]  Hamid Reza Karimi,et al.  Positive $$L_1 $$L1 Observer Design for Positive Switched Systems , 2014, Circuits Syst. Signal Process..

[123]  Franco Blanchini,et al.  Discrete‐time control for switched positive systems with application to mitigating viral escape , 2011 .

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

[125]  P. Kokotovic,et al.  Inverse Optimality in Robust Stabilization , 1996 .

[126]  Zhengrong Xiang,et al.  Observer Design of Switched Positive Systems with Time-Varying Delays , 2013, Circuits Syst. Signal Process..

[127]  Joel E. Cohen,et al.  CONVEXITY OF THE DOMINANT EIGENVALUE OF AN ESSENTIALLY NONNEGATIVE MATRIX , 1981 .

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

[129]  Vincent D. Blondel,et al.  Joint Spectral Characteristics of Matrices: A Conic Programming Approach , 2010, SIAM J. Matrix Anal. Appl..

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