{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T21:31:17Z","timestamp":1779139877295,"version":"3.51.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319991535","type":"print"},{"value":"9783319991542","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_7","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T18:14:35Z","timestamp":1534270475000},"page":"104-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-21690-4_12","volume-title":"Computer Aided Verification","author":"A Abate","year":"2015","unstructured":"Abate, A., Brim, L., \u010ce\u0161ka, M., Kwiatkowska, M.: Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 195\u2013213. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_12"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: HSCC, pp. 173\u2013182 (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"7_CR3","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"e1002750","DOI":"10.1371\/journal.pgen.1002750","volume":"8","author":"J Arand","year":"2012","unstructured":"Arand, J.: In vivo control of CpG and non-CpG DNA methylation by DNA methyltransferases. PLoS Genet. 8(6), e1002750 (2012)","journal-title":"PLoS Genet."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-36580-X_5","volume-title":"Hybrid Systems: Computation and Control","author":"E Asarin","year":"2003","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 20\u201335. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36580-X_5"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Benvenuti, L., et al.: Reachability computation for hybrid systems with Ariadne. In: Proceedings of the 17th IFAC World Congress, vol. 41, no. 2, pp. 8960\u20138965 (2008)","DOI":"10.3182\/20080706-5-KR-1001.01513"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-642-31424-7_35","volume-title":"Computer Aided Verification","author":"S Bogomolov","year":"2012","unstructured":"Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., Podelski, A., Wehrle, M.: A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 479\u2013494. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_35"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-662-54458-7_5","volume-title":"Foundations of Software Science and Computation Structures","author":"M Boreale","year":"2017","unstructured":"Boreale, M.: Algebra, coalgebra, and minimization in polynomial differential equations. In: Esparza, J., Murawski, A.S. (eds.) FoSSaCS 2017. LNCS, vol. 10203, pp. 71\u201387. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54458-7_5"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-48224-5_35","volume-title":"Automata, Languages and Programming","author":"F Breugel van","year":"2001","unstructured":"van Breugel, F., Worrell, J.: Towards quantitative verification of probabilistic transition systems. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 421\u2013432. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-48224-5_35"},{"issue":"38","key":"7_CR10","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL (2016)","DOI":"10.1145\/2837614.2837649"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoret. Comput. Sci. 325(1), 69\u2013110 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174\u2013189. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71493-4_16"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: EMSOFT, pp. 26:1\u201326:10. IEEE Press (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"23","key":"7_CR16","doi-asserted-by":"publisher","first-page":"7907","DOI":"10.1073\/pnas.0707563105","volume":"105","author":"E Weinan","year":"2008","unstructured":"Weinan, E., Li, T., Vanden-Eijnden, E.: Optimal partition and effective dynamics of complex networks. PNAS 105(23), 7907\u20137912 (2008)","journal-title":"PNAS"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-319-41528-4_29","volume-title":"Computer Aided Verification","author":"C Fan","year":"2016","unstructured":"Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis for nonlinear hybrid models with C2E2. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 531\u2013538. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_29"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Girard, A., Pappas, G.: Approximate bisimulations for nonlinear dynamical systems. In: IEEE Conference on Decision and Control and European Control Conference (2005)","DOI":"10.1109\/CDC.2005.1582235"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Iacobelli, G., Tribastone, M.: Lumpability of fluid models with heterogeneous agent types. In: DSN (2013)","DOI":"10.1109\/DSN.2013.6575346"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.tcs.2014.03.018","volume":"599","author":"MA Islam","year":"2015","unstructured":"Islam, M.A., et al.: Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599, 34\u201346 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/imammb\/6.1.1-a","volume":"6","author":"Y Iwasa","year":"1989","unstructured":"Iwasa, Y., Levin, S.A., Andreasen, V.: Aggregation in model ecosystems II. Approximate aggregation. Math. Med. Biol. 6(1), 1\u201323 (1989)","journal-title":"Math. Med. Biol."},{"issue":"5","key":"7_CR22","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0041-5553(80)90098-1","volume":"20","author":"M Kozlov","year":"1980","unstructured":"Kozlov, M., Tarasov, S., Khachiyan, L.: The polynomial solvability of convex quadratic programming. USSR Comput. Math. Math. Phys. 20(5), 223\u2013228 (1980)","journal-title":"USSR Comput. Math. Math. Phys."},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1021\/i160029a020","volume":"8","author":"JCW Kuo","year":"1969","unstructured":"Kuo, J.C.W., Wei, J.: Lumping analysis in monomolecular reaction systems. Analysis of approximately lumpable system. Ind. Eng. Chem. Fund. 8(1), 124\u2013133 (1969)","journal-title":"Ind. Eng. Chem. Fund."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Lal, R., Prabhakar, P.: Bounded error flowpipe computation of parameterized linear systems. In: EMSOFT, pp. 237\u2013246 (2015)","DOI":"10.1109\/EMSOFT.2015.7318279"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"issue":"4","key":"7_CR26","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1016\/0009-2509(90)85020-E","volume":"45","author":"G Li","year":"1990","unstructured":"Li, G., Rabitz, H.: A general analysis of approximate lumping in chemical kinetics. Chem. Eng. Sci. 45(4), 977\u20131002 (1990)","journal-title":"Chem. Eng. Sci."},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-31424-7_28","volume-title":"Computer Aided Verification","author":"R Majumdar","year":"2012","unstructured":"Majumdar, R., Zamani, M.: Approximately bisimilar symbolic models for digital control systems. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 362\u2013377. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_28"},{"key":"7_CR28","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","volume":"1","author":"M Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. J. Satisfiability Boolean Model. Comput. 1, 209\u2013236 (2007)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF00120662","volume":"1","author":"PM Pardalos","year":"1991","unstructured":"Pardalos, P.M., Vavasis, S.A.: Quadratic programming with one negative eigenvalue is NP-hard. J. Global Optim. 1(1), 15\u201322 (1991)","journal-title":"J. Global Optim."},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-11712-1_3","volume-title":"Transactions on Computational Systems Biology XII","author":"M Pedersen","year":"2010","unstructured":"Pedersen, M., Plotkin, G.D.: A language for biochemical systems: design and formal specification. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 77\u2013145. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11712-1_3 . IEEE\/ACM"},{"issue":"2","key":"7_CR31","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/TVLSI.2007.893576","volume":"15","author":"J Rosenfeld","year":"2007","unstructured":"Rosenfeld, J., Friedman, E.G.: Design methodology for global resonant H-Tree clock distribution networks. IEEE Trans. VLSI Syst. 15(2), 135\u2013148 (2007)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"7_CR32","series-title":"Mathematical Engineering","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-15956-5_1","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"NS Nedialkov","year":"2011","unstructured":"Nedialkov, N.S.: Implementing a rigorous ODE solver through literate programming. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties. Mathematical Engineering, vol. 3, pp. 3\u201319. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-15956-5_1"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.08.016","volume":"517","author":"M Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517, 1\u201333 (2014)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogeneous nonlinear models with differential hulls. In: IEEE TAC (2016)","DOI":"10.1109\/TAC.2015.2457172"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99154-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T19:49:57Z","timestamp":1604778597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}