{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:18:52Z","timestamp":1761895132715},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212591"},{"type":"electronic","value":"9783540247432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24743-2_44","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:02:22Z","timestamp":1280746942000},"page":"660-672","source":"Crossref","is-referenced-by-count":35,"title":["Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lincoln","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G., Rubin, H., Schug, J.: Hybrid modeling and simulation of biological systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"volume-title":"Computational modeling of genetic and biochemical networks","year":"2001","key":"44_CR2","unstructured":"Bower, J.M., Bolouri, H. (eds.): Computational modeling of genetic and biochemical networks. MIT Press, Cambridge (2001)"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1006\/jtbi.1996.0233","volume":"183","author":"J.R. Collier","year":"1996","unstructured":"Collier, J.R., Monk, A.M., Maini, P.K., Lewis, J.H.: Pattern formation by lateral inhibition with feedback: A mathematical model of Delta-Notch intercellular signalling. J. of theor. Biology\u00a0183, 429\u2013446 (1996)","journal-title":"J. of theor. Biology"},{"key":"44_CR4","doi-asserted-by":"publisher","first-page":"1664","DOI":"10.1126\/science.1069981","volume":"295","author":"M.E. Csete","year":"2002","unstructured":"Csete, M.E., Doyle, J.C.: Reverse engineering of biological complexity. Science\u00a0295, 1664\u20131669 (2002)","journal-title":"Science"},{"key":"44_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-36481-1_30","volume-title":"Computational Methods in Systems Biology","author":"D.L. Dill","year":"2003","unstructured":"Dill, D.L., Lincoln, P.: Evolution as design engineer. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 202\u2013206. Springer, Heidelberg (2003)"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Altman, R.B., et al. (eds.) Proceedings of the Pacific Symposium on Biocomputing, January 2002, vol.\u00a07, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Gallivan, M.A., Murray, R.M.: Model reduction and system identification for master equation control systems. In: American Control Conference (2003) (submitted for publication)","DOI":"10.1109\/ACC.2003.1244099"},{"issue":"4","key":"44_CR8","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1089\/153623103322637715","volume":"7","author":"T.D. Garvey","year":"2003","unstructured":"Garvey, T.D., Lincoln, P., Pedersen, C.J., Martin, D., Johnson, M.: Biospice: Biospice: Access to the most current computational tools for biologists. OMICS\u00a07(4), 411\u2013420 (2003)","journal-title":"OMICS"},{"key":"44_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2003","unstructured":"Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 233\u2013248. Springer, Heidelberg (2003)"},{"key":"44_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2001","unstructured":"Ghosh, R., Tomlin, C.J.: Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 232\u2013246. Springer, Heidelberg (2001)"},{"key":"44_CR11","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Physics\u00a022, 403\u2013434 (1976)","journal-title":"J. Comp. Physics"},{"key":"44_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Sa\u00efdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.2337\/diabetes.27.10.1027","volume":"27","author":"J.R. Guyton","year":"1978","unstructured":"Guyton, J.R., Foster, R.O., Soeldner, J.S., Tan, M.H., Kahn, C.B., Konez, L., Gleason, R.E.: A model of glucose-insulin homeostasis in man that incorporates the heterogeneous fast pool theory of pancreatic insulin release. Diabetes\u00a027, 1027\u20131042 (1978)","journal-title":"Diabetes"},{"key":"44_CR14","unstructured":"Hong, H.: Quantifier elimination in elementary algebra and geometry by partial cylindrical algebraic decomposition version 13. In: The world wide web, (1995), http:\/\/www.gwdg.de\/~cais\/systeme\/saclib , www.eecis.udel.edu\/~saclib\/"},{"issue":"4","key":"44_CR15","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., Arkin, A.P., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"44_CR16","unstructured":"Hybridsal: Modeling and abstracting hybrid systems, Computer Science Laboratory, SRI International, Menlo Park, CA (2003), http:\/\/www.csl.sri.com\/users\/tiwari\/HybridSalDoc.ps"},{"key":"44_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T. Ideker","year":"2001","unstructured":"Ideker, T., Galitski, T., Hood, L.: A new approach to decoding life: Systems biology. Annual Review Genomics \u2013 Human Genetics\u00a02, 343\u2013372 (2001)","journal-title":"Annual Review Genomics \u2013 Human Genetics"},{"key":"44_CR18","doi-asserted-by":"publisher","first-page":"2040","DOI":"10.1126\/science.1064621","volume":"293","author":"P.D. Karp","year":"2001","unstructured":"Karp, P.D.: Pathway databases: A case study in computational symbolic theories. Science\u00a0293, 2040\u20132044 (2001)","journal-title":"Science"},{"key":"44_CR19","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology: an overview. Science\u00a0295, 1662\u20131664 (2002)","journal-title":"Science"},{"key":"44_CR20","volume-title":"Qualitative reasoning: Modeling and simulation with incomplete knowledge","author":"B.J. Kuipers","year":"1994","unstructured":"Kuipers, B.J.: Qualitative reasoning: Modeling and simulation with incomplete knowledge. MIT Press, Cambridge (1994)"},{"issue":"3","key":"44_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1089\/153623103322452350","volume":"7","author":"S.P. Kumar","year":"2003","unstructured":"Kumar, S.P., Feidler, J.C.: Biospice: A computational infrastructure for integrative biology. OMICS\u00a07(3), 225\u2013226 (2003)","journal-title":"OMICS"},{"key":"44_CR22","doi-asserted-by":"publisher","first-page":"2144","DOI":"10.1126\/science.290.5499.2144","volume":"290","author":"M. Laub","year":"2000","unstructured":"Laub, M., McAdams, H., Feldbluym, T., Fraser, C., Shapiro, L.: Global analysis of the genetic network controlling a bacterial cell cycle. Science\u00a0290, 2144\u20132148 (2000)","journal-title":"Science"},{"key":"44_CR23","first-page":"326","volume":"5","author":"G. Marnellos","year":"2000","unstructured":"Marnellos, G., Deblandre, G.A., Mjolsness, E., Kintner, C.: Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in xenopus: Experimental observations and a gene network model. Pacific symposium on biocomputing\u00a05, 326\u2013337 (2000)","journal-title":"Pacific symposium on biocomputing"},{"key":"44_CR24","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1073\/pnas.94.3.814","volume":"94","author":"H.H. McAdams","year":"1997","unstructured":"McAdams, H.H., Arkin, A.: Stochastic mechanisms in gene expression. Proc. Natl. Acad. Sci. USA\u00a094, 814\u2013819 (1997)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"2","key":"44_CR25","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0168-9525(98)01659-X","volume":"15","author":"H.H. McAdams","year":"1999","unstructured":"McAdams, H.H., Arkin, A.: It\u2019s a noisy business! genetic regulation at the nanomolar scale. Trends in Genetics\u00a015(2), 65\u201369 (1999)","journal-title":"Trends in Genetics"},{"key":"44_CR26","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1016\/S0022-5193(05)80391-1","volume":"152","author":"E. Mjolsness","year":"1991","unstructured":"Mjolsness, E., Sharp, D.H., Reinitz, J.: A connectionist model of development. J. of theor. Biology\u00a0152, 429\u2013453 (1991)","journal-title":"J. of theor. Biology"},{"issue":"2","key":"44_CR27","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/10.740877","volume":"46","author":"R.S. Parker","year":"1999","unstructured":"Parker, R.S., Doyle, F.J., Peppas, N.A.: A model-based algorithm for blood glucose control in type I diabetes patients. IEEE transactions on biomedical engineering\u00a046(2) (February 1999)","journal-title":"IEEE Transactions on Biomedical Engineering"},{"key":"44_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Methods in Systems Biology","year":"2003","unstructured":"Priami, C. (ed.): CMSB 2003. LNCS, vol.\u00a02602. Springer, Heidelberg (2003)"},{"key":"44_CR29","first-page":"471","volume-title":"Proceedings of the Pacific Symposium on Biocomputing","author":"P. Romero","year":"2001","unstructured":"Romero, P., Karp, P.D.: Nutrient-related analysis of pathway\/genome databases. In: Altman, R., Klein, T. (eds.) Proceedings of the Pacific Symposium on Biocomputing, pp. 471\u2013482. World Scientific, Singapore (2001)"},{"key":"44_CR30","volume-title":"Biochemical Systems Theory","author":"M.A. Savageau","year":"1976","unstructured":"Savageau, M.A.: Biochemical Systems Theory. Addison-Wesley, Reading (1976)"},{"key":"44_CR31","unstructured":"Sorensen, J.T.: A physiologic model of glucose metabolism in man and its use to design and assess improved insulin therapies for diabetes. PhD thesis, Dept. Chem. Eng., Massachusetts Inst. Technology (MIT), Cambridge (1985)"},{"key":"44_CR32","doi-asserted-by":"crossref","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Altman, R.B., et al. (eds.) Proceedings of the Pacific Symposium on Biocomputing, January 2004, pp. 568\u2013580 (2004)","DOI":"10.1142\/9789812704856_0053"},{"key":"44_CR33","unstructured":"Tiwari, A.: Abstraction based theorem proving: An example from the theory of reals. In: Tinelli, C., Ranise, S. (eds.) Proceedings of the CADE-19 Workshop on Pragmatics of Decision Procedures in Automated Deduction, PDPAR 2003, pp. 40\u201352. INRIA, Nancy (2003)"},{"key":"44_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-36580-X_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2003","unstructured":"Tiwari, A.: Approximate reachability for linear systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 514\u2013525. Springer, Heidelberg (2003)"},{"key":"44_CR35","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 of abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 465\u2013478. Springer, Heidelberg (2002)"},{"key":"44_CR36","doi-asserted-by":"crossref","unstructured":"Tiwari, A., Khanna, G.: Nonlinear systems: Approximating reach sets. In: Hybrid systems: Computation and control, HSCC 2004 (2004) (appears in this proceedings)","DOI":"10.1007\/978-3-540-24743-2_40"},{"key":"44_CR37","unstructured":"Tiwari, A., Wolf, D., Arkin, A., Lincoln, P.: Hybrid modeling and analysis of genetic regulatory networks: Sporulation initiation in bacillus subtilis (2003) (in preparation)"},{"key":"44_CR38","unstructured":"Wolf, D., Arkin, A.: Sporulation initiation model (2003) (unpublished manuscript)"},{"key":"44_CR39","unstructured":"Wolf, D., Arkin, A.: Survival strategy selection as an emergent property of ubernetwork topology (2003) (unpublished manuscript)"},{"key":"44_CR40","first-page":"73","volume-title":"Computational Modeling of Genetic and Biochemical Networks","author":"C.H. Yuh","year":"2001","unstructured":"Yuh, C.H., Bolouri, H., Bower, J.M., Davidson, E.H.: A logical model of cis-regulatory control in a eukaryotic system. In: Bower, J.M., Bolouri, H. (eds.) Computational Modeling of Genetic and Biochemical Networks, pp. 73\u2013100. MIT Press, Cambridge (2001)"}],"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-24743-2_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:19:40Z","timestamp":1559344780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24743-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212591","9783540247432"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24743-2_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}