{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T00:14:11Z","timestamp":1773274451346,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319129815","type":"print"},{"value":"9783319129822","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_8","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T06:26:34Z","timestamp":1413786394000},"page":"99-113","source":"Crossref","is-referenced-by-count":10,"title":["Parameter Synthesis for Cardiac Cell Hybrid Models Using \u03b4-Decisions"],"prefix":"10.1007","author":[{"given":"Bing","family":"Liu","sequence":"first","affiliation":[]},{"given":"Soonho","family":"Kong","sequence":"additional","affiliation":[]},{"given":"Sicun","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1231001","DOI":"10.1142\/S0219720012310014","volume":"10","author":"B. Liu","year":"2012","unstructured":"Liu, B., Thiagarajan, P.: Modeling and analysis of biopathways dynamics. Journal of Bioinformatics and Computational Biology\u00a010(4), 1231001 (2012)","journal-title":"Journal of Bioinformatics and Computational Biology"},{"issue":"8","key":"8_CR2","doi-asserted-by":"publisher","first-page":"3841","DOI":"10.1091\/mbc.E03-11-0794","volume":"15","author":"K.C. Chen","year":"2004","unstructured":"Chen, K.C., Calzone, L., Csikasz-Nagy, A., Cross, F.R., Novak, B., Tyson, J.J.: Integrative analysis of cell cycle control in budding yeast. Mol. Biol. Cell.\u00a015(8), 3841\u20133862 (2004)","journal-title":"Mol. Biol. Cell."},{"issue":"1","key":"8_CR3","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 modelling: Delta-notch protein signalling. IET Syst. Biol.\u00a01(1), 170\u2013183 (2004)","journal-title":"IET Syst. Biol."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.S.: Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 417\u2013431. Springer, Heidelberg (2004)"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1049\/iet-syb:20070001","volume":"2","author":"P. Ye","year":"2008","unstructured":"Ye, P., Entcheva, E., Smolka, S.A., Grosu, R.: Modelling excitable cells using cycle-linear hybrid automata. IET Syst. Biol.\u00a02(1), 24\u201332 (2008)","journal-title":"IET Syst. Biol."},{"issue":"1930","key":"8_CR6","doi-asserted-by":"publisher","first-page":"4893","DOI":"10.1098\/rsta.2010.0237","volume":"368","author":"K. Aihara","year":"2010","unstructured":"Aihara, K., Suzuki, H.: Theory of hybrid dynamical systems and its applications to biological and medical systems. Phil. Trans. R. Soc. A\u00a0368(1930), 4893\u20134914 (2010)","journal-title":"Phil. Trans. R. Soc. A"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-36481-1_6","volume-title":"Computational Methods in Systems Biology","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/978-3-540-24743-2_44","volume-title":"Hybrid Systems: Computation and Control","author":"P. Lincoln","year":"2004","unstructured":"Lincoln, P., Tiwari, A.: Symbolic systems biology: Hybrid modeling and analysis of biological networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 660\u2013672. Springer, Heidelberg (2004)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Baldazzi, V., Monteiro, P.T., Page, M., Ropers, D., Geiselmann, J., Jong, H.D.: Qualitative analysis of genetic regulatory networks in bacteria. In: Understanding the Dynamics of Biological Systems, pp. 111\u2013130. Springer (2011)","DOI":"10.1007\/978-1-4419-7964-3_6"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"5029","DOI":"10.1098\/rsta.2010.0221","volume":"368","author":"G. Tanaka","year":"2010","unstructured":"Tanaka, G., Hirata, Y., Goldenberg, S.L., Bruchovsky, N., Aihara, K.: Mathematical modelling of prostate cancer growth and its application to hormone therapy. Phil. Trans. R. Soc. A\u00a0368, 5029\u20135044 (2010)","journal-title":"Phil. Trans. R. Soc. A"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Gao, S., Avigad, J., Clarke, E.M.: Delta-complete decision procedures for satisfiability over the reals. In: IJCAR, pp. 286\u2013300 (2012)","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Gao, S., Avigad, J., Clarke, E.M.: Delta-decidability over the reals. In: LICS, pp. 305\u2013314 (2012)","DOI":"10.1109\/LICS.2012.41"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without bDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1063\/1.166311","volume":"8","author":"F. Fenton","year":"1998","unstructured":"Fenton, F., Karma, A.: Vortex dynamics in 3D continuous myocardium with fiber rotation: filament instability and fibrillation. Chaos\u00a08, 20\u201347 (1998)","journal-title":"Chaos"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"544","DOI":"10.1016\/j.jtbi.2008.03.029","volume":"253","author":"A. Bueno-Orovio","year":"2008","unstructured":"Bueno-Orovio, A., Cherry, E.M., Fenton, F.H.: Minimal model for human ventricular action potentials in tissue. J. Theor. Biol.\u00a0253, 544\u2013560 (2008)","journal-title":"J. Theor. Biol."},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 167\u2013170. Springer, Heidelberg (2010)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Annpureddy","year":"2011","unstructured":"Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-taLiRo: A tool for temporal logic falsification for hybrid systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol.\u00a06605, pp. 254\u2013257. Springer, Heidelberg (2011)"},{"key":"8_CR20","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-540-68894-5_12","volume-title":"Formal Methods for Computational Systems Biology","author":"L. Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Hybrid systems and biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 424\u2013448. Springer, Heidelberg (2008)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-38874-3_3","volume-title":"Formal Methods for Dynamical Systems","author":"L. Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., \u0160afr\u00e1nek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol.\u00a07938, pp. 63\u2013112. Springer, Heidelberg (2013)"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","author":"G. Batt","year":"2008","unstructured":"Batt, G., Belta, C., Weiss, R.: Temporal logic analysis of gene networks under parameter uncertainty. IEEE T. Automat. Contr.\u00a053, 215\u2013229 (2008)","journal-title":"IEEE T. Automat. Contr."},{"issue":"3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: Application to systems biology. J. Comput. Biol.\u00a017(3), 325\u2013336 (2010)","journal-title":"J. Comput. Biol."},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-40708-6_10","volume-title":"Computational Methods in Systems Biology","author":"S.K. Palaniappan","year":"2013","unstructured":"Palaniappan, S.K., Gyori, B.M., Liu, B., Hsu, D., Thiagarajan, P.S.: Statistical model checking based calibration and analysis of bio-pathway models. In: Gupta, A., Henzinger, T.A. (eds.) CMSB 2013. LNCS, vol.\u00a08130, pp. 120\u2013134. Springer, Heidelberg (2013)"},{"key":"8_CR26","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006)"},{"key":"8_CR27","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R. Donaldson","year":"2008","unstructured":"Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1016\/j.nahs.2007.11.009","volume":"2","author":"K. Koutroumpas","year":"2008","unstructured":"Koutroumpas, K., Cinquemani, E., Kouretas, P., Lygeros, J.: Parameter identification for stochastic hybrid systems using randomized optimization: A case study on subtilin production by Bacillus subtilis. Nonlinear Anal.-Hybrid Syst.\u00a02, 786\u2013802 (2008)","journal-title":"Nonlinear Anal.-Hybrid Syst."},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/TAC.2007.911327","volume":"53","author":"E. Cinquemani","year":"2008","unstructured":"Cinquemani, E., Porreca, R., Ferrari-Trecate, G., Lygeros, J.: Subtilin production by Bacillus subtilis: Stochastic hybrid models and parameter identification. IEEE Trans. Automat. Contr.\u00a053, 38\u201350 (2008)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Gao, S., Kong, S., Clarke, E.M.: Satisfiability modulo ODEs. In: FMCAD, pp. 105\u2013112 (2013)","DOI":"10.1109\/FMCAD.2013.6679398"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38574-2_14","volume-title":"Automated Deduction \u2013 CADE-24","author":"S. Gao","year":"2013","unstructured":"Gao, S., Kong, S., Clarke, E.M.: dReal: An SMT solver for nonlinear theories over the reals. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol.\u00a07898, pp. 208\u2013214. Springer, Heidelberg (2013)"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1161\/01.CIR.93.1.168","volume":"93","author":"M. Nabauer","year":"1996","unstructured":"Nabauer, M., Beuckelmann, D.J., Uberfuhr, P., Steinbeck, G.: Regional differences in current density and rate-dependent properties of the transient outward current in subepicardial and subendocardial myocytes of human left ventricle. Circulation\u00a093, 169\u2013177 (1996)","journal-title":"Circulation"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"R. Grosu","year":"2011","unstructured":"Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1186\/1752-0509-4-92","volume":"4","author":"C. Li","year":"2010","unstructured":"Li, C., Donizelli, M., Rodriguez, N., Dharuri, H., Endler, L., Chelliah, V., Li, L., He, E., Henry, A., Stefan, M.I., Snoep, J.L., Hucka, M., Novere, N.L., Laibe, C.: BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. BMC Sys. Biol.\u00a04, 92 (2010)","journal-title":"BMC Sys. Biol."},{"issue":"3","key":"8_CR35","first-page":"389","volume":"3","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional petri net. In Silico Biol.\u00a03(3), 389\u2013404 (2003)","journal-title":"In Silico Biol."},{"key":"8_CR36","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II (2014), Ptolemy.org"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable Analysis: An Introduction. Springer (2000)","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12982-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:39:29Z","timestamp":1746427169000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}