1: \begin{thebibliography}{10}
2:
3: \bibitem{HdJ2527}
4: M.~Ad{\'{e}}laïde and G.~Sutre.
5: \newblock Parametric analysis and abstraction of genetic regulatory networks.
6: \newblock In {\em Proceedings of the Second Workshop on Concurrent Models in
7: Molecular Biology, BioCONCUR 04}, London, UK, 2004.
8:
9: \bibitem{HdJ2540}
10: R.~Alur, T.~Dang, and F.~Ivancic.
11: \newblock Progress on reachability analysis of hybrid systems using predicate
12: abstraction.
13: \newblock In A.~Pnueli and O.~Maler, editors, {\em Hybrid Systems: Computation
14: and Control (HSCC 2003)}, volume 2623 of {\em Lecture Notes in Computer
15: Science}, pages 4--19. Springer-Verlag, Berlin, 2003.
16:
17: \bibitem{HdJ2529}
18: R.~Alur and D.L. Dill.
19: \newblock A theory of timed automata.
20: \newblock {\em Theoretical Computer Science}, 126(2):183--235, 1994.
21:
22: \bibitem{HdJ2205}
23: R.~Alur, T.A. Henzinger, G.~Lafferriere, and G.J. Pappas.
24: \newblock Discrete abstractions of hybrid systems.
25: \newblock {\em Proceedings of the IEEE}, 88(7):971--984, 2000.
26:
27: \bibitem{HdJ2541}
28: P.J. Antsaklis and X.D. Koutsoukos.
29: \newblock Hybrid systems: {R}eview and recent progress.
30: \newblock In T.~Samad and G.~Balas, editors, {\em Software-enabled Control:
31: Information Technologies for Dynamical Systems}, chapter~4. Wiley-IEEE Press,
32: 2003.
33:
34: \bibitem{HdJ2533}
35: T.~Ali Azam, A.~Iwata., A.~Nishimura, S.~Ueda, and A.~Ishihama.
36: \newblock Growth phase-dependent variation in protein composition of the {{\it
37: Escherichia coli}} nucleoid.
38: \newblock {\em Journal of Bacteriology}, 181(20):6361--6370, 1999.
39:
40: \bibitem{HdJ2538}
41: G.~Batt.
42: \newblock {\em Validation of qualitative models of genetic regulatory networks:
43: A method based on formal verification techniques}.
44: \newblock PhD thesis, Université Joseph Fourier, Grenoble, France, 2006.
45: \newblock In French.
46:
47: \bibitem{gr259}
48: G.~Batt, H.~de~Jong, J.~Geiselmann, M.~Page, D.~Ropers, and D.~Schneider.
49: \newblock Symbolic reachability analysis of genetic regulatory networks using
50: qualitative abstraction.
51: \newblock Technical Report RR-5362, INRIA Rh\^one-Alpes, 2004.
52:
53: \bibitem{HdJ2427}
54: G.~Batt, D.~Ropers, H.~de~Jong, J.~Geiselmann, R.~Mateescu, M.~Page, and
55: D.~Schneider.
56: \newblock Validation of qualitative models of genetic regulatory networks by
57: model checking: Analysis of the nutritional stress response in
58: \textit{Escherichia coli}.
59: \newblock {\em Bioinformatics}, 21(Suppl~1):i19--i28, 2005.
60:
61: \bibitem{HdJ2378}
62: G.~Batt, D.~Ropers, H.~de~Jong, J.~Geiselmann, M.~Page, and D.~Schneider.
63: \newblock Qualitative analysis and verification of hybrid models of genetic
64: regulatory networks: Nutritional stress response in \textit{Escherichia
65: coli}.
66: \newblock In M.~Morari and L.~Thiele, editors, {\em Hybrid Systems: Computation
67: and Control (HSCC 2005)}, volume 3414 of {\em Lecture Notes in Computer
68: Science}, pages 134--150. Springer-Verlag, Berlin, 2005.
69:
70: \bibitem{HdJ2536}
71: C.~Belta, J.M. Esposito, J.~Kim, and V.~Kumar.
72: \newblock Computational techniques for analysis of genetic network dynamics.
73: \newblock {\em International Journal of Robotics Research}, 24(2):219--235,
74: 2005.
75:
76: \bibitem{HdJ1929}
77: O.~Bernard and J.-L. Gouz{\'{e}}.
78: \newblock Transient behavior of biological loop models with application to the
79: {Droop} model.
80: \newblock {\em Mathematical Biosciences}, 127(1):19--43, 1995.
81:
82: \bibitem{HdJ1881}
83: O.~Bernard and J.-L. Gouz{\'{e}}.
84: \newblock Global qualitative description of a class of nonlinear dynamical
85: systems.
86: \newblock {\em Artificial Intelligence}, 136(1):29--59, 2002.
87:
88: \bibitem{HdJ2499}
89: K.~Bettenbrock, S.~Fischer, A.~Kremling, K.~Jahreis, T.~Sauter, and E.D.
90: Gilles.
91: \newblock A quantitative approach to catabolite repression in
92: \textit{Escherichia coli}.
93: \newblock {\em Journal of Biological Chemistry}, 281(5):2578--2584, 2005.
94:
95: \bibitem{HdJ2474}
96: R.~Casey, H.~de~Jong, and J.-L. Gouz{\'{e}}.
97: \newblock Piecewise-linear models of genetic regulatory networks: Equilibria
98: and their stability.
99: \newblock {\em Journal of Mathematical Biology}, 52(1):27--56, 2006.
100:
101: \bibitem{HdJ2370}
102: A.~Chutinan and B.H. Krogh.
103: \newblock Verification of infinite-state dynamic systems using approximate
104: quotient transition systems.
105: \newblock {\em IEEE Transactions on Automatic Control}, 46(9):1401--1410, 2001.
106:
107: \bibitem{HdJ2003}
108: E.M. Clarke, O.~Grumberg, and D.A. Peled.
109: \newblock {\em Model Checking}.
110: \newblock MIT Press, Boston, MA, 1999.
111:
112: \bibitem{HdJ2516}
113: R.~Coutinho, B.~Fernandez, R.~Lima, and A.~Meyroneinc.
114: \newblock Discrete time piecewise affine models of genetic regulatory networks.
115: \newblock {\em Journal of Mathematical Biology}, 52(4):524--570, 2006.
116:
117: \bibitem{HdJ1636}
118: H.~de~Jong.
119: \newblock Modeling and simulation of genetic regulatory systems: A literature
120: review.
121: \newblock {\em Journal of Computational Biology}, 9(1):67--103, 2002.
122:
123: \bibitem{HdJ2126}
124: H.~de~Jong, J.~Geiselmann, G.~Batt, C.~Hernandez, and M.~Page.
125: \newblock Qualitative simulation of the initiation of sporulation in {{\it B.
126: subtilis}}.
127: \newblock {\em Bulletin of Mathematical Biology}, 66(2):261--299, 2004.
128:
129: \bibitem{HdJ2039}
130: H.~de~Jong, J.-L. Gouz{{\'e}}, C.~Hernandez, M.~Page, T.~Sari, and
131: J.~Geiselmann.
132: \newblock Hybrid modeling and simulation of genetic regulatory networks: A
133: qualitative approach.
134: \newblock In A.~Pnueli and O.~Maler, editors, {\em Hybrid Systems: Computation
135: and Control (HSCC 2003)}, volume 2623 of {\em Lecture Notes in Computer
136: Science}, pages 267--282. Springer-Verlag, Berlin, 2003.
137:
138: \bibitem{HdJ2125}
139: H.~de~Jong, J.-L. Gouz{{\'e}}, C.~Hernandez, M.~Page, T.~Sari, and
140: J.~Geiselmann.
141: \newblock Qualitative simulation of genetic regulatory networks using
142: piecewise-linear models.
143: \newblock {\em Bulletin of Mathematical Biology}, 66(2):301--340, 2004.
144:
145: \bibitem{HdJ2426}
146: H.~de~Jong and D.~Ropers.
147: \newblock Qualitative approaches towards the analysis of genetic regulatory
148: networks.
149: \newblock In Z.~Szallasi, V.~Periwal, and J.~Stelling, editors, {\em System
150: Modeling in Cellular Biology: From Concepts to Nuts and Bolts}, pages
151: 125--148. MIT Press, Cambridge, MA, 2006.
152:
153: \bibitem{HdJ1619}
154: R.~Edwards.
155: \newblock Analysis of continuous-time switching networks.
156: \newblock {\em Physica D}, 146(1-4):165--199, 2000.
157:
158: \bibitem{HdJ1553}
159: R.~Edwards, H.T. Siegelmann, K.~Aziza, and L.~Glass.
160: \newblock Symbolic dynamics and computation in model gene networks.
161: \newblock {\em Chaos}, 11(1):160--169, 2001.
162:
163: \bibitem{HdJ2515}
164: E.~Farcot.
165: \newblock Geometric properties of a class of piecewise affine biological
166: network models.
167: \newblock {\em Journal of Mathematical Biology}, 52(3):373--418, 2006.
168:
169: \bibitem{HdJ1661}
170: A.F. Filippov.
171: \newblock {\em Differential Equations with Discontinuous Righthand Sides}.
172: \newblock Kluwer Academic Publishers, Dordrecht, 1988.
173:
174: \bibitem{HdJ2354}
175: R.~Ghosh and C.J. Tomlin.
176: \newblock Symbolic reachable set computation of piecewise affine hybrid
177: automata and its application to biological modelling: {D}elta-{N}otch protein
178: signalling.
179: \newblock {\em Systems Biology}, 1(1):170--183, 2004.
180:
181: \bibitem{HdJ1029}
182: L.~Glass.
183: \newblock Classification of biological networks by their qualitative dynamics.
184: \newblock {\em Journal of Theoretical Biology}, 54(1):85--107, 1975.
185:
186: \bibitem{HdJ1030}
187: L.~Glass and S.A. Kauffman.
188: \newblock The logical analysis of continuous non-linear biochemical control
189: networks.
190: \newblock {\em Journal of Theoretical Biology}, 39(1):103--129, 1973.
191:
192: \bibitem{HdJ1195}
193: L.~Glass and J.S. Pasternack.
194: \newblock Stable oscillations in mathematical models of biological control
195: systems.
196: \newblock {\em Journal of Mathematical Biology}, 6:207--223, 1978.
197:
198: \bibitem{HdJ1899}
199: J.-L. Gouz{\'{e}} and T.~Sari.
200: \newblock A class of piecewise linear differential equations arising in
201: biological models.
202: \newblock {\em Dynamical Systems}, 17(4):299--316, 2002.
203:
204: \bibitem{HdJ2338}
205: R.~Hengge-Aronis.
206: \newblock The general stress response in {{\it Escherichia coli}}.
207: \newblock In G.~Storz and R.~Hengge-Aronis, editors, {\em Bacterial Stress
208: Responses}, pages 161--177. ASM Press, Washington, DC, 2000.
209:
210: \bibitem{HdJ2530}
211: T.A. Henzinger.
212: \newblock Hybrid automata with finite bisimulations.
213: \newblock In Z.~F\"ul\"op and F.~G\'ecseg, editors, {\em 22nd International
214: Colloquium on Automata, Languages and Programming, ICALP'95}, volume 944 of
215: {\em Lecture Notes in Computer Science}, pages 324--335. Springer-Verlag,
216: Berlin, 1995.
217:
218: \bibitem{HdJ2535}
219: H.~Hong.
220: \newblock An improvement of the projection operator in cylindrical algebraic
221: decomposition.
222: \newblock In {\em International Symposium of Symbolic and Algebraic
223: Computation, ISSAC'90}, pages 261--264, New York, 1990. ACM Press.
224:
225: \bibitem{HdJ2476}
226: J.~Hu, W.-C. Wu, and S.~Sastry.
227: \newblock Modeling subtilin production in {{\it Bacillus subtilis}} using
228: hybrid stochastic systems.
229: \newblock In R.~Alur and G.J. Pappas, editors, {\em Hybrid Systems: Computation
230: and Control (HSCC 2004)}, volume 2993 of {\em Lecture Notes in Computer
231: Science}, pages 417--431. Springer-Verlag, Berlin, 2004.
232:
233: \bibitem{HdJ2336}
234: G.W. Huisman, D.A. Siegele, M.M. Zambrano, and R.~Kolter.
235: \newblock Morphological and physiological changes during stationary phase.
236: \newblock In F.C. Neidhardt, R.~{Curtiss III}, J.L. Ingraham, E.C.C. Lin, K.B.
237: Low, B.~Magasanik, W.S. Reznikoff, M.~Riley, M.~Schaechter, and H.E.
238: Umbarger, editors, {\em {{\it Escherichia coli}} and {{\it Salmonella}}:
239: Cellular and Molecular Biology}, pages 1672--1682. ASM Press, Washington, DC,
240: 2nd edition, 1996.
241:
242: \bibitem{HdJ2534}
243: M.~Kawamukai, J.~Kishimoto, R.~Utsumi, M.~Himeno, T.~Komano, and H.~Aiba.
244: \newblock Negative regulation of adenylate cyclase gene ({{\it cya}})
245: expression by cyclic {AMP}-cyclic {AMP} receptor protein in {{\it Escherichia
246: coli}}: Studies with {{\it cya-lac}} protein and operon fusion plasmids.
247: \newblock {\em Journal of Bacteriology}, 164(2):872--877, 1985.
248:
249: \bibitem{HdJ619}
250: B.J. Kuipers.
251: \newblock {\em Qualitative Reasoning: Modeling and Simulation with Incomplete
252: Knowledge}.
253: \newblock MIT Press, Cambridge, MA, 1994.
254:
255: \bibitem{HdJ2030}
256: J.~Lunze.
257: \newblock Qualitative modelling of linear dynamical systems with quantised
258: state measurements.
259: \newblock {\em Automatica}, 30(3):417--432, 1994.
260:
261: \bibitem{HdJ2374}
262: J.~Lygeros, G.J. Pappas, and S.~Sastry.
263: \newblock An introduction to hybrid system modeling, analysis, and control.
264: \newblock First Nonlinear Control Network (NCN) Pedagogical School, Athens,
265: Greece, 1999.
266:
267: \bibitem{HdJ1032}
268: T.~Mestl, E.~Plahte, and S.W. Omholt.
269: \newblock A mathematical framework for describing and analysing gene regulatory
270: networks.
271: \newblock {\em Journal of Theoretical Biology}, 176(2):291--300, 1995.
272:
273: \bibitem{HdJ2488}
274: E.~Plahte and S.~Kj{\'{o}}glum.
275: \newblock Analysis and generic properties of gene regulatory networks with
276: graded response functions.
277: \newblock {\em Physica D}, 201(1):150--176, 2005.
278:
279: \bibitem{HdJ2461}
280: D.~Ropers, H.~de~Jong, M.~Page, D.~Schneider, and J.~Geiselmann.
281: \newblock Qualitative simulation of the carbon starvation response in {{\it
282: Escherichia coli}}.
283: \newblock {\em BioSystems}, 84(2):124--152, 2006.
284:
285: \bibitem{HdJ1038}
286: E.H. Snoussi.
287: \newblock Qualitative dynamics of piecewise-linear differential equations: A
288: discrete mapping approach.
289: \newblock {\em Dynamics and Stability of Systems}, 4(3-4):189--207, 1989.
290:
291: \bibitem{HdJ2528}
292: E.D. Sontag.
293: \newblock Molecular systems biology and control.
294: \newblock {\em European Journal of Control}, 11(5):396--435, 2005.
295:
296: \bibitem{HdJ1039}
297: R.~Thomas and R.~d'Ari.
298: \newblock {\em Biological Feedback}.
299: \newblock CRC Press, Boca Raton, FL, 1990.
300:
301: \bibitem{HdJ797}
302: R.~Thomas, D.~Thieffry, and M.~Kaufman.
303: \newblock Dynamical behaviour of biological regulatory networks: \mbox{I.
304: Biological} role of feedback loops and practical use of the concept of the
305: loop-characteristic state.
306: \newblock {\em Bulletin of Mathematical Biology}, 57(2):247--276, 1995.
307:
308: \bibitem{HdJ1908}
309: A.~Tiwari and G.~Khanna.
310: \newblock Series abstractions for hybrid automata.
311: \newblock In C.J. Tomlin and M.R. Greenstreet, editors, {\em Hybrid Systems:
312: Computation and Control (HSCC 2002)}, volume 2289 of {\em Lecture Notes in
313: Computer Science}, pages 465--478. Springer-Verlag, Berlin, 2002.
314:
315: \end{thebibliography}
316: