Box invariance for biologically-inspired dynamical systems

[1]  O. Perron.  Zur Theorie der Matrices , 1907 .

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

[3]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[21]  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).

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

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

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

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

[26]  G. Sacks.  A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .

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

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

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

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

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

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

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

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

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

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

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

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