{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:41:23Z","timestamp":1757612483004,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Fond de la Recherche Scientifique - FNRS"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718039","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Memory-dependent abstractions of stochastic systems through the lens of transfer operators"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4456-6618","authenticated-orcid":false,"given":"Adrien","family":"Banse","sequence":"first","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2651-0629","authenticated-orcid":false,"given":"Giannis","family":"Delimpaltadakis","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1190-6097","authenticated-orcid":false,"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5638-5283","authenticated-orcid":false,"suffix":"Jr.","given":"Manuel","family":"Mazo","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7789-0940","authenticated-orcid":false,"given":"Rapha\u00ebl M.","family":"Jungers","sequence":"additional","affiliation":[{"name":"UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2022.03.007"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of The 5th Annual Learning for Dynamics and Control Conference (Proceedings of Machine Learning Research","volume":"902","author":"Banse Adrien","year":"2023","unstructured":"Adrien Banse, Licio Romao, Alessandro Abate, and Raphael Jungers. 2023. Data-driven memory-dependent abstractions of dynamical systems. In Proceedings of The 5th Annual Learning for Dynamics and Control Conference (Proceedings of Machine Learning Research, Vol. 211), Nikolai Matni, Manfred Morari, and George J. Pappas (Eds.). PMLR, 891--902. https:\/\/proceedings.mlr.press\/v211\/banse23a.html"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/cdc49753.2023.10383513"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2023.3333748"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Eduardo Figueiredo Andrea Patane Morteza Lahijanian and Luca Laurenti. 2024. Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. https:\/\/doi.org\/10.48550\/ARXIV.2403.15626 arXiv:2403.15626 [eess.SY]","DOI":"10.48550\/ARXIV.2403.15626"},{"key":"e_1_3_2_1_7_1","unstructured":"Jiacheng Guo Minshuo Chen Huan Wang Caiming Xiong Mengdi Wang and Yu Bai. 2023. Sample-Efficient Learning of POMDPs with Multiple Observations In Hindsight. arXiv:2307.02884 [cs.LG] https:\/\/arxiv.org\/abs\/2307.02884"},{"key":"e_1_3_2_1_8_1","unstructured":"Martin Hairer. 2006. Ergodic Properties of Markov Processes. https:\/\/api.semanticscholar.org\/CorpusID:51990013"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511809187"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581406"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-011-0373-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2015.2398883"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110617"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2020.100880"},{"key":"e_1_3_2_1_15_1","volume-title":"Seshia","author":"Lee Edward A.","year":"2016","unstructured":"Edward A. Lee and Sanjit A. Seshia. 2016. Introduction to Embedded Systems A Cyber-Physical Systems Approach. MIT Press. 568 pages."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511626302"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ojcsys.2023.3294829"},{"key":"e_1_3_2_1_18_1","unstructured":"Adam Nielsen Konstantin Fackeldey and Marcus Weber. 2013. On a Generalized Transfer Operator. Technical Report 13-74. ZIB Takustr. 7 14195 Berlin."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2021.3118737"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.3565032"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/090764049"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.08.005"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2015.7403294"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"Ch. Sch\u00fctte W. Huisinga and P. Deuflhard. 2001. Transfer Operator Approach to Conformational Dynamics in Biomolecular Systems. Springer Berlin Heidelberg 191--223. https:\/\/doi.org\/10.1007\/978-3-642-56589-2_9","DOI":"10.1007\/978-3-642-56589-2_9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-72206-1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-75778-5_7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2017.01.030"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042005"}],"event":{"name":"HSCC '25: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"HSCC '25"},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:46:58Z","timestamp":1756993618000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":28,"alternative-id":["10.1145\/3716863.3718039","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718039","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}