Box invariance for biologically-inspired dynamical systems

In this paper, motivated in particular by models drawn from biology, we introduce the notion of box invariant dynamical systems. We argue that box invariance, that is, the existence of a box-shaped positively invariant region, is a characteristic of many biologically-inspired dynamical models. Box invariance is also useful for the verification of stability and safety properties of such systems. This paper presents effective characterization of this notion for some classes of systems, computational results on checking box invariance, the study of the dynamical properties it subsumes, and a comparison with related concepts in the literature. The concept is illustrated using models derived from different case studies in biology.

[1]  A. Tarski A Decision Method for Elementary Algebra and Geometry , 2023 .

[2]  M. Lewin On nonnegative matrices , 1971 .

[3]  George B. Dantzig,et al.  Fourier-Motzkin Elimination and Its Dual , 1973, J. Comb. Theory, Ser. A.

[4]  P. Lancaster,et al.  Zur Theorie der ?-Matrizen , 1975 .

[5]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[6]  Thomas Kailath,et al.  Linear Systems , 1980 .

[7]  M. Voicu Componentwise asymptotic stability of linear constant dynamical systems , 1984 .

[8]  John Thomas Sorensen,et al.  A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes , 1985 .

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

[10]  L. Chau,et al.  Further comments on K0(K0) → 2γ , 1987 .

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

[12]  H. Kiendl,et al.  Vector norms as Lyapunov functions for linear systems , 1992 .

[13]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[14]  Gregory E. Coxson,et al.  The P-matrix problem is co-NP-complete , 1994, Math. Program..

[15]  M. Branicky Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[16]  Kevin M. Passino,et al.  Lagrange stability and boundedness of discrete event systems , 1995, Discret. Event Dyn. Syst..

[17]  P. Borne,et al.  Stability, stabilization, regulation using vector norms , 1996 .

[18]  A. Polański,et al.  Further comments on "Vector norms as Lyapunov functions for linear systems" , 1998, IEEE Trans. Autom. Control..

[19]  A. Arkin,et al.  It's a noisy business! Genetic regulation at the nanomolar scale. , 1999, Trends in genetics : TIG.

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

[21]  Gregory E. Coxson,et al.  Computing Exact Bounds on Elements of an Inverse Interval Matrix is NP-Hard , 1999, Reliab. Comput..

[22]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[23]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[24]  A. Alleyne,et al.  Estimation of stability regions of SDRE controlled systems using vector norms , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[25]  L.C.G.J.M. Habets,et al.  Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[26]  Olivier Bernard,et al.  Global qualitative description of a class of nonlinear dynamical systems , 2002, Artif. Intell..

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

[28]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[29]  Octavian Pastravanu,et al.  Necessary and sufficient conditions for componentwise stability of interval matrix systems , 2004, IEEE Transactions on Automatic Control.

[30]  Ashish Tiwari,et al.  Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks , 2004, HSCC.

[31]  O. Pastravanu,et al.  DIAGONALLY-INVARIANT EXPONENTIAL STABILITY , 2005 .

[32]  D. Lauffenburger,et al.  Parsing ERK Activation Reveals Quantitatively Equivalent Contributions from Epidermal Growth Factor Receptor and HER2 in Human Mammary Epithelial Cells* , 2005, Journal of Biological Chemistry.

[33]  Dominique Schneider,et al.  Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in , 2005, HSCC.

[34]  STATE UNIVERSITY OF NEW YORK AT STONY BROOK , 2005 .

[35]  Ashish Tiwari,et al.  Box invariance of Hybrid and switched Systems , 2006, ADHS.

[36]  Andreas Podelski,et al.  Model Checking of Hybrid Systems: From Reachability Towards Stability , 2006, HSCC.

[37]  Vijay R. Kumar,et al.  Modeling, Analysis, Simulation, and Synthesis of Biomolecular Networks , 2006 .

[38]  Ashish Tiwari,et al.  The concept of Box Invariance for biologically- inspired dynamical systems , 2006 .

[39]  George J. Pappas,et al.  Controlling biological systems: the lactose regulation system of Escherichia coli , 2007, 2007 American Control Conference.

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

[41]  Ashish Tiwari,et al.  Box invariance for biologically-inspired dynamical systems , 2009, 2007 46th IEEE Conference on Decision and Control.

[42]  Ashish Tiwari Generating Box Invariants , 2008, HSCC.