{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:02:25Z","timestamp":1770274945597,"version":"3.49.0"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"crossref","award":["10.47379\/ICT19018"],"award-info":[{"award-number":["10.47379\/ICT19018"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"crossref"}]},{"name":"TU Wien Doctoral College (SecInt), the FWF research Projects","award":["LogiCS W1255-N23, P30690-N35"],"award-info":[{"award-number":["LogiCS W1255-N23, P30690-N35"]}]},{"name":"ERC Consolidator","award":["ARTIST 101002685"],"award-info":[{"award-number":["ARTIST 101002685"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2024,7,31]]},"abstract":"<jats:p>\n            Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one approximate and one exact, to automatically compute, without sampling, moment-based invariants for such probabilistic programs as closed-form solutions parameterized by the loop iteration. The exact method applies to probabilistic programs with trigonometric and exponential updates and is embedded in the\n            <jats:sc>Polar<\/jats:sc>\n            tool. The approximate method for moment computation applies to any nonlinear random function as it exploits the theory of polynomial chaos expansion to approximate non-polynomial updates as the sum of orthogonal polynomials. This translates the dynamical system to a non-nested loop with polynomial updates, and thus renders it conformable with the\n            <jats:sc>Polar<\/jats:sc>\n            tool that computes the moments of any order of the state variables. We evaluate our methods on an extensive number of examples ranging from modeling monetary policy to several physical motion systems in uncertain environments. The experimental results demonstrate the advantages of our approach with respect to the current state-of-the-art.\n          <\/jats:p>","DOI":"10.1145\/3641545","type":"journal-article","created":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T12:28:02Z","timestamp":1706012882000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments"],"prefix":"10.1145","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1734-2918","authenticated-orcid":false,"given":"Andrey","family":"Kofnov","sequence":"first","affiliation":[{"name":"Faculty of Mathematics and Geoinformation, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2006-3741","authenticated-orcid":false,"given":"Marcel","family":"Moosbrugger","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5978-7475","authenticated-orcid":false,"given":"Miroslav","family":"Stankovi\u010d","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8004-6601","authenticated-orcid":false,"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4972-5320","authenticated-orcid":false,"given":"Efstathia","family":"Bura","sequence":"additional","affiliation":[{"name":"Faculty for Mathematics and Geoinformation, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-22308-2_3"},{"key":"e_1_3_3_3_2","first-page":"2","article-title":"Are phillips curves useful for forecasting inflation?","volume":"25","author":"Atkeson Andrew","year":"2001","unstructured":"Andrew Atkeson and Lee E. Ohanian. 2001. Are phillips curves useful for forecasting inflation?Quart. Rev. 25, Win (2001), 2\u201311. Retrieved from https:\/\/ideas.repec.org\/a\/fip\/fedmqr\/y2001iwinp2-11nv.25no.1.html.","journal-title":"Quart. Rev."},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_15"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_28"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_13"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0022112074000991"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1175\/JPO-D-19-0147.1"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781108591034"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1051\/m2an\/2011045"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2007.04.005"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10596-012-9311-5"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/s0045-7825(97)00250-8"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006514109327"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3094-6"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10596-017-9646-z"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0045-7825(96)01168-1"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2006.01.008"},{"key":"e_1_3_3_20_2","unstructured":"Ashkan Jasour Allen Wang and Brian C. Williams. 2021. Moment-Based Exact Uncertainty Propagation Through Nonlinear Stochastic Autonomous Systems. Retrieved from https:\/\/arxiv.org\/abs\/2101.12490."},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1002\/acs.2459"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1504\/IJAAC.2010.030810"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16336-4_2"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0445-3"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.fluiddyn.2005.12.003"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-16336-4_1"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0022112068000698"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_18"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_36"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563341"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2778138"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1137\/050638448"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3118737"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.008"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781108770750.009"},{"key":"e_1_3_3_36_2","first-page":"17502","volume-title":"Advances in Neural Information Processing Systems","author":"Sankaranarayanan Sriram","year":"2020","unstructured":"Sriram Sankaranarayanan, Yi Chou, Eric Goubault, and Sylvie Putot. 2020. Reasoning about uncertainties in discrete-time dynamical systems using polynomial forms.. In Advances in Neural Information Processing Systems, Vol. 33. Curran Associates, 17502\u201317513. https:\/\/proceedings.neurips.cc\/paper\/2020\/file\/ca886eb9edb61a42256192745c72cd79-Paper.pdf"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1002\/nme.6262"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1006\/jmaa.1996.0365"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.12.021"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912444146"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2231(93)90009-L"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8257-6_8"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406562"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2005.03.023"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.5555\/1893088"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827501387826"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641545","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:16Z","timestamp":1750287016000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,7,31]]}},"alternative-id":["10.1145\/3641545"],"URL":"https:\/\/doi.org\/10.1145\/3641545","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2023-03-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-12-31","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}