Oscillations in I/O Monotone Systems Under Negative Feedback

Oscillatory behavior is a key property of many biological systems. The small-gain theorem (SGT) for input/output monotone systems provides a sufficient condition for global asymptotic stability of an equilibrium, and hence its violation is a necessary condition for the existence of periodic solutions. One advantage of the use of the monotone SGT technique is its robustness with respect to all perturbations that preserve monotonicity and stability properties of a very low-dimensional (in many interesting examples, just one-dimensional) model reduction. This robustness makes the technique useful in the analysis of molecular biological models in which there is large uncertainty regarding the values of kinetic and other parameters. However, verifying the conditions needed in order to apply the SGT is not always easy. This paper provides an approach to the verification of the needed properties and illustrates the approach through an application to a classical model of circadian oscillations, as a nontrivial "case study," and provides a theorem in the converse direction of predicting oscillations when the SGT conditions fail.

[1]  David Angeli,et al.  Interconnections of Monotone Systems with Steady-State Characteristics , 2004 .

[2]  S. Walcher.  On Cooperative Systems with Respect to Arbitrary Orderings , 2001 .

[3]  E. N. Dancer.  Some remarks on a boundedness assumption for monotone dynamical systems , 1998 .

[4]  Eduardo D Sontag,et al.  Oscillations in multi-stable monotone systems with slowly varying feedback. , 2007, Journal of differential equations.

[5]  Eduardo Sontag,et al.  Global attractivity, I/O monotone small-gain theorems, and biological delay systems , 2005 .

[6]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[7]  Eduardo D. Sontag,et al.  Monotone systems under positive feedback: multistability and a reduction theorem , 2005, Syst. Control. Lett..

[8]  Hal L. Smith.  Periodic tridiagonal competitive and cooperative systems of differential equations , 1991 .

[9]  John Mallet-Paret,et al.  Global continuation and asymptotic behaviour for periodic solutions of a differential-delay equation , 1986 .

[10]  M. Hirsch,et al.  4. Monotone Dynamical Systems , 2005 .

[11]  Eduardo D Sontag,et al.  On the stability of a model of testosterone dynamics , 2004, Journal of mathematical biology.

[12]  E. D. Sontagc,et al.  Nonmonotone systems decomposable into monotone systems with negative feedback , 2005 .

[13]  Michael Malisoff,et al.  A small-gain theorem for motone systems with multivalued input-state characteristics , 2005, IEEE Transactions on Automatic Control.

[14]  W. Walter.  Differential and Integral Inequalities , 1970 .

[15]  Jörg Raisch,et al.  Detecting and Enforcing Monotonicity for Hybrid Control Systems Synthesis 11Work partially done in the framework of the HYCON Network of Excellence, contract number FP6-IST-511368 , 2006 .

[16]  David Angeli,et al.  A note on multistability and monotone I/O systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  David Angeli,et al.  On predator-prey systems and small-gain theorems. , 2004, Mathematical biosciences and engineering : MBE.

[18]  Eduardo D. Sontag,et al.  Nonmonotone systems decomposable into monotone systems with negative feedback , 2006 .

[19]  M. Hirsch.  Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere , 1985 .

[20]  J. Smillie.  Competitive and Cooperative Tridiagonal Systems of Differential Equations , 1984 .

[21]  Jiang Jifa,et al.  On the Global Stability of Cooperative Systems , 1994 .

[22]  A. Goldbeter.  A model for circadian oscillations in the Drosophila period protein (PER) , 1995, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[23]  David Angeli,et al.  A small-gain theorem for almost global convergence of monotone systems , 2004, Syst. Control. Lett..

[24]  Frédéric Grognard,et al.  Equilibria and stability analysis of a branched metabolic network with feedback inhibition , 2006, Networks Heterog. Media.

[25]  G. Enciso,et al.  A dichotomy for a class of cyclic delay systems. , 2006, Mathematical biosciences.

[26]  Mathukumalli Vidyasagar,et al.  Cross-Positive Matrices , 1970 .

[27]  Eduardo D. Sontag,et al.  Molecular Systems Biology and Control , 2005, Eur. J. Control.

[28]  David Angeli,et al.  Multi-stability in monotone input/output systems , 2003, Syst. Control. Lett..

[29]  Jörg Raisch,et al.  Detecting and Enforcing monotonicity for Hybrid control Systems synthesis , 2006, ADHS.

[30]  P. Volkmann.  Gewöhnliche Differentialungleichungen mit quasimonoton wachsenden Funktionen in topologischen Vektorräumen , 1972 .

[31]  A. Goldbeter,et al.  A Model for Circadian Rhythms in Drosophila Incorporating the Formation of a Complex between the PER and TIM Proteins , 1998, Journal of biological rhythms.

[32]  Anatoli F. Ivanov,et al.  Periodic solutions for three-dimensional non-monotone cyclic systems with time delays , 2004 .

[33]  A. Goldbeter,et al.  Biochemical Oscillations And Cellular Rhythms: Contents , 1996 .

[34]  A. Goldbeter,et al.  Chaos and birhythmicity in a model for circadian oscillations of the PER and TIM proteins in drosophila , 1999, Journal of theoretical biology.

[35]  Luigi Chisci,et al.  Asymptotic tracking for constrained monotone systems , 2006, IEEE Transactions on Automatic Control.

[36]  J. Mallet-Paret,et al.  The Poincare-Bendixson theorem for monotone cyclic feedback systems , 1990 .

[37]  G. Sell,et al.  THE POINCARE-BENDIXSON THEOREM FOR MONOTONE CYCLIC FEEDBACK SYSTEMS WITH DELAY , 1996 .

[38]  Denis V. Efimov,et al.  Oscillatority Conditions for Nonlinear Systems with Delay , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[39]  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 .