M. Adélade and G. Sutre, Parametric analysis and abstraction of genetic regulatory networks, Proceedings of the Second Workshop on Concurrent Models in Molecular Biology, 2004.

R. Alur, T. Dang, and F. Ivancic, Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction, Hybrid Systems: Computation and Control, pp.4-19, 2003.
DOI : 10.1007/3-540-36580-X_4

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.
DOI : 10.1109/5.871304

P. J. Antsaklis and X. D. Koutsoukos, Hybrid Systems: Review and Recent Progress, Software-enabled Control: Information Technologies for Dynamical Systems, 2003.
DOI : 10.1002/047172288X.ch14

T. , A. Azam, A. Iwata, A. Nishimura, S. Ueda et al., Growth phasedependent variation in protein composition of the Escherichia coli nucleoid, Journal of Bacteriology, issue.20, pp.1816361-6370, 1999.

G. Batt, Validation of qualitative models of genetic regulatory networks: A method based on formal verification techniques, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00012040

G. Batt, H. De-jong, J. Geiselmann, M. Page, D. Ropers et al., Symbolic reachability analysis of genetic regulatory networks using qualitative abstraction, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00070641

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, pp.19-28, 2005.
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, M. Page et al., Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli, Hybrid Systems: Computation and Control, pp.134-150, 2005.
DOI : 10.1007/978-3-540-31954-2_9

C. Belta, J. M. Esposito, J. Kim, and V. Kumar, Computational Techniques for Analysis of Genetic Network Dynamics, The International Journal of Robotics Research, vol.24, issue.2-3, pp.219-235, 2005.
DOI : 10.1177/0278364905050359

O. Bernard and J. Gouzé, Transient behavior of biological loop models with application to the Droop model, Mathematical Biosciences, vol.127, issue.1, pp.19-43, 1995.
DOI : 10.1016/0025-5564(94)00040-7

O. Bernard and J. Gouzé, Global qualitative description of a class of nonlinear dynamical systems, Artificial Intelligence, vol.136, issue.1, pp.29-59, 2002.
DOI : 10.1016/S0004-3702(01)00169-2

K. Bettenbrock, S. Fischer, A. Kremling, K. Jahreis, T. Sauter et al., A Quantitative Approach to Catabolite Repression in Escherichia coli, Journal of Biological Chemistry, vol.281, issue.5, pp.2578-2584, 2005.
DOI : 10.1074/jbc.M508090200

R. Casey, H. De-jong, and J. Gouzé, Piecewise-linear Models of Genetic Regulatory Networks: Equilibria and their Stability, Journal of Mathematical Biology, vol.52, issue.1, pp.27-56, 2006.
DOI : 10.1007/s00285-005-0338-2
URL : https://hal.archives-ouvertes.fr/inria-00071250

A. Chutinan and B. H. Krogh, Verification of infinite-state dynamic systems using approximate quotient transition systems, IEEE Transactions on Automatic Control, vol.46, issue.9, pp.1401-1410, 2001.
DOI : 10.1109/9.948467

E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, 1999.

R. Coutinho, B. Fernandez, R. Lima, and A. Meyroneinc, Discrete time piecewise affine models of genetic regulatory networks, Journal of Mathematical Biology, vol.52, issue.4, pp.524-570, 2006.
DOI : 10.1007/s00285-005-0359-x
URL : https://hal.archives-ouvertes.fr/hal-00004809

H. De and J. , Modeling and simulation of genetic regulatory systems: A literature review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002.

H. De-jong, J. Geiselmann, G. Batt, C. Hernandez, and M. Page, Qualitative simulation of the initiation of sporulation in, Bulletin of Mathematical Biology, vol.66, issue.2, pp.261-299, 2004.
DOI : 10.1016/j.bulm.2003.08.009
URL : https://hal.archives-ouvertes.fr/inria-00072061

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach, Hybrid Systems: Computation and Control, pp.267-282, 2003.
DOI : 10.1007/3-540-36580-X_21

H. De-jong, J. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004.
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849

H. De-jong and D. Ropers, Qualitative approaches towards the analysis of genetic regulatory networks, System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, pp.125-148, 2006.

R. Edwards, Analysis of continuous-time switching networks, Physica D: Nonlinear Phenomena, vol.146, issue.1-4, pp.165-199, 2000.
DOI : 10.1016/S0167-2789(00)00130-5

R. Edwards, H. T. Siegelmann, K. Aziza, and L. Glass, Symbolic dynamics and computation in model gene networks, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.1, pp.160-169, 2001.
DOI : 10.1063/1.1336498

E. Farcot, Geometric properties of a class of piecewise affine biological network models, Journal of Mathematical Biology, vol.52, issue.3, pp.373-418, 2006.
DOI : 10.1007/s00285-005-0360-4
URL : https://hal.archives-ouvertes.fr/hal-00830063

A. F. Filippov, Differential Equations with Discontinuous Righthand Sides, 1988.
DOI : 10.1007/978-94-015-7793-9

R. Ghosh and C. J. Tomlin, Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling, Systems Biology, vol.1, issue.1, pp.170-183, 2004.
DOI : 10.1049/sb:20045019

L. Glass, Classification of biological networks by their qualitative dynamics, Journal of Theoretical Biology, vol.54, issue.1, pp.85-107, 1975.
DOI : 10.1016/S0022-5193(75)80056-7

L. Glass and S. A. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973.
DOI : 10.1016/0022-5193(73)90208-7

L. Glass and J. S. Pasternack, Stable oscillations in mathematical models of biological control systems, Journal of Mathematical Biology, vol.11, issue.3, pp.207-223, 1978.
DOI : 10.1007/BF02547797

J. Gouzé and T. Sari, A class of piecewise linear differential equations arising in biological models, Dynamical Systems, vol.17, issue.4, pp.299-316, 2002.
DOI : 10.1080/1468936021000041681

R. Hengge-aronis, The general stress response in Escherichia coli, Bacterial Stress Responses, pp.161-177, 2000.

T. A. Henzinger, Hybrid automata with finite bisimulations, 22nd International Colloquium on Automata, Languages and Programming, ICALP'95, pp.324-335, 1995.
DOI : 10.1007/3-540-60084-1_85
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.2313

H. Hong, An improvement of the projection operator in cylindrical algebraic decomposition, International Symposium of Symbolic and Algebraic Computation, ISSAC'90, pp.261-264, 1990.

J. Hu, W. Wu, and S. Sastry, Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems, Hybrid Systems: Computation and Control, pp.417-431, 2004.
DOI : 10.1007/978-3-540-24743-2_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.4617

G. W. Huisman, D. A. Siegele, M. M. Zambrano, and R. Kolter, Morphological and physiological changes during stationary phase, Escherichia coli and Salmonella: Cellular and Molecular Biology, pp.1672-1682, 1996.

M. Kawamukai, J. Kishimoto, R. Utsumi, M. Himeno, T. Komano et al., Negative regulation of adenylate cyclase gene (cya) expression by cyclic AMP-cyclic AMP receptor protein in Escherichia coli: Studies with cya-lac protein and operon fusion plasmids, Journal of Bacteriology, vol.164, issue.2, pp.872-877, 1985.

B. J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge, 1994.
DOI : 10.1016/0005-1098(89)90099-x
URL : http://dx.doi.org/10.1016/0898-1221(95)90105-1

J. Lunze, Qualitative modelling of linear dynamical systems with quantized state measurements, Automatica, vol.30, issue.3, pp.417-432, 1994.
DOI : 10.1016/0005-1098(94)90119-8

J. Lygeros, G. J. Pappas, and S. Sastry, An introduction to hybrid system modeling, analysis, and control. First Nonlinear Control Network (NCN) Pedagogical School, 1999.

T. Mestl, E. Plahte, and S. W. Omholt, A mathematical framework for describing and analysing gene regulatory networks, Journal of Theoretical Biology, vol.176, issue.2, pp.291-300, 1995.
DOI : 10.1006/jtbi.1995.0199

E. Plahte and S. Kjóglum, Analysis and generic properties of gene regulatory networks with graded response functions, Physica D: Nonlinear Phenomena, vol.201, issue.1-2, pp.150-176, 2005.
DOI : 10.1016/j.physd.2004.11.014

D. Ropers, H. De-jong, M. Page, D. Schneider, and J. Geiselmann, Qualitative simulation of the carbon starvation response in Escherichia coli, Biosystems, vol.84, issue.2, pp.124-152, 2006.
DOI : 10.1016/j.biosystems.2005.10.005
URL : https://hal.archives-ouvertes.fr/hal-00171698

E. H. Snoussi, Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and Stability of Systems, vol.54, issue.3-4, pp.189-207, 1989.
DOI : 10.1016/S0006-3495(71)86192-1

E. D. Sontag, Molecular Systems Biology and Control, European Journal of Control, vol.11, issue.4-5, pp.396-435, 2005.
DOI : 10.3166/ejc.11.396-435

R. Thomas and R. , Biological Feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681

R. Thomas, D. Thieffry, and M. Kaufman, Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-276, 1995.
DOI : 10.1007/BF02460618

A. Tiwari and G. Khanna, Series of Abstractions for Hybrid Automata, Hybrid Systems: Computation and Control, pp.465-478, 2002.
DOI : 10.1007/3-540-45873-5_36

I. Unité-de-recherche and I. Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.