{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:10Z","timestamp":1742913670500,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031163357"},{"type":"electronic","value":"9783031163364"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16336-4_9","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"173-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Algorithm for\u00a0the\u00a0Formal Reduction of\u00a0Differential Equations as\u00a0Over-Approximations"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Squillace","sequence":"first","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,11]]},"reference":[{"key":"9_CR1","unstructured":"Althoff, M., Kochdumper, N.: CORA 2016 manual. TU Munich 85748 (2016)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: HSCC (2003)","DOI":"10.1007\/3-540-36580-X_5"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Gast, N.: Mean field approximation of uncertain stochastic models. In: DSN, pp. 287\u2013298 (2016)","DOI":"10.1109\/DSN.2016.34"},{"issue":"15","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2175","DOI":"10.1093\/bioinformatics\/btab081","volume":"37","author":"L Cardelli","year":"2021","unstructured":"Cardelli, L., et al.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics 37(15), 2175\u20132182 (2021)","journal-title":"Bioinformatics"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: CONCUR, pp. 226\u2013239 (2015)","DOI":"10.1145\/2933575.2935318"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL, pp. 137\u2013150 (2016)","DOI":"10.1145\/2914770.2837649"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: TACAS (2017)","DOI":"10.1007\/978-3-662-54580-5_19"},{"issue":"38","key":"9_CR8","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":"9_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Guaranteed error bounds on approximate model abstractions through reachability analysis. In: QEST, pp. 104\u2013121 (2018)","DOI":"10.1007\/978-3-319-99154-2_7"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: CAV, pp. 258\u2013263 (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-2-78","volume":"2","author":"H Conzelmann","year":"2008","unstructured":"Conzelmann, H., Fey, D., Gilles, E.D.: Exact model reduction of combinatorial reaction networks. BMC Syst. Biol. 2(1), 1\u201325 (2008)","journal-title":"BMC Syst. Biol."},{"key":"9_CR12","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":"16","key":"9_CR13","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. 106(16), 6453\u20136458 (2009)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"9_CR14","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulations for nonlinear dynamical systems. In: IEEE Conference on Decision and Control and European Control Conference (2005)"},{"issue":"1","key":"9_CR15","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":"772","key":"9_CR16","first-page":"700","volume":"115","author":"WO Kermack","year":"1927","unstructured":"Kermack, W.O., McKendrick, A.G.: A contribution to the mathematical theory of epidemics. Proc. R. Soc. London. Ser. A Contain. Papers. Math. Phys. Character. 115(772), 700\u2013721 (1927)","journal-title":"Proc. R. Soc. London. Ser. A Contain. Papers. Math. Phys. Character."},{"issue":"1","key":"9_CR17","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. Indus. Eng. Chem. Fundam. 8(1), 124\u2013133 (1969)","journal-title":"Indus. Eng. Chem. Fundam."},{"issue":"4","key":"9_CR18","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":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-319-19249-9_23","volume-title":"FM 2015: Formal Methods","author":"J Liu","year":"2015","unstructured":"Liu, J., Zhan, N., Zhao, H., Zou, L.: Abstraction of elementary hybrid systems by variable transformation. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 360\u2013377. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_23"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Zamani, M.: Approximately bisimilar symbolic models for digital control systems. In: CAV, pp. 362\u2013377 (2012)","DOI":"10.1007\/978-3-642-31424-7_28"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/BF01475477","volume":"26","author":"M M\u00fcller","year":"1927","unstructured":"M\u00fcller, M.: \u00dcber das Fundamentaltheorem in der Theorie der gew\u00f6hnlichen Differentialgleichungen. Mathematische Zeitschrift 26, 619\u2013645 (1927)","journal-title":"Mathematische Zeitschrift"},{"issue":"2","key":"9_CR22","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1006\/jcat.1995.1304","volume":"157","author":"T Narbeshuber","year":"1995","unstructured":"Narbeshuber, T., Vinek, H., Lercher, J.: Monomolecular conversion of light alkanes over H-ZSM-5. J. Catal. 157(2), 388\u2013395 (1995)","journal-title":"J. Catal."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Ramdani, N., Meslem, N., Candau, Y.: Reachability of uncertain nonlinear systems using a nonlinear hybridization. In: HSCC, pp. 415\u2013428 (2008)","DOI":"10.1007\/978-3-540-78929-1_30"},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.nahs.2009.10.002","volume":"4","author":"N Ramdani","year":"2010","unstructured":"Ramdani, N., Meslem, N., Candau, Y.: Computing reachable sets for uncertain nonlinear monotone systems. Nonlinear Anal. Hybrid Syst. 4(2), 263\u2013278 (2010)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"2","key":"9_CR25","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."},{"issue":"1","key":"9_CR26","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.automatica.2012.09.020","volume":"49","author":"JK Scott","year":"2013","unstructured":"Scott, J.K., Barton, P.I.: Bounds on the reachable sets of nonlinear control systems. Automatica 49(1), 93\u2013100 (2013)","journal-title":"Automatica"},{"issue":"4","key":"9_CR27","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1109\/TAC.2015.2457172","volume":"61","author":"M Tschaikowski","year":"2016","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Trans. Autom. Contr. 61(4), 1099\u20131104 (2016)","journal-title":"IEEE Trans. Autom. Contr."},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-662-44562-4_7","volume-title":"Analysis of Kinetic Reaction Mechanisms","author":"T Tur\u00e1nyi","year":"2014","unstructured":"Tur\u00e1nyi, T., Tomlin, A.S.: Reduction of reaction mechanisms. In: Analysis of Kinetic Reaction Mechanisms, pp. 183\u2013312. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44562-4_7"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1155\/2013\/897658","volume":"2013","author":"EO Voit","year":"2013","unstructured":"Voit, E.O.: Biochemical systems theory: a review. ISRN Biomath. 2013, 53 (2013)","journal-title":"ISRN Biomath."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16336-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:04:17Z","timestamp":1662833057000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}