{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:34:39Z","timestamp":1756308879573,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031572487"},{"type":"electronic","value":"9783031572494"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T00:00:00Z","timestamp":1712275200000},"content-version":"vor","delay-in-days":95,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Quadratization refers to a transformation of an arbitrary system of polynomial ordinary differential equations to a system with at most quadratic right-hand side. Such a transformation unveils new variables and model structures that facilitate model analysis, simulation, and control and offer a convenient parameterization for data-driven approaches. Quadratization techniques have found applications in diverse fields, including systems theory, fluid mechanics, chemical reaction modeling, and mathematical analysis.<\/jats:p><jats:p>In this study, we focus on quadratizations that preserve the stability properties of the original model, specifically dissipativity at given equilibria. This preservation is desirable in many applications of quadratization including reachability analysis and synthetic biology. We establish the existence of dissipativity-preserving quadratizations, develop an algorithm for their computation, and demonstrate it in several case studies.<\/jats:p>","DOI":"10.1007\/978-3-031-57249-4_16","type":"book-chapter","created":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T07:02:35Z","timestamp":1712214155000},"page":"323-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Dissipative quadratizations of polynomial ODE systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9278-6315","authenticated-orcid":false,"given":"Yubo","family":"Cai","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5731-8242","authenticated-orcid":false,"given":"Gleb","family":"Pogudin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,5]]},"reference":[{"unstructured":"Dissipative-Quadratization Package (2023), https:\/\/github.com\/yubocai-poly\/DQbee","key":"16_CR1"},{"unstructured":"Appelroth, G.G.: \n                  \n                \n                  \n                . Sbornik: Mathematics 23(1), 12\u201323 (1902), http:\/\/mi.mathnet.ru\/sm6683","key":"16_CR2"},{"doi-asserted-by":"crossref","unstructured":"Balamurali, R., Kengne, L.K., Rajagopal, K., Kengne, J.: Coupled non-oscillatory Duffing oscillators: Multistability, multiscroll chaos generation and circuit realization. Physica A: Statistical Mechanics and its Applications 607, 128174 (2022), https:\/\/doi.org\/10.1016\/j.physa.2022.128174","key":"16_CR3","DOI":"10.1016\/j.physa.2022.128174"},{"doi-asserted-by":"publisher","unstructured":"Bavafa-Toosi, Y.: Introduction to Linear Control Systems. Elsevier (2019). https:\/\/doi.org\/10.1016\/c2016-0-03896-2, http:\/\/dx.doi.org\/10.1016\/C2016-0-03896-2","key":"16_CR4","DOI":"10.1016\/c2016-0-03896-2"},{"doi-asserted-by":"crossref","unstructured":"Benner, P., Breiten, T.: Two-sided projection methods for nonlinear model order reduction. SIAM Journal on Scientific Computing 37(2), B239\u2013B260 (2015)","key":"16_CR5","DOI":"10.1137\/14097255X"},{"unstructured":"Bychkov, A., Issan, O., Pogudin, G., Kramer, B.: Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems (2023), https:\/\/arxiv.org\/abs\/2303.10285","key":"16_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bychkov, A., Pogudin, G.: Optimal monomial quadratization for ODE systems. In: Flocchini, P., Moura, L. (eds.) Combinatorial Algorithms. pp. 122\u2013136. Springer International Publishing, Cham (2021)","key":"16_CR7","DOI":"10.1007\/978-3-030-79987-8_9"},{"unstructured":"Carothers, D.C., Parker, G.E., Sochacki, J.S., Warne, P.G.: Some properties of solutions to polynomial systems of differential equations. Electron. J. Diff. Eqns. 2005(40), 1\u201317 (2005), https:\/\/eudml.org\/doc\/125330","key":"16_CR8"},{"unstructured":"Carothers, D.C., Parker, G., Sochacki, J.S., Warne, P.G.: Some properties of solutions to polynomial systems of differential equations. Electronic Journal of Differential Equations (EJDE) p. Paper No. 40 (2005), http:\/\/eudml.org\/doc\/125330","key":"16_CR9"},{"doi-asserted-by":"crossref","unstructured":"Carravetta, F.: Global exact quadratization of continuous-time nonlinear control systems. SIAM Journal on Control and Optimization 53(1), 235\u2013261 (2015), https:\/\/doi.org\/10.1137\/130915418","key":"16_CR10","DOI":"10.1137\/130915418"},{"doi-asserted-by":"crossref","unstructured":"Carravetta, F.: On the solution calculation of nonlinear ordinary differential equations via exact quadratization. Journal of Differential Equations 269(12), 11328\u201311365 (2020), https:\/\/doi.org\/10.1016\/j.jde.2020.08.028","key":"16_CR11","DOI":"10.1016\/j.jde.2020.08.028"},{"doi-asserted-by":"crossref","unstructured":"Craciun, G., Tang, Y., Feinberg, M.: Understanding bistability in complex enzyme-driven reaction networks. Proceedings of the National Academy of Sciences 103(23), 8697\u20138702 (2006), https:\/\/doi.org\/10.1073\/pnas.0602767103","key":"16_CR12","DOI":"10.1073\/pnas.0602767103"},{"doi-asserted-by":"crossref","unstructured":"Fages, F., Le\u00a0Guludec, G., Bournez, O., Pouly, A.: Strong Turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs. In: Computational Methods in Systems Biology: 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27\u201329, 2017, Proceedings 15. pp. 108\u2013127. Springer (2017), https:\/\/doi.org\/10.1007\/978-3-319-67471-1_7","key":"16_CR13","DOI":"10.1007\/978-3-319-67471-1_7"},{"doi-asserted-by":"crossref","unstructured":"Forets, M., Schilling, C.: Reachability of weakly nonlinear systems using Carleman linearization. In: Lecture Notes in Computer Science, pp. 85\u201399. Springer International Publishing (2021), https:\/\/doi.org\/10.1007%2F978-3-030-89716-1_6","key":"16_CR14","DOI":"10.1007\/978-3-030-89716-1_6"},{"unstructured":"Gantmacher, F.R.: The theory of matrices. Chelsea Publishing Company (1984)","key":"16_CR15"},{"doi-asserted-by":"crossref","unstructured":"G\u00f6z\u00fckirmizi, C., Demiralp, M.: Solving ODEs by obtaining purely second degree multinomials via branch and bound with admissible heuristic. Mathematics 7(4) (2019), https:\/\/www.mdpi.com\/2227-7390\/7\/4\/367","key":"16_CR16","DOI":"10.3390\/math7040367"},{"doi-asserted-by":"crossref","unstructured":"Gu, C.: QLMOR: A projection-based nonlinear model order reduction approach using quadratic-linear representation of nonlinear systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 30(9), 1307\u20131320 (2011), https:\/\/doi.org\/10.1109\/TCAD.2011.2142184","key":"16_CR17","DOI":"10.1109\/TCAD.2011.2142184"},{"doi-asserted-by":"crossref","unstructured":"Guillot, L., Cochelin, B., Vergez, C.: A generic and efficient Taylor series\u2013based continuation method using a quadratic recast of smooth nonlinear systems. International Journal for numerical methods in Engineering 119(4), 261\u2013280 (2019), https:\/\/doi.org\/10.1002\/nme.6049","key":"16_CR18","DOI":"10.1002\/nme.6049"},{"doi-asserted-by":"crossref","unstructured":"Guillot, L., Cochelin, B., Vergez, C.: A Taylor series-based continuation method for solutions of dynamical systems. Nonlinear Dynamics 98(4), 2827\u20132845 (2019), https:\/\/doi.org\/10.1007\/s11071-019-04989-5","key":"16_CR19","DOI":"10.1007\/s11071-019-04989-5"},{"doi-asserted-by":"crossref","unstructured":"Hemery, M., Fages, F.: Algebraic biochemistry: A framework for analog online computation in cells. In: Computational Methods in Systems Biology, pp. 3\u201320 (2022), https:\/\/doi.org\/10.1007\/978-3-031-15034-0_1","key":"16_CR20","DOI":"10.1007\/978-3-031-15034-0_1"},{"doi-asserted-by":"crossref","unstructured":"Hemery, M., Fages, F., Soliman, S.: On the complexity of quadratization for polynomial differential equations. In: Abate, A., Petrov, T., Wolf, V. (eds.) Computational Methods in Systems Biology. pp. 120\u2013140. Springer International Publishing, Cham (2020), https:\/\/doi.org\/10.1007\/978-3-030-60327-4_7","key":"16_CR21","DOI":"10.1007\/978-3-030-60327-4_7"},{"unstructured":"Hindmarsh, A.C.: ODEPACK, a systemized collection of ODE solvers. Scientific computing (1983)","key":"16_CR22"},{"doi-asserted-by":"crossref","unstructured":"Hubbard, J.H., West, B.H.: Differential Equations: A Dynamical Systems Approach. High-dimensional Systems. Springer (1995)","key":"16_CR23","DOI":"10.1007\/978-1-4612-4192-8"},{"doi-asserted-by":"crossref","unstructured":"Kerner, E.H.: Universal formats for nonlinear ordinary differential systems. Journal of Mathematical Physics 22(7), 1366\u20131371 (1981)","key":"16_CR24","DOI":"10.1063\/1.525074"},{"doi-asserted-by":"crossref","unstructured":"Kramer, B., Willcox, K.: Nonlinear model order reduction via lifting transformations and proper orthogonal decomposition. AIAA Journal 57(6), 2297\u20132307 (2019), https:\/\/doi.org\/10.2514\/1.J057791","key":"16_CR25","DOI":"10.2514\/1.J057791"},{"doi-asserted-by":"crossref","unstructured":"Kramer, B., Willcox, K.: Balanced truncation model reduction for lifted nonlinear systems. In: Beattie, C., Benner, P., Embree, M., Gugercin, S., Lefteriu, S. (eds.) Realization and Model Reduction of Dynamical Systems: A Festschrift in Honor of the 70th Birthday of Thanos Antoulas, pp. 157\u2013174. Springer International Publishing, Cham (2022), https:\/\/doi.org\/10.1007\/978-3-030-95157-3_9","key":"16_CR26","DOI":"10.1007\/978-3-030-95157-3_9"},{"unstructured":"Lagutinskii, M.N.: \n                  \n                \n                  \n                Sbornik: Mathematics 27(4), 420\u2013423 (1911), http:\/\/mi.mathnet.ru\/sm6583","key":"16_CR27"},{"doi-asserted-by":"crossref","unstructured":"Morrison, D.R., Jacobson, S.H., Sauppe, J.J., Sewell, E.C.: Branch-and-bound algorithms: A survey of recent advances in searching, branching, and pruning. Discrete Optimization 19, 79\u2013102 (2016), https:\/\/doi.org\/10.1016\/j.disopt.2016.01.005","key":"16_CR28","DOI":"10.1016\/j.disopt.2016.01.005"},{"doi-asserted-by":"crossref","unstructured":"Petzold, L.: Automatic selection of methods for solving stiff and nonstiff systems of ordinary differential equations. SIAM journal on scientific and statistical computing 4(1), 136\u2013148 (1983)","key":"16_CR29","DOI":"10.1137\/0904010"},{"unstructured":"Sandrock, C.: tbcontrol package, https:\/\/github.com\/alchemyst\/Dynamics-and-Control","key":"16_CR30"},{"doi-asserted-by":"crossref","unstructured":"Wilhelm, T.: The smallest chemical reaction system with bistability. BMC Systems Biology 3(1) (2009), https:\/\/doi.org\/10.1186\/1752-0509-3-90","key":"16_CR31","DOI":"10.1186\/1752-0509-3-90"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-57249-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T07:09:09Z","timestamp":1712214549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-57249-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031572487","9783031572494"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-57249-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"5 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2024\/conferences\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"159","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":"53","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":"16","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":"33% - 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":"10","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)"}}]}}