{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:49:18Z","timestamp":1762325358995,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Paris Ile-de-France region","award":["project XOR"],"award-info":[{"award-number":["project XOR"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["DMS-1853482, DMS-1760448, and DMS-1853650"],"award-info":[{"award-number":["DMS-1853482, DMS-1760448, and DMS-1853650"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535492","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"119-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On Realizing Differential-Algebraic Equations by Rational Dynamical Systems"],"prefix":"10.1145","author":[{"given":"Dmitrii","family":"Pavlov","sequence":"first","affiliation":[{"name":"Moscow State University, Moscow, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gleb","family":"Pogudin","sequence":"additional","affiliation":[{"name":"Ecole Polytechnique, Institute Polytechnique de Paris, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"volume-title":"Algebraic Methods for Nonlinear Control Systems","author":"Conte Giuseppe","key":"e_1_3_2_1_1_1","unstructured":"Giuseppe Conte , Claude H. Moog , and Anna Maria Perdon . 2007. Algebraic Methods for Nonlinear Control Systems . Springer London . https:\/\/doi.org\/10.1007\/978--1--84628--595-0 10.1007\/978--1--84628--595-0 Giuseppe Conte, Claude H. Moog, and Anna Maria Perdon. 2007. Algebraic Methods for Nonlinear Control Systems .Springer London. https:\/\/doi.org\/10.1007\/978--1--84628--595-0"},{"key":"e_1_3_2_1_2_1","unstructured":"R. Dong C. Goodbrake H. Harrington and G. Pogudin. 2021. Differential elimination for dynamical models via projections with applications to structural identifiability. preprint (2021). https:\/\/arxiv.org\/abs\/2111.00991  R. Dong C. Goodbrake H. Harrington and G. Pogudin. 2021. Differential elimination for dynamical models via projections with applications to structural identifiability. preprint (2021). https:\/\/arxiv.org\/abs\/2111.00991"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/eujc.1993.1022"},{"key":"#cr-split#-e_1_3_2_1_4_1.1","doi-asserted-by":"crossref","unstructured":"K. Forsman. 1993. On rational state space realizations. In Nonlinear Control Systems Design. 341--346. https:\/\/doi.org\/10.1016\/b978-0-08-041901--5.50061-0 10.1016\/b978-0-08-041901--5.50061-0","DOI":"10.1016\/B978-0-08-041901-5.50061-0"},{"key":"#cr-split#-e_1_3_2_1_4_1.2","doi-asserted-by":"crossref","unstructured":"K. Forsman. 1993. On rational state space realizations. In Nonlinear Control Systems Design. 341--346. https:\/\/doi.org\/10.1016\/b978-0-08-041901--5.50061-0","DOI":"10.1016\/B978-0-08-041901-5.50061-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.21921"},{"key":"e_1_3_2_1_6_1","unstructured":"Bronislaw Jakubczyk. 1980. Existence and uniqueness of nonlinear realizations. In Analyse des syst\u00e8mes. Number 75--76 in Ast\u00e9risque. Soci\u00e9t\u00e9 math\u00e9matique de France. http:\/\/www.numdam.org\/item\/AST_1980__75--76__141_0\/  Bronislaw Jakubczyk. 1980. Existence and uniqueness of nonlinear realizations. In Analyse des syst\u00e8mes. Number 75--76 in Ast\u00e9risque. Soci\u00e9t\u00e9 math\u00e9matique de France. http:\/\/www.numdam.org\/item\/AST_1980__75--76__141_0\/"},{"key":"e_1_3_2_1_7_1","first-page":"152","article-title":"Mathematical Description of Linear Dynamical Systems","volume":"1","author":"Kalman R. E.","year":"1963","unstructured":"R. E. Kalman . 1963 . Mathematical Description of Linear Dynamical Systems . Journal of the SIAM Series A Control , Vol. 1 , 2 (1963), 152 -- 192 . https:\/\/doi.org\/10.1137\/0301010 10.1137\/0301010 R. E. Kalman. 1963. Mathematical Description of Linear Dynamical Systems. Journal of the SIAM Series A Control, Vol. 1, 2 (1963), 152--192. https:\/\/doi.org\/10.1137\/0301010","journal-title":"Journal of the SIAM Series A Control"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"J. Koll\u00e1r K. Smith and A. Corti. 2004. Rational and Nearly Rational Varieties .Cambridge University Press.  J. Koll\u00e1r K. Smith and A. Corti. 2004. Rational and Nearly Rational Varieties .Cambridge University Press.","DOI":"10.1017\/CBO9780511734991"},{"key":"e_1_3_2_1_9_1","unstructured":"James S. Milne. 2018. Fields and Galois Theory (v4.60). https:\/\/www.jmilne.org\/math\/CourseNotes\/ft.html  James S. Milne. 2018. Fields and Galois Theory (v4.60). https:\/\/www.jmilne.org\/math\/CourseNotes\/ft.html"},{"key":"e_1_3_2_1_10_1","volume-title":"Mitteramskogler and Franz Winkler","author":"Johann","year":"2021","unstructured":"Johann J. Mitteramskogler and Franz Winkler . 2021 . General solutions of first-order algebraic ODEs in simple constant extensions. https:\/\/doi.org\/10.35011\/risc.21--18 Technical report. 10.35011\/risc.21--18 Johann J. Mitteramskogler and Franz Winkler. 2021. General solutions of first-order algebraic ODEs in simple constant extensions. https:\/\/doi.org\/10.35011\/risc.21--18 Technical report."},{"key":"e_1_3_2_1_11_1","unstructured":"G.M. Murphy. 1960. Ordinary Differential Equations and their Solutions .New York: Van Nostrand.  G.M. Murphy. 1960. Ordinary Differential Equations and their Solutions .New York: Van Nostrand."},{"key":"e_1_3_2_1_12_1","first-page":"605","article-title":"Realization Theory for Rational Systems: Minimal Rational Realizations","volume":"110","author":"van Schuppen Jana Nve","year":"2009","unstructured":"Jana Nve mcov\u00e1 and Jan H. van Schuppen . 2009 a. Realization Theory for Rational Systems: Minimal Rational Realizations . Acta Applicandae Mathematicae , Vol. 110 , 2 (2009), 605 -- 626 . https:\/\/doi.org\/10.1007\/s10440-009--9464-y 10.1007\/s10440-009--9464-y Jana Nve mcov\u00e1 and Jan H. van Schuppen. 2009a. Realization Theory for Rational Systems: Minimal Rational Realizations. Acta Applicandae Mathematicae, Vol. 110, 2 (2009), 605--626. https:\/\/doi.org\/10.1007\/s10440-009--9464-y","journal-title":"Acta Applicandae Mathematicae"},{"key":"e_1_3_2_1_13_1","volume-title":"van Schuppen","author":"Jana Nve","year":"2009","unstructured":"Jana Nve mcov\u00e1 and Jan H . van Schuppen . 2009 b. Realization Theory for Rational Systems: The Existence of Rational Realizations. SIAM Journal on Control and Optimization, Vol. 48 , 4 (2009), 2840--2856. https:\/\/doi.org\/10.1137\/080714506 10.1137\/080714506 Jana Nve mcov\u00e1 and Jan H. van Schuppen. 2009b. Realization Theory for Rational Systems: The Existence of Rational Realizations. SIAM Journal on Control and Optimization, Vol. 48, 4 (2009), 2840--2856. https:\/\/doi.org\/10.1137\/080714506"},{"key":"e_1_3_2_1_14_1","unstructured":"Dmitrii Pavlov and Gleb Pogudin. 2022. Supplementary code. https:\/\/github.com\/pogudingleb\/RealizationMapleNotebooks  Dmitrii Pavlov and Gleb Pogudin. 2022. Supplementary code. https:\/\/github.com\/pogudingleb\/RealizationMapleNotebooks"},{"volume-title":"Computational Methods in Systems Biology, Eugenio Cinquemani and Lo\u00efc Paulev\u00e9 (Eds.)","author":"Pogudin Gleb","key":"e_1_3_2_1_15_1","unstructured":"Gleb Pogudin and Xingjian Zhang . 2021. Interpretable Exact Linear Reductions via Positivity . In Computational Methods in Systems Biology, Eugenio Cinquemani and Lo\u00efc Paulev\u00e9 (Eds.) . Springer International Publishing , 91--107. https:\/\/doi.org\/10.1007\/978--3-030--85633--5_6 10.1007\/978--3-030--85633--5_6 Gleb Pogudin and Xingjian Zhang. 2021. Interpretable Exact Linear Reductions via Positivity. In Computational Methods in Systems Biology, Eugenio Cinquemani and Lo\u00efc Paulev\u00e9 (Eds.). Springer International Publishing, 91--107. https:\/\/doi.org\/10.1007\/978--3-030--85633--5_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050114"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2015.08.006"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01704916"},{"volume-title":"Rational Algebraic Curves: A Computer Algebra Approach","author":"Sendra J. Rafael","key":"e_1_3_2_1_19_1","unstructured":"J. Rafael Sendra , Franz Winkler , and Sonia P\u00e9rez-Diaz . 2008. Rational Algebraic Curves: A Computer Algebra Approach . Springer , Berlin, Heidelberg . https:\/\/doi.org\/10.1007\/978--3--540--73725--4 10.1007\/978--3--540--73725--4 J. Rafael Sendra, Franz Winkler, and Sonia P\u00e9rez-Diaz. 2008. Rational Algebraic Curves: A Computer Algebra Approach .Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978--3--540--73725--4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1971.1099821"},{"key":"e_1_3_2_1_21_1","series-title":"SIAM J. of Control and Optimization","volume-title":"Algebraic Differential Equations and Rational Control Systems","author":"Sontag Eduardo","year":"1993","unstructured":"Eduardo Sontag and Yuan Wang . 1993. Algebraic Differential Equations and Rational Control Systems . SIAM J. of Control and Optimization ( 1993 ). https:\/\/doi.org\/10.1137\/0330060 10.1137\/0330060 Eduardo Sontag and Yuan Wang. 1993. Algebraic Differential Equations and Rational Control Systems. SIAM J. of Control and Optimization (1993). https:\/\/doi.org\/10.1137\/0330060"},{"volume-title":"Mathematical Control Theory","author":"Sontag Eduardo D.","key":"e_1_3_2_1_22_1","unstructured":"Eduardo D. Sontag . 1998. Mathematical Control Theory . Springer New York . https:\/\/doi.org\/10.1007\/978--1--4612-0577--7 10.1007\/978--1--4612-0577--7 Eduardo D. Sontag. 1998. Mathematical Control Theory .Springer New York. https:\/\/doi.org\/10.1007\/978--1--4612-0577--7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01683278"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.05.007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2017.06.003"},{"key":"e_1_3_2_1_26_1","first-page":"799","article-title":"Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra","volume":"46","author":"Zhang Jiangfeng Jeff","year":"2010","unstructured":"Jiangfeng Jeff Zhang , Claude Moog , and Xiaohua Xia . 2010 . Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra . Kybernetika , Vol. 46 , 5 (2010), 799 -- 830 . https:\/\/strathprints.strath.ac.uk\/47693\/ Jiangfeng Jeff Zhang, Claude Moog, and Xiaohua Xia. 2010. Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra. Kybernetika, Vol. 46, 5 (2010), 799--830. https:\/\/strathprints.strath.ac.uk\/47693\/","journal-title":"Kybernetika"}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22"},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535492","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535492","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":27,"alternative-id":["10.1145\/3476446.3535492","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535492","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}