{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T00:18:45Z","timestamp":1760573925459,"version":"build-2065373602"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T00:00:00Z","timestamp":1750723200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,24]]},"DOI":"10.23919\/ecc65951.2025.11187198","type":"proceedings-article","created":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:38:09Z","timestamp":1760463489000},"page":"1243-1248","source":"Crossref","is-referenced-by-count":0,"title":["Error bounds on analytic Koopman-based Lyapunov functions"],"prefix":"10.23919","author":[{"given":"Fran\u00e7ois-Gr\u00e9goire","family":"Bierwart","sequence":"first","affiliation":[{"name":"University of Namur,Namur Research Institute for Complex Systems (naXys),Department of Mathematics,Belgium,5000"}]},{"given":"Alexandre","family":"Mauroy","sequence":"additional","affiliation":[{"name":"University of Namur,Namur Research Institute for Complex Systems (naXys),Department of Mathematics,Belgium,5000"}]}],"member":"263","reference":[{"volume-title":"Nonlinear systems","year":"2002","author":"Khalil","key":"ref1"},{"article-title":"SOSTOOLS version 4.00 sum of squares optimization toolbox for MATLAB","year":"2013","author":"Papachristodoulou","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(85)90099-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/002071799220876"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2015.20.2291"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2518918"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35713-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-025-10988-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992927"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.51.74"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s00365-001-0024-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760712"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/23M1552693"}],"event":{"name":"2025 European Control Conference (ECC)","start":{"date-parts":[[2025,6,24]]},"location":"Thessaloniki, Greece","end":{"date-parts":[[2025,6,27]]}},"container-title":["2025 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11186289\/11186290\/11187198.pdf?arnumber=11187198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T05:42:03Z","timestamp":1760506923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11187198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/ecc65951.2025.11187198","relation":{},"subject":[],"published":{"date-parts":[[2025,6,24]]}}}