{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:38:45Z","timestamp":1740101925475,"version":"3.37.3"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004744","name":"Innoviris","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004744","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10156175","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"4351-4356","source":"Crossref","is-referenced-by-count":0,"title":["Data-driven heuristic symbolic models and application to limit-cycle detection"],"prefix":"10.23919","author":[{"given":"Julien","family":"Calbert","sequence":"first","affiliation":[{"name":"UCLouvain,ICTEAM,Louvain-la-Neuve,Belgium,1348"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl M.","family":"Jungers","sequence":"additional","affiliation":[{"name":"UCLouvain,ICTEAM,Louvain-la-Neuve,Belgium,1348"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"journal-title":"Data-driven abstraction-based control synthesis","year":"2022","author":"kazemi","key":"ref24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3014142"},{"journal-title":"Data-driven abstractions for verification of deterministic systems","year":"2022","author":"coppola","key":"ref23"},{"key":"ref15","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"althoff","year":"2010","journal-title":"Ph D Dissertation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/130945983"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-4451-51-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.473"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0392-3"},{"key":"ref10","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"IJCAI’13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref21"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.08.005"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382219"},{"key":"ref19","volume":"7","author":"perko","year":"2013","journal-title":"Differential Equations and Dynamical Systems"},{"journal-title":"Data-driven memory-dependent abstractions of dynamical systems","year":"2022","author":"banse","key":"ref18"},{"journal-title":"Sampling-based robust control of autonomous systems with non-gaussian noise","year":"2021","author":"badings","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683448"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456649"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/9781108899727"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178143"},{"journal-title":"Symbolic abstractions from data A pac learning approach","year":"2021","author":"devonport","key":"ref5"}],"event":{"name":"2023 American Control Conference (ACC)","start":{"date-parts":[[2023,5,31]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10156175.pdf?arnumber=10156175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:47:58Z","timestamp":1697478478000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10156175\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10156175","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}