{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,7]],"date-time":"2026-09-07T22:22:14Z","timestamp":1788819734326,"version":"build-2803163510"},"reference-count":58,"publisher":"National Academy of Sciences","issue":"38","license":[{"start":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T00:00:00Z","timestamp":1520294400000},"content-version":"vor","delay-in-days":181,"URL":"http:\/\/www.pnas.org\/site\/misc\/userlicense.xhtml"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["RP120138"],"award-info":[{"award-number":["RP120138"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.pnas.org"],"crossmark-restriction":true},"short-container-title":["Proc. Natl. Acad. Sci. U.S.A."],"published-print":{"date-parts":[[2017,9,19]]},"abstract":"<jats:title>Significance<\/jats:title>\n                  <jats:p>Large-scale dynamical models hinder our capability of effectively analyzing them and interpreting their behavior. We present an algorithm for the simplification of polynomial ordinary differential equations by aggregating their variables. The reduction can preserve observables of interest and yields a physically intelligible reduced model, since each aggregate corresponds to the exact sum of original variables.<\/jats:p>","DOI":"10.1073\/pnas.1702697114","type":"journal-article","created":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:29:57Z","timestamp":1504744197000},"page":"10029-10034","update-policy":"https:\/\/doi.org\/10.1073\/pnas.cm10313","source":"Crossref","is-referenced-by-count":63,"title":["Maximal aggregation of polynomial dynamical systems"],"prefix":"10.1073","volume":"114","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge CB1 2FB, United Kingdom;"},{"name":"Department of Computing, University of Oxford, Oxford OX1 3QD, United Kingdom;"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6018-5989","authenticated-orcid":false,"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[{"name":"Scuola IMT Alti Studi Lucca, 55100 Lucca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[{"name":"Scuola IMT Alti Studi Lucca, 55100 Lucca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2606-7241","authenticated-orcid":false,"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[{"name":"Scuola IMT Alti Studi Lucca, 55100 Lucca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"341","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"e_1_3_3_1_2","doi-asserted-by":"crossref","unstructured":"A Antoulas Approximation of Large-Scale Dynamical Systems Advances in Design and Control (SIAM Philadelphia). (2005).","DOI":"10.1137\/1.9780898718713"},{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2142184"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-5-140"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2012.03.019"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-7-34"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb:20070081"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0809908106"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1021\/cr950223l"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3800(87)90030-5"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0219525910002542"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00285-010-0344-x"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.03.010"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44562-4"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.2307\/3215235"},{"key":"e_1_3_3_15_2","doi-asserted-by":"crossref","unstructured":"L Cardelli M Tribastone M Tschaikowski A Vandin Efficient syntax-driven lumping of differential equations. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Lecture Notes in Computer Science (Springer Berlin) Vol 9636 pp 93\u2013111. (2016).","DOI":"10.1007\/978-3-662-49674-9_6"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(03)00343-0"},{"key":"e_1_3_3_17_2","doi-asserted-by":"crossref","unstructured":"A Valmari G Franceschinis Simple O(mlog\u2061n) time Markov chain lumping. Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Lecture Notes in Computer Science (Springer Berlin) Vol 6015 pp 38\u201352. (2010).","DOI":"10.1007\/978-3-642-12002-2_4"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"e_1_3_3_19_2","first-page":"137","volume-title":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"Cardelli L","year":"2016","unstructured":"L Cardelli, M Tribastone, M Tschaikowski, A Vandin, Symbolic computation of differential equivalences. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (ACM, New York), pp. 137\u2013150 (2016)."},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0036139995293294"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1742-4658.2009.07027.x"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature08102"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0507322102"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(80)90017-6"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2011.11.014"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.bpj.2009.09.043"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1742-4658.2007.05653.x"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1039\/c3mb70073a"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1128\/mcb.10.8.4035-4044.1990"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-8-336"},{"key":"e_1_3_3_31_2","unstructured":"L Cardelli M Tribastone M Tschaikowski A Vandin Forward and backward bisimulations for chemical reaction networks.  (Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik Wadern Germany) pp. 226\u2013239 (2015)."},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.4049\/jimmunol.170.7.3769"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth.1546"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.89.19.9107"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000364"},{"key":"e_1_3_3_36_2","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-1-61779-361-5_23","volume-title":"Bacterial Molecular Networks: Methods and Protocols","author":"Chaouiya C","year":"2012","unstructured":"C Chaouiya, A Naldi, D Thieffry Bacterial Molecular Networks: Methods and Protocols, eds J van Helden, A Toussaint, D Thieffry (Springer, New York), pp. 463\u2013479 (2012)."},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-7-56"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-98"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1038\/nrg3885"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90208-7"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.bulm.2003.08.010"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1400823111"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(78)90077-9"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2006.06.004"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2016.07.037"},{"key":"e_1_3_3_46_2","doi-asserted-by":"crossref","unstructured":"AN Gorban IV Karlin Invariant Manifolds for Physical and Chemical Kinetics Lecture Notes in Physics (Springer Berlin) Vol 660. (2005).","DOI":"10.1007\/b98103"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1683"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth378"},{"key":"e_1_3_3_50_2","doi-asserted-by":"crossref","unstructured":"L Cardelli M Tribastone M Tschaikowski A Vandin ERODE: A tool for the evaluation and reduction of ordinary differential equations. Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Lecture Notes in Computer Science (Springer Berlin) Vol 10206 pp 310\u2013328. (2017).","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0969-2126(01)00160-5"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.2000.2069"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-13-251"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-2-78"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003147"},{"key":"e_1_3_3_56_2","doi-asserted-by":"crossref","unstructured":"A Naldi E Rem D Thieffry C Chaouiya A reduction of logical regulatory graphs preserving essential dynamical properties. Proceedings of the 7th Internal Conference on Computational Methods in Systems Biology Lecture Notes in Computer Science eds Degano P Gorrieri R (Springer Berlin) Vol 5688 pp 266\u2013280. (2009).","DOI":"10.1007\/978-3-642-03845-7_18"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-1"},{"key":"e_1_3_3_58_2","first-page":"69","article-title":"Computational modeling of the main signaling pathways involved in mast cell activation","volume":"382","author":"Niarakis A","year":"2014","unstructured":"A Niarakis, , Computational modeling of the main signaling pathways involved in mast cell activation. Curr Top Microbiol Immunol 382, 69\u201393 (2014).","journal-title":"Curr Top Microbiol Immunol"}],"container-title":["Proceedings of the National Academy of Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.pnas.org\/syndication\/doi\/10.1073\/pnas.1702697114","content-type":"unspecified","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/pnas.org\/doi\/pdf\/10.1073\/pnas.1702697114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T02:09:22Z","timestamp":1649815762000},"score":1,"resource":{"primary":{"URL":"https:\/\/pnas.org\/doi\/full\/10.1073\/pnas.1702697114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,6]]},"references-count":58,"journal-issue":{"issue":"38","published-print":{"date-parts":[[2017,9,19]]}},"alternative-id":["10.1073\/pnas.1702697114"],"URL":"https:\/\/doi.org\/10.1073\/pnas.1702697114","relation":{},"ISSN":["0027-8424","1091-6490"],"issn-type":[{"value":"0027-8424","type":"print"},{"value":"1091-6490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,6]]},"assertion":[{"value":"2017-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}