{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:44:06Z","timestamp":1763642646448,"version":"3.40.3"},"publisher-location":"Cham","reference-count":102,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030172961"},{"type":"electronic","value":"9783030172978"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17297-8_6","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T13:04:12Z","timestamp":1560258252000},"page":"157-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Set-Based Analysis for Biological Modeling"],"prefix":"10.1007","author":[{"given":"Thao","family":"Dang","sequence":"first","affiliation":[]},{"given":"Tommaso","family":"Dreossi","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Fanchon","sequence":"additional","affiliation":[]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Rocca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69512-4","volume-title":"Differential inclusions: set-valued maps and viability theory","author":"J-P Aubin","year":"1984","unstructured":"Aubin J-P, Cellina A (1984) Differential inclusions: set-valued maps and viability theory. Springer, Heidelberg"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho PH, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138(1):3\u201334","journal-title":"Theor Comput Sci"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1016\/j.jcrc.2014.03.018","volume":"29","author":"J-M Aerts","year":"2014","unstructured":"Aerts J-M, Haddad WM, An G, Vodovotz Y (2014) From data patterns to mechanistic models in acute critical illness. J Critical Care 29(4):604\u2013610","journal-title":"J Critical Care"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E Asarin","year":"1995","unstructured":"Asarin E, Maler O, Pnueli A (1995) Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor Comput Sci 138:35\u201365","journal-title":"Theor Comput Sci"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Aihara K, Suzuki H (2010) Theory of hybrid dynamical systems and its applications to biological and medical systems","DOI":"10.1098\/rsta.2010.0237"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Althoff M, Stursberg O, Buss M (2008) Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: 47th IEEE conference on decision and control, 2008. CDC 2008. IEEE, pp 4042\u20134048","DOI":"10.1109\/CDC.2008.4738704"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-45351-2_11","volume-title":"Hybrid Systems: Computation and Control","author":"Eugene Asarin","year":"2001","unstructured":"Asarin E, Schneider G, Yovine S (2001) On the decidability of the reachability problem for planar differential inclusions. In: Domenica M, Benedetto D, Sangiovanni-Vincentelli A (eds) Hybrid systems: computation and control. Springer, Berlin (2001), pp 89\u2013104"},{"key":"6_CR9","series-title":"Dover books on computer science series","volume-title":"Nonlinear programming: analysis and methods","author":"M Avriel","year":"2003","unstructured":"Avriel M (2003) Nonlinear programming: analysis and methods. Dover books on computer science series. Dover Publications, New York"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Anai H, Weispfenning V (2001) Reach set computations using real quantifier elimination. In: HSCC","DOI":"10.1007\/3-540-45351-2_9"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-115-8","volume-title":"A Short History of Mathematical Population Dynamics","author":"Nicolas Baca\u00ebr","year":"2011","unstructured":"Baca\u00ebr N (2011) A short history of mathematical population dynamics. Springer, Berlin"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1186\/1752-0509-2-47","volume":"2","author":"JR Banga","year":"2008","unstructured":"Banga JR (2008) Optimization in computational systems biology. BMC Systems Biology 2(1):47","journal-title":"BMC Systems Biology"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Batt G, Belta C, Weiss R (2007) Model checking genetic regulatory networks with parameter uncertainty. In: HSCC, vol 7. Springer, Berlin, pp 61\u201375","DOI":"10.1007\/978-3-540-71493-4_8"},{"issue":"Special Issue","key":"6_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","author":"Gr\u00c9gory Batt","year":"2008","unstructured":"Batt G, Belta C, Weiss R (2008) Temporal logic analysis of gene networks under parameter uncertainty. IEEE Trans Autom Control 53(Special Issue):215\u2013229","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"21","key":"6_CR15","doi-asserted-by":"publisher","first-page":"3357","DOI":"10.1093\/bioinformatics\/btw411","volume":"32","author":"Eva Balsa-Canto","year":"2016","unstructured":"Balsa-Canto E, Henriques D, G\u00e1bor A, Banga JR (2016) Amigo2, a toolbox for dynamic modeling, optimization and control in systems biology. Bioinformatics 32(21):3357\u20133359","journal-title":"Bioinformatics"},{"key":"6_CR16","first-page":"63","volume-title":"Lecture Notes in Computer Science","author":"Lubo\u0161 Brim","year":"2013","unstructured":"Brim L, \u010ce\u0161ka M, \u0160afr\u00e1nek D (2013) Model checking of biological systems. In: Formal Methods for Dynamical Systems. Springer, Berlin, pp 63\u2013112"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Bernot G, Comet J-P, Snoussi EH (2014) Formal methods applied to gene network modelling","DOI":"10.1002\/9781119005223.ch7"},{"key":"6_CR18","unstructured":"Brim L, Fabrikov\u00e1 J, Drazan S, Safranek D (2011) Reachability in biochemical dynamical systems by quantitative discrete approximation. arXiv:1107.5924"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Berman S, Hal\u00e1sz A, Kumar V (2007) Marco: a reachability algorithm for multi-affine systems with applications to biological systems. In: International workshop on hybrid systems: computation and control. Springer, Berlin, pp 76\u201389","DOI":"10.1007\/978-3-540-71493-4_9"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"Ezio Bartocci","year":"2016","unstructured":"Bartocci Ezio, Li\u00f3 Pietro (2016) Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol 12(1):e1004591","journal-title":"PLoS Comput Biol"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11558958_8","volume-title":"Applied Parallel Computing. State of the Art in Scientific Computing","author":"Martin Berz","year":"2006","unstructured":"Berz M, Makino K (2006) Performance of taylor model methods for validated integration of odes. In: Dongarra J, Madsen K, Wa\u015bniewski J (eds) Applied parallel computing. State of the art in scientific computing. Springer, Heidelberg, pp 65\u201373"},{"key":"6_CR22","unstructured":"Branicky MS (1995) Studies in hybrid systems: Modeling, analysis, and control. Technical report, Massachusetts Inst Of Tech Cambridge Lab For Information And Decision Systems"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Ben-Tal A, Nemirovski A (2001) Lectures on modern convex optimization: analysis, algorithms, and engineering applications, vol 2. Siam","DOI":"10.1137\/1.9780898718829"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Chen X, \u00c1brah\u00e1m E, Sankaranarayanan S (2013) Flow*: an analyzer for non-linear hybrid systems. In: Computer aided verification - 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13\u201319, 2013. Proceedings, pp 258\u2013263","DOI":"10.1007\/978-3-642-39799-8_18"},{"issue":"17","key":"6_CR25","doi-asserted-by":"publisher","first-page":"2725","DOI":"10.1016\/j.febslet.2013.06.009","volume":"587","author":"Athel Cornish-Bowden","year":"2013","unstructured":"Cornish-Bowden A (2013) The origins of enzyme kinetics. FEBS Lett 587(17):2725\u20132730. A century of Michaelis\u2014Menten kinetics","journal-title":"FEBS Letters"},{"issue":"7","key":"6_CR26","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1016\/j.tree.2010.04.001","volume":"25","author":"Katalin Csill\u00e9ry","year":"2010","unstructured":"Csill\u00e9ry K, Blum MGB, Gaggiotti OE, Fran\u00e7ois O (2010) Approximate bayesian computation (abc) in practice. Trends Ecol Evol 25(7):410\u2013418","journal-title":"Trends in Ecology & Evolution"},{"issue":"5","key":"6_CR27","doi-asserted-by":"publisher","first-page":"20140042","DOI":"10.1098\/rsfs.2014.0042","volume":"4","author":"M Csete","year":"2014","unstructured":"Csete M, Doyle J (2014) The mathematician\u2019s control toolbox for management of type 1 diabetes. Interface Focus 4(5):20140042","journal-title":"Interface Focus"},{"issue":"14","key":"6_CR28","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone L, Fages F, Soliman S (2006) Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805\u20131807","journal-title":"Bioinformatics"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Carrillo M, G\u00f3ngora PA, Rosenblueth DA (2012) An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front Plant Sci 3","DOI":"10.3389\/fpls.2012.00155"},{"issue":"12","key":"6_CR30","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1177\/0037549703040939","volume":"79","author":"Autumn A. Cuellar","year":"2003","unstructured":"Cuellar AA, Lloyd CM, Nielsen PE, Bullivant DP, Nickerson DP, Hunter PJ (2003) An overview of cellml 1.1, a biological model description language. SIMULATION: Trans Soc Model Simul Int 79(12):740\u2013747","journal-title":"SIMULATION"},{"issue":"23","key":"6_CR31","doi-asserted-by":"publisher","first-page":"5792","DOI":"10.1073\/pnas.1610622114","volume":"114","author":"S Collombet","year":"2017","unstructured":"Collombet S, van Oevelen C, Ortega JLS, Abou-Jaoud\u00e9 W, Di Stefano B, Thomas-Chollier M, Graf T, Thieffry D (2017) Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proc Natl Acad Sci 114(23):5792\u20135799","journal-title":"Proc Natl Acad Sci"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Dreossi T, Dang T (2014) Parameter synthesis for polynomial biological models. In: Proceedings of the 17th international conference on hybrid systems: computation and control. ACM, pp 233\u2013242","DOI":"10.1145\/2562059.2562123"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-27656-4_4","volume-title":"Hybrid Systems Biology","author":"Thao Dang","year":"2015","unstructured":"Dang T, Dreossi T, Piazza C (2014) Parameter synthesis using parallelotopic enclosure and applications to epidemic models. In: International workshop on hybrid systems biology. Springer, Berlin, pp 67\u201382"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-19249-9_14","volume-title":"FM 2015: Formal Methods","author":"Thao Dang","year":"2015","unstructured":"Dang T, Dreossi T, Piazza C (2015) Parameter synthesis through temporal logic specifications. In: FM 2015: formal methods - 20th international symposium, Oslo, Norway, June 24\u201326, 2015, Proceedings (2015), pp 213\u2013230"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Dreossi T, Dang T, Piazza C (2016) Parallelotope bundles for polynomial reachability. In: Proceedings of the 19th international conference on hybrid systems: computation and control. ACM, pp 297\u2013306","DOI":"10.1145\/2883817.2883838"},{"issue":"Special Issue","key":"6_CR36","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/TAC.2007.911326","volume":"53","author":"Samuel Drulhe","year":"2008","unstructured":"Drulhe S, Ferrari-Trecate G, De\u00a0Jong H (2008) The switching threshold reconstruction problem for piecewise-affine models of genetic regulatory networks. IEEE Trans Autom Control 53(Special Issue):153\u2013165","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"21","key":"6_CR37","doi-asserted-by":"publisher","first-page":"2095","DOI":"10.1016\/j.tcs.2011.01.014","volume":"412","author":"T Dang","year":"2011","unstructured":"Dang T, Le Guernic C, Maler O (2011) Computing reachable states for nonlinear biological models. Theor Comput Sci 412(21):2095\u20132107","journal-title":"Theor Comput Sci"},{"key":"6_CR38","first-page":"92","volume-title":"Lecture Notes in Computer Science","author":"Alexandre Donz\u00e9","year":"2010","unstructured":"Donz\u00e9 A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. In: Formal modeling and analysis of timed systems - 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8\u201310, 2010. Proceedings, pp 92\u2013106"},{"issue":"6188","key":"6_CR39","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"S-J Dunn","year":"2014","unstructured":"Dunn S-J, Martello G, Yordanov B, Emmott S, Smith AG (2014) Defining an essential transcription factor program for na\u00efve pluripotency. Science 344(6188):1156\u20131160","journal-title":"Science"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"Alexandre Donz\u00e9","year":"2010","unstructured":"Donz\u00e9 A (2010) Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: CAV, vol 10. Springer, Berlin, pp 167\u2013170"},{"key":"6_CR41","unstructured":"Dreossi T (2016) Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems. PhD thesis, Universit\u00e0 degli Studi di Udine"},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Dreossi T (2017) Sapo: Reachability computation and parameter synthesis of polynomial dynamical systems. In: Proceedings of the 20th international conference on hybrid systems: computation and control. ACM, pp 29\u201334","DOI":"10.1145\/3049797.3049824"},{"key":"6_CR43","unstructured":"Dantzig GB, Thapa MN (2006) Linear programming 2: theory and extensions. Springer Science & Business Media, Berlin"},{"issue":"1","key":"6_CR44","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages F, Soliman S (2008) Abstract interpretation and types for systems biology. Theor Comput Sci 403(1):52\u201370","journal-title":"Theor Comput Sci"},{"issue":"6","key":"6_CR45","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1101\/gr.6339607","volume":"17","author":"M. B. Gerstein","year":"2007","unstructured":"Gerstein MB, Bruce C, Rozowsky JS, Zheng D, Jiang D, Korbel JO, Emanuelsson O, Zhang ZD, Weissman S, Snyder M (2007) What is a gene, post-encode? History and updated definition. Genome Res 17(6):669\u2013681","journal-title":"Genome Research"},{"issue":"2","key":"6_CR46","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2008.931718","volume":"29","author":"R Goebel","year":"2009","unstructured":"Goebel R, Sanfelice RG, Teel AR (2009) Hybrid dynamical systems. IEEE Control Syst 29(2):28\u201393","journal-title":"IEEE Control Syst"},{"issue":"2","key":"6_CR47","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1049\/iet-syb.2009.0030","volume":"4","author":"J. Hasenauer","year":"2010","unstructured":"Hasenauer J, Waldherr S, Wagner K, Allg\u00f6wer F (2010) Parameter identification, experimental design and model falsification for biological network models using semidefinite programming. IET Syst Biology 4(2):119\u2013130","journal-title":"IET Systems Biology"},{"key":"6_CR48","unstructured":"Henri V (1903) Lois G\u00e9n\u00e9rales de l\u2019Action des Diastases. Th\u00e9se de Sciences Naturelles, Paris (\u00e9d. Hermann)"},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"TA Henzinger","year":"1995","unstructured":"Henzinger TA, Kopke PW, Puri Aj, Varaiya P (1995) What\u2019s decidable about hybrid automata? J Comput Syst Sci 57:94\u2013124","journal-title":"J Comput Syst Sci"},{"issue":"4","key":"6_CR50","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 HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr J-H, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Nov\u00e8re N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J (2003) The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524\u2013531","journal-title":"Bioinformatics"},{"issue":"4\/5","key":"6_CR51","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1504\/IJBRA.2014.062998","volume":"10","author":"Faraz Hussain","year":"2014","unstructured":"Hussain F, Jha SK, Jha S, Langmead CJ (2014) Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int J Bioinform Res Appl 2 10(4\u20135):519\u2013539","journal-title":"International Journal of Bioinformatics Research and Applications"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Izhikevich EM (2010) Hybrid spiking models. Philos Trans R Soc Lond A: Math, Phys Eng Sci 368(1930):5061\u20135070","DOI":"10.1098\/rsta.2010.0130"},{"key":"6_CR53","doi-asserted-by":"crossref","unstructured":"Karmarkar N (1984) A new polynomial-time algorithm for linear programming. In: STOC. ACM, pp 302\u2013311","DOI":"10.1145\/800057.808695"},{"issue":"3","key":"6_CR54","first-page":"786","volume":"2","author":"K Koutroumpas","year":"2008","unstructured":"Koutroumpas K, Cinquemani E, Kouretas P, Lygeros J (2008) Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by bacillus subtilis. Nonlinear Anal: Hybrid Syst 2(3):786\u2013802","journal-title":"Nonlinear Anal: Hybrid Syst"},{"key":"6_CR55","doi-asserted-by":"crossref","unstructured":"Kong S, Gao S, Chen W, Clarke E (2015) dreach: $$\\delta $$ -reachability analysis for hybrid systems. In: Baier C, Tinelli C (eds) Tools and algorithms for the construction and analysis of systems. Springer, Heidelberg, pp 200\u2013205","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"6_CR56","unstructured":"Kermack WO, McKendrick AG (1927) A contribution to the mathematical theory of epidemics. In: Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol 115. The Royal Society, pp 700\u2013721"},{"issue":"3","key":"6_CR57","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1093\/bioinformatics\/btg409","volume":"20","author":"T. R. Kiehl","year":"2004","unstructured":"Kiehl TR, Mattheyses RM, Simmons MK (2004) Hybrid simulation of cellular behavior. Bioinformatics 20(3):316\u2013322","journal-title":"Bioinformatics"},{"issue":"1","key":"6_CR58","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF02807438","volume":"12","author":"J-L Krivine","year":"1964","unstructured":"Krivine J-L (1964) Anneaux pr\u00e9ordonn\u00e9s. Journal d\u2019analyse math\u00e9matique 12(1):307\u2013326","journal-title":"Journal d\u2019analyse math\u00e9matique"},{"key":"6_CR59","doi-asserted-by":"crossref","unstructured":"Lygeros J, Johansson KH, Sastry S, Egerstedt M (1999) On the existence of executions of hybrid automata. In: Proceedings of the 38th IEEE conference on decision and control, 1999, vol 3, IEEE, pp 2249\u20132254","DOI":"10.1109\/CDC.1999.831255"},{"key":"6_CR60","unstructured":"Lafferriere G, Pappas GJ, Yovine S (1998) Reachability computation for linear hybrid systems. In: Proceedings of the 14th IFAC world congress, vol E. Elsevier Science Ltd, Amsterdam, pp 7\u201312"},{"key":"6_CR61","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-540-24743-2_44","volume-title":"Hybrid Systems: Computation and Control","author":"Patrick Lincoln","year":"2004","unstructured":"Lincoln P, Tiwari A (2004) Symbolic systems biology: Hybrid modeling and analysis of biological networks. In: International workshop on hybrid systems: computation and control. Springer, Berlin, pp 660\u2013672"},{"key":"6_CR62","unstructured":"Lasserre JB, Toh K-C, Yang S (2015) A bounded degree sos hierarchy for polynomial optimization. EURO J Comput Opt 1\u201331"},{"key":"6_CR63","doi-asserted-by":"crossref","unstructured":"Loohuis LO, Witzel A, Mishra B (2014) Cancer hybrid automata: Model, beliefs and therapy. Inf Comput 236:68\u201386","DOI":"10.1016\/j.ic.2014.01.013"},{"issue":"D1","key":"6_CR64","doi-asserted-by":"publisher","first-page":"D896","DOI":"10.1093\/nar\/gkw1133","volume":"45","author":"Jacqueline MacArthur","year":"2016","unstructured":"MacArthur J, Bowler E, Cerezo M, Gil L, Hall P, Hastings E, Junkins H, McMahon A, Milano A, Morales J, Pendlington ZM, Welter D, Burdett T, Hindorff L, Flicek P, Cunningham F, Parkinson H (2017) The new nhgri-ebi catalog of published genome-wide association studies (gwas catalog). Nucleic Acids Res, 45(D1):D896\u2013D901","journal-title":"Nucleic Acids Research"},{"key":"6_CR65","unstructured":"Magron V, Rocca A, Dang T (2018) Certified roundoff error bounds using bernstein expansions and sparse krivine-stengle representations. arXiv:1802.04385"},{"issue":"7265","key":"6_CR66","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1038\/nature08494","volume":"461","author":"Teri A. Manolio","year":"2009","unstructured":"Manolio TA, Collins FS, Cox NJ, Goldstein DB, Hindorff LA, Hunter DJ, McCarthy MI, Ramos EM, Cardon LR, Chakravarti A, Cho JH, Guttmacher AE, Kong A, Kruglyak L, Mardis E, Rotimi CN, Slatkin M, Valle D, Whittemore AS, Boehnke M, Clark AG, Eichler EE, Gibson G, Haines JL, Mackay TFC, McCarroll SA, Visscher PM (2009) Finding the missing heritability of complex diseases. Nature 461(7265):747\u2013753","journal-title":"Nature"},{"key":"6_CR67","unstructured":"Mobilia N (2015) M\u00e9thodologie semi-formelle pour l\u2019\u00e9tude de syst\u00e8mes biologiques: Application \u00e0 l\u2019hom\u00e9ostasie du fer. PhD thesis, Universit\u00e9 Grenoble Alpes"},{"key":"6_CR68","doi-asserted-by":"crossref","unstructured":"Mobilia N, Donz\u00e9 A, Moulis JM, Fanchon E (2012) A model of the cellular iron homeostasis network using semi-formal methods for parameter space exploration. arXiv:1208.3851","DOI":"10.4204\/EPTCS.92.4"},{"issue":"6","key":"6_CR69","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/j.semcancer.2005.06.005","volume":"15","author":"F Michor","year":"2005","unstructured":"Michor F, Iwasa Y, Lengauer C, Nowak MA (2005) Dynamics of colorectal cancer. Semin Cancer Biol 15(6):484\u2013493","journal-title":"Semin Cancer Biol"},{"key":"6_CR70","unstructured":"Michaelis L, Menten ML (1913) Die Kinetik der Invertinwirkung. Bio-chem Z 49:333\u2013369"},{"issue":"1","key":"6_CR71","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1186\/s12885-016-2164-x","volume":"16","author":"H Murphy","year":"2016","unstructured":"Murphy H, Jaafari H, Dobrovolny HM (2016) Differences in predictions of ode models of tumor growth: a cautionary example. BMC Cancer 16(1):163","journal-title":"BMC Cancer"},{"key":"6_CR72","first-page":"34","volume":"17","author":"A Narkawicz","year":"2012","unstructured":"Narkawicz A, Garloff J, Smith A, Mu\u00f1oz C (2012) Bounding the range of a rational function over a box. Reliab Comput 17:34\u201339","journal-title":"Reliab Comput"},{"key":"6_CR73","doi-asserted-by":"publisher","first-page":"88","DOI":"10.4204\/EPTCS.92.7","volume":"92","author":"Vincent Noel","year":"2012","unstructured":"No\u00ebl V, Grigoriev D, Vakulenko SA, Radulescu O (2012) Hybrid models of the cell cycle molecular machinery. In: Hybrid Systems and Biology (HSB 2012), vol 92, pp 88\u2013105","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"6_CR74","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4204\/EPTCS.125.5","volume":"125","author":"Vincent No\u00ebl","year":"2013","unstructured":"No\u00ebl V, Vakulenko S, Radulescu O (2013) A hybrid mammalian cell cycle model. EPTCS 125:68","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"2","key":"6_CR75","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"Pablo A. Parrilo","year":"2003","unstructured":"Parrilo PA (2003) Semidefinite programming relaxations for semialgebraic problems. Math Program 96(2):293\u2013320","journal-title":"Mathematical Programming"},{"issue":"10","key":"6_CR76","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1089\/cmb.2008.0109","volume":"15","author":"R Porreca","year":"2008","unstructured":"Porreca R, Drulhe S, de Jong H, Ferrari-Trecate G (2008) Structural identification of piecewise-linear models of genetic regulatory networks. J Comput Biol 15(10):1365\u20131380","journal-title":"J Comput Biol"},{"issue":"4","key":"6_CR77","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1023\/A:1008203903341","volume":"10","author":"L Porkolab","year":"1997","unstructured":"Porkolab L, Khachiyan L (1997) On the complexity of semidefinite programs. J Global Optim 10(4):351\u2013365","journal-title":"J Global Optim"},{"key":"6_CR78","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1090\/dimacs\/060\/08","volume-title":"Algorithmic and Quantitative Real Algebraic Geometry","author":"Pablo Parrilo","year":"2003","unstructured":"Parrilo PA, Sturmfels B (2003) Minimizing polynomial functions. In: Algorithmic and quantitative real algebraic geometry, DIMACS series in discrete mathematics and theoretical computer science, vol 60, pp 83\u201399"},{"key":"6_CR79","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-58179-0_46","volume-title":"Computer Aided Verification","author":"Anuj Puri","year":"1994","unstructured":"Puri A, Varaiya P (1994) Decidability of hybrid systems with rectangular differential inclusions. In: Dill DL (ed) Computer aided verification. Springer, Heidelberg, pp 95\u2013104"},{"issue":"1","key":"6_CR80","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1186\/1752-0509-4-69","volume":"4","author":"P Rumschinski","year":"2010","unstructured":"Rumschinski P, Borchers S, Bosio S, Weismantel R, Findeisen R (2010) Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks. BMC Syst Biol 4(1):69","journal-title":"BMC Syst Biol"},{"key":"6_CR81","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-47151-8_5","volume-title":"Hybrid Systems Biology","author":"Alexandre Rocca","year":"2016","unstructured":"Rocca A, Dang T, Fanchon E, Moulis J-M (2016) Application of the reachability analysis for the iron homeostasis study. In: International workshop on hybrid systems biology. Springer, Berlin, pp 67\u201384"},{"key":"6_CR82","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-540-78929-1_30","volume":"4981","author":"N Ramdani","year":"2008","unstructured":"Ramdani N, Meslem N, Candau Y (2008) Reachability of uncertain nonlinear systems using a nonlinear hybridization. Lecture Notes Comput Sci 4981:415\u2013428","journal-title":"Lecture Notes Comput Sci"},{"key":"6_CR83","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/9781119005223.ch5","volume-title":"Logical Modeling of Biological Systems","author":"Alexandre Rocca","year":"2014","unstructured":"Rocca A, Mobilia N, Fanchon E, Ribeiro T, Trilling L, Inoue K (2014) ASP for construction and validation of regulatory biological networks, Chap. 5. Wiley-Blackwell, New York, pp 167\u2013206"},{"key":"6_CR84","unstructured":"Rocca A (2018) Formal methods for modelling and validation of biological models. PhD thesis, Universit\u00e9 Grenoble Alpes"},{"key":"6_CR85","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1038\/s41586-018-0024-3","volume":"556","author":"SF Roerink","year":"2018","unstructured":"Roerink SF, Sasaki N, Lee-Six H, Young MD, Alexandrov Ludmil B, Behjati S, Mitchell TJ, Grossmann S, Lightfoot H, Egan DA, Pronk A, Smakman N, van Gorp J, Anderson E, Gamble SJ, Alder C, van de Wetering M, Campbell PJ, Stratton MR, Clevers H (2018) Intra-tumour diversification in colorectal cancer at the single-cell level. Nature 556:457\u2013462","journal-title":"Nature"},{"key":"6_CR86","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.biosystems.2016.07.005","volume":"149","author":"Christian Schilling","year":"2016","unstructured":"Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J (2016) Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems 149:15\u201325","journal-title":"Biosystems"},{"issue":"5","key":"6_CR87","doi-asserted-by":"publisher","first-page":"e1003056","DOI":"10.1371\/journal.pcbi.1003056","volume":"9","author":"S Stoma","year":"2013","unstructured":"Stoma S, Donz\u00e9 A, Bertaux F, Maler O, Batt G (2013) Stl-based analysis of trail-induced apoptosis challenges the notion of type i\/type ii cell line classification. PLoS Comput Biol 9(5):e1003056","journal-title":"PLoS Comput Biol"},{"key":"6_CR88","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/j.jtbi.2015.06.003","volume":"380","author":"M Sturrock","year":"2015","unstructured":"Sturrock M, Hao W, Schwartzbaum J, Rempala GA (2015) A mathematical model of pre-diagnostic glioma growth. J Theor Biol 380:299\u2013308","journal-title":"J Theor Biol"},{"issue":"2\u20133","key":"6_CR89","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s10898-007-9195-4","volume":"43","author":"AP Smith","year":"2009","unstructured":"Smith AP (2009) Fast construction of constant bound functions for sparse polynomials. J Global Optim 43(2\u20133):445\u2013458","journal-title":"J Global Optim"},{"key":"6_CR90","doi-asserted-by":"crossref","unstructured":"Streif S, Rumschinski P, Henrion D, Findeisen R (2013) Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. In: 2013 IEEE 52nd annual conference on decision and control (CDC). IEEE, pp 6379\u20136384","DOI":"10.1109\/CDC.2013.6760898"},{"issue":"2","key":"6_CR91","doi-asserted-by":"publisher","first-page":"e1001077","DOI":"10.1371\/journal.pcbi.1001077","volume":"7","author":"Rajat Singhania","year":"2011","unstructured":"Singhania R, Sramkoski RM, Jacobberger JW, Tyson JJ (2011) A hybrid model of mammalian cell cycle regulation. PLoS Comput Biol 7(2):e1001077","journal-title":"PLoS Computational Biology"},{"issue":"9","key":"6_CR92","doi-asserted-by":"publisher","first-page":"1290","DOI":"10.1093\/bioinformatics\/bts137","volume":"28","author":"S Streif","year":"2012","unstructured":"Streif S, Savchenko A, Rumschinski P, Borchers S, Findeisen R (2012) Admit: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling. Bioinformatics 28(9):1290\u20131291","journal-title":"Bioinformatics"},{"key":"6_CR93","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-45177-0_17","volume-title":"Computational Methods in Systems Biology","author":"Jasha Sommer-Simpson","year":"2016","unstructured":"Sommer-Simpson J, Reinitz J, Fridlyand L, Philipson L, Radulescu O (2016) Hybrid reductions of computational models of ion channels coupled to cellular biochemistry. In: International conference on computational methods in systems biology. Springer, Berlin, pp 273\u2013288"},{"issue":"2","key":"6_CR94","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF01362149","volume":"207","author":"G Stengle","year":"1974","unstructured":"Stengle G (1974) A nullstellensatz and a positivstellensatz in semialgebraic geometry. Mathematische Annalen 207(2):87\u201397","journal-title":"Mathematische Annalen"},{"key":"6_CR95","doi-asserted-by":"crossref","unstructured":"Shia V, Vasudevan R, Bajcsy R, Tedrake R (2014) Convex computation of the reachable set for controlled polynomial hybrid systems. In: 53rd IEEE Conference on decision and control. IEEE, pp 1499\u20131506","DOI":"10.1109\/CDC.2014.7039612"},{"key":"6_CR96","doi-asserted-by":"crossref","unstructured":"Testylier R, Dang T (2012) Analysis of parametric biological models with non-linear dynamics. arXiv:1208.3849","DOI":"10.4204\/EPTCS.92.2"},{"key":"6_CR97","unstructured":"Thomas R, Kaufman M (2001) Multistationarity, the basis of cell differentiation and memory. ii. logical analysis of regulatory networks in terms of feedback circuits. Chaos: Interdiscip J Nonlinear Sci 11(1):180\u2013195"},{"issue":"5","key":"6_CR98","doi-asserted-by":"publisher","first-page":"e1004915","DOI":"10.1371\/journal.pcbi.1004915","volume":"12","author":"Mark K. Transtrum","year":"2016","unstructured":"Transtrum MK, Qiu P (2016) Bridging mechanistic and phenomenological models of complex biological systems. PLoS Comput Biol 12(5)","journal-title":"PLOS Computational Biology"},{"issue":"31","key":"6_CR99","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1098\/rsif.2008.0172","volume":"6","author":"Tina Toni","year":"2009","unstructured":"Toni T, Welch D, Strelkowa N, Ipsen A, Stumpf MPH (2009) Approximate bayesian computation scheme for parameter inference and model selection in dynamical systems. J R Soc Interface 6(31):187\u2013202","journal-title":"Journal of The Royal Society Interface"},{"key":"6_CR100","doi-asserted-by":"crossref","unstructured":"Van Der\u00a0Schaft AJ, Schumacher JM (2000) An introduction to hybrid dynamical systems, vol 251. Springer, London","DOI":"10.1007\/BFb0109998"},{"issue":"2","key":"6_CR101","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.mbs.2013.03.006","volume":"246","author":"J Vanlier","year":"2013","unstructured":"Vanlier J, Tiemann CA, Hilbers PAJ, Van Riel NAW (2013) Parameter uncertainty in biochemical models described by ordinary differential equations. Math Biosci 246(2):305\u2013314","journal-title":"Math Biosci"},{"issue":"1","key":"6_CR102","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/j.apm.2011.05.059","volume":"36","author":"J Ye","year":"2012","unstructured":"Ye J, Zhang Y, Feng E, Xiu Z, Yin H (2012) Nonlinear hybrid system and parameter identification of microbial fed-batch culture with open loop glycerol input and ph logic control. Appl Math Model 36(1):357\u2013369","journal-title":"Appl Math Model"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T10:39:27Z","timestamp":1694947167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":102,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_6","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"type":"print","value":"1568-2684"},{"type":"electronic","value":"2662-2432"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}