Alur, R., Belta, C., Ivančíc, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schlug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) Hybrid Systems: Computation and Control (HSCC 2001), vol 2034 of LNCS, Springer-Verlag, 2001, pp. 19–32
Belta, C., Finin, P., Habets, L.C.G.J.M., Halasz, A., Imielinksi, M., Kumar, V., Rubin, H.: Understanding the bacterial stringent response using reachability analysis of hybrid systems. In: Alur, R., Pappas, G. (eds.) Hybrid Systems: Computation and Control (HSCC 2004), vol 2993 of LNCS. Springer-Verlag, Berlin, 2004
Boukal, D., Křivan, V.: Lyapunov functions for Lotka-Volterra predator-prey models with optimal foraging behavior. J. Math. Biol. 39, 493–517 (1999)
Article
MATH
MathSciNet
Google Scholar
Branicky., M.: Multiple Lyapunov functions and other analysis tools for switching and hybrid systems. IEEE Trans. Automatic Control 43 (4), 175–482 (1998)
Google Scholar
Bhatia, N.P., Szegö, G.P.: Dynamical systems: stability theory and applications. Number 35 in Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1967
Clarke, F.: optimization and nonsmooth analysis. Wiley, New York, 1983
Demongeot, J., Aracena, J., Thuderoz, F., Baum, T., Cohen., O.: Genetic regulation networks: circuits, regulons and attractors. C.R. Biologies 326, 171–188 (2003)
Article
Google Scholar
di Bernardo, M., Budd, C.J., Champneys., A.R.: Grazing, skipping and sliding: Analysis of the nonsmooth dynamics of the DC/DC buck converter. Nonlinearity 11(4), 858–890 (1998)
Google Scholar
Decarlo, R., Branicky, M., Pettersson, S., Lennartson., B.: Perspectives and results on the stability and stabilizability of hybrid systems. Proc. IEEE 88 (7), 1069–1083 (2000)
Article
Google Scholar
Devloo, V., Hansen, P., Labbé., M.: Identification of all steady states in large networks by logical analysis. Bull. Math. Biol. 65, 1025–1051 (2003)
Article
Google Scholar
de Jong., H.: Modeling and simulation of genetic regulatory systems: A literature review. J. Comput. Biol. 9 (1), 69–105 (2002)
Google Scholar
de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page., M.: Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bull. Math. Biol. 6 (2), 261–299 (2004)
Google Scholar
de Jong, H., J-L.Gouzé, Hernandez, C., Page, M., Sari, T., Geiselmann., J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 6 (2), 301–340 (2004)
Google Scholar
de Jong, H., Geiselmann, J., Hernandez, C., Page., M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19 (3), 336–344 (2003)
Article
Google Scholar
Edwards., R.: Analysis of continuous-time switching networks. Physica D 146, 165–199 (2000)
Article
MathSciNet
Google Scholar
Edwards, C., Spurgeon, S.K.: Sliding mode control: theory and applications. Taylor & Francis, 1998
Edwards, R., Siegelmann, H.T., Aziza, K., Glass., L.: Symbolic dynamics and computation in model gene networks. Chaos 11 (1), 160–169 (2001)
Article
Google Scholar
Feigin., M.I.: The increasingly complex structure of the bifurcation tree of a piecewise-smooth system. Journal of Applied Maths and Mechanics 59, 853–863 (1995)
Article
Google Scholar
Filippov, A.F.: Differential equations with discontinuous righthand sides. Kluwer Academic Publishers, Dordrecht, 1988
Glass, L., Kauffman., S.A.: The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol. 39, 103–129 (1973)
Article
Google Scholar
Glass., L.: Classification of biological networks by their qualitative dynamics. J. Theor. Biol. 54 (1), 85–107 (1975)
Google Scholar
Glass, L., Pasternack., J.S.: Stable oscillations in mathematical models of biological control systems. J. Math. Biol. 6, 207–223 (1978)
MATH
MathSciNet
Google Scholar
Giannakopoulos, F., Pliete., K.: Planar systems of piecewise linear differential equations with a line of discontinuity. Nonlinearity 14, 1611–1632 (2001)
Article
MATH
MathSciNet
Google Scholar
Gouzé, J.L., Sari., T.: A class of piecewise linear differential equations arising in biological models. Dyn. Syst 17 (4), 299–316 (2002)
Article
Google Scholar
Ghosh, R., Tomlin, C.J.: Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) Hybrid Systems: Computation and Control (HSCC 2001), vol 2034 of LNCS, Springer-Verlag, Berlin, 2001, pp. 232–246
Hirsch, M.W., Smale, S.: Differential equations, dynamical systems, and linear algebra. Number 60 in Pure and Applied Mathematics. Academic Press, San Diego, 1974
Johansson, M., Rantzer., A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Automatic Control 43 (4), 555–559 (1998)
Article
MathSciNet
Google Scholar
Kauffman, S.A.: The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, 1993
Kohn., K.W.: Molecular interaction maps as information organizers and simulation guides. Chaos 11 (1), 1–14 (2001)
Article
Google Scholar
Leine, R., Nijmeijer, H.: Dynamics and bifurcations in non-smooth mechanical systems. Number 18 in Lecture Notes in Applied and Computational Mechanics. Springer-Verlag, Berlin, 2004
Mestl, T., Plahte, E., Omholt., S.W.: A mathematical framework for describing and analysing gene regulatory networks. J. Theor. Biol. 176 (2), 291–300 (1995)
Article
Google Scholar
Mestl, T., Plahte, E., Omholt., S.W.: Periodic solutions in systems of piecewise-linear differential equations. Dyn. Stabil. Syst. 10 (2), 179–193 (1995)
MathSciNet
Google Scholar
Plahte, E., Mestl, T., Omholt., S.W.: Global analysis of steady points for systems of differential equations with sigmoid interactions. Dyn. Stabil. Syst. 9 (4), 275–291 (1994)
MathSciNet
Google Scholar
Plahte, E., Mestl, T., Omholt., S.W.: A methodological basis for description and analysis of systems with complex switch-like interactions. J. Math. Biol. 36 (4), 321–348 (1998)
Article
MathSciNet
Google Scholar
Plahte, E., Kjóglum, S.: Analysis and generic properties of gene regulatory networks with graded response functions. Physica D, 201 (1), 150–176 (2005)
Article
MathSciNet
Google Scholar
Padden, B., Sastry., S.S.: A calculus for computing Filippov's differential inclusion with application to the variable structure control of robot manipulators. IEEE Trans. Circuits Systems 34, 73–82 (1987)
Article
Google Scholar
Ptashne, M.: A genetic switch: phage λ and higher organisms. Cell Press & Blackwell Science, Cambridge, MA, 2nd edition, 1992
Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, H.: Qualitative simulation of the carbon starvationo response in Escherichia coli. Biosystems, 2005, to appear
Snoussi., E.H.: Qualitative dynamics of piecewise-linear differential equations: A discrete mapping approach. Dyn. Stabil. Syst., 4 ( 3 (4), 189–207 (1989)
Google Scholar
Shevitz, D., Padden., B.: Lyapunov stability theory of nonsmooth systems. IEEE Trans. Automatic Control 39 (9), 1910–1914 (1994)
Article
MathSciNet
Google Scholar
Snoussi, E.H., Thomas., R.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol. 55, 973–991 (1993)
Article
MATH
Google Scholar
Thomas, R., d'Ari, R.: Biological feedback. CRC Press, 1990
Thomas, R., Thieffry, D., Kaufman., M.: Dynamical behaviour of biological regulatory networks: I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 57 (2), 247–276 (1995)
Google Scholar
Utkin, V.I.: Sliding modes in control and optimization. Communications and Control Engineering. Springer-Verlag, Berlin, 1992
Viretta, A.U., Fussenegger., M.: Modeling the quorum sensing regulatory network of human-pathogenic Pseudomonas aeruginosa. Biotech. Prog. 20, 670–678 (2004)
Article
Google Scholar
Yagil, G., Yagil., E.: On the relation between effector concentration and the rate of induced enzyme synthesis. Biophys. J. 11 (1), 11–27 (1971)
Article
Google Scholar