{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:17:24Z","timestamp":1725574644850},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540251088"},{"type":"electronic","value":"9783540319542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31954-2_9","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:45:07Z","timestamp":1294991107000},"page":"134-150","source":"Crossref","is-referenced-by-count":16,"title":["Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli"],"prefix":"10.1007","author":[{"given":"Gr\u00e9gory","family":"Batt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Delphine","family":"Ropers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Geiselmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Page","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L. Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.: The logical analysis of continuous non-linear biochemical control networks. J. Theor. Biol.\u00a039, 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"key":"9_CR2","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-24743-2_8","volume-title":"Hybrid Systems: Computation and Control","author":"C. Belta","year":"2004","unstructured":"Belta, C., Finin, P., Habets, L., Hal\u00e1sz, A., Imielinski, M., Kumar, V., Rubin, H.: Understanding the bacterial stringent response using reachability analysis of hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 111\u2013125. Springer, Heidelberg (2004)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-36580-X_21","volume-title":"Hybrid Systems: Computation and Control","author":"H. Jong de","year":"2003","unstructured":"de Jong, H., Gouz\u00e9, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 267\u2013282. Springer, Heidelberg (2003)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R. Ghosh","year":"2004","unstructured":"Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-Notch protein signalling. Syst. Biol.\u00a01, 170\u2013183 (2004)","journal-title":"Syst. Biol."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-540-24743-2_28","volume-title":"Hybrid Systems: Computation and Control","author":"J. Hu","year":"2004","unstructured":"Hu, J., Wu, W.C., Sastry, S.: Modeling subtilin production in B. subtilis using stochastic hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 417\u2013431. Springer, Heidelberg (2004)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-24743-2_3","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2004","unstructured":"Asarin, E., Dang, T.: Abstraction by projection and application to multi-affine systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 32\u201347. Springer, Heidelberg (2004)"},{"unstructured":"Lygeros, J., Pappas, G., Sastry, S.: An introduction to hybrid system modeling, analysis, and control. Preprints of 1st Nonlinear Control Network Pedagogical School, Greece (1999)","key":"9_CR8"},{"doi-asserted-by":"crossref","unstructured":"Antsaklis, P., Koutsoukos, X.: Hybrid dynamical systems: review and recent progress. In: Samad, T., Balas, G. (eds.) Software-enabled Control: Information Technologies for Dynamical Systems. Wiley-IEEE Press (2003)","key":"9_CR9","DOI":"10.1002\/047172288X.ch14"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. J. Comput. Biol.\u00a09, 69\u2013105 (2002)","journal-title":"J. Comput. Biol."},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Gouz\u00e9, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol.\u00a066, 301\u2013340 (2004)","journal-title":"Bull. Math. Biol."},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H. Jong de","year":"2003","unstructured":"de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics\u00a019, 336\u2013344 (2003)","journal-title":"Bioinformatics"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.bulm.2003.08.009","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation in B. subtilis. Bull. Math. Biol.\u00a066, 261\u2013300 (2004)","journal-title":"Bull. Math. Biol."},{"unstructured":"Batt, G., de Jong, H., Geiselmann, J., Page, M., Ropers, D., Schneider, D.: Symbolic reachability analysis of genetic regulatory networks using qualitative abstraction. Technical report RR-5362 INRIA (2004)","key":"9_CR14"},{"key":"9_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7793-9","volume-title":"Differential Equations with Discontinuous Righthand Sides","author":"A. Filippov","year":"1988","unstructured":"Filippov, A.: Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1080\/1468936021000041681","volume":"17","author":"J.L. Gouz\u00e9","year":"2002","unstructured":"Gouz\u00e9, J.L., Sari, T.: A class of piecewise linear differential equations arising in biological models. Dyn. Syst.\u00a017, 299\u2013316 (2002)","journal-title":"Dyn. Syst."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. IEEE\u00a088, 971\u2013984 (2000)","journal-title":"Proc. IEEE"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1109\/9.948467","volume":"46","author":"A. Chutinan","year":"2001","unstructured":"Chutinan, A., Krogh, B.: Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Automat. Contr.\u00a046, 1401\u20131410 (2001)","journal-title":"IEEE Trans. Automat. Contr."},{"unstructured":"Huisman, G., Siegele, D., Zambrano, M., Kolter, R.: Morphological and physiological changes during stationary phase. In: Neidhardt, et al. (eds.) E. coli and Salmonella: Cellular and Molecular Biology, pp. 1672\u20131682. ASM Press (1996)","key":"9_CR19"},{"unstructured":"Hengge-Aronis, R.: The general stress response in E. coli. In: Storz, G., Hengge-Aronis, R. (eds.) Bacterial Stress Responses, pp. 161\u2013177. ASM Press (2000)","key":"9_CR20"},{"unstructured":"Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, H.: Qualitative simulation of nutritional stress response in E. coli. Technical Report RR-5412 (2004) (submitted for publication)","key":"9_CR21"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24732-6_12","volume-title":"Model Checking Software","author":"G. Batt","year":"2004","unstructured":"Batt, G., Bergamini, D., de Jong, H., Gavarel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 158\u2013163. Springer, Heidelberg (2004)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2002","unstructured":"Tiwari, A., Khanna, G.: Series abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 465\u2013478. Springer, Heidelberg (2002)"},{"key":"9_CR24","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B. Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31954-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:06:39Z","timestamp":1559941599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31954-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540251088","9783540319542"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31954-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}