{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:18Z","timestamp":1754144898298,"version":"3.41.2"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T00:00:00Z","timestamp":1749513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T00:00:00Z","timestamp":1749513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002385","name":"Ministry of Higher Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002385","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,10]]},"DOI":"10.1109\/med64031.2025.11073312","type":"proceedings-article","created":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T17:39:58Z","timestamp":1752601198000},"page":"423-428","source":"Crossref","is-referenced-by-count":0,"title":["Comparative Analysis of Sum-of-Squares Optimization and Neural Network Lyapunov functions for Region of Attraction Estimation"],"prefix":"10.1109","author":[{"given":"Sorachat","family":"Chuenwongaroon","sequence":"first","affiliation":[{"name":"Cranfield University,School of Aerospace, Transport and Manufacturing,Bedford,United Kingdom"}]},{"given":"Argyrios","family":"Zolotas","sequence":"additional","affiliation":[{"name":"Cranfield University,School of Aerospace, Transport and Manufacturing,Bedford,United Kingdom"}]},{"given":"Dmitry","family":"Ignatyev","sequence":"additional","affiliation":[{"name":"Cranfield University,School of Aerospace, Transport and Manufacturing,Bedford,United Kingdom"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref2","article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","volume-title":"Ph.D. dissertation","author":"Parrilo","year":"2000"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"ref5","article-title":"Nonlinear control analysis and synthesis using sum-of-squares programming","volume-title":"Ph.D. dissertation","author":"Tan","year":"2006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref7","first-page":"85","article-title":"Sos methods for fixed-order \u210b\u221e control","volume-title":"in Proceedings of the American Control Conference (ACC)","author":"Packard"},{"issue":"5","key":"ref8","first-page":"1294","article-title":"A new approach to estimate the region of attraction for polynomial nonlinear systems","volume":"59","author":"Khodadadi","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"ref9","first-page":"255","article-title":"Formal synthesis of lyapunov neural networks","volume-title":"IEEE Control Systems Letters","volume":"5","author":"Abate","year":"2020"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2021.XVII.063","article-title":"Lyapunov-stable neural-network control","author":"Dai","year":"2021"},{"article-title":"Convex synthesis and verification of control-lyapunov and barrier functions with input constraints","year":"2022","author":"Dai","key":"ref11"},{"volume-title":"Underactuated Robotics: Algorithms for Walking, Running, Swimming, Flying, and Manipulation.","year":"2024","author":"Tedrake","key":"ref12"},{"issue":"12","key":"ref13","first-page":"121003","article-title":"Neural lyapunov control of unknown nonlinear systems with stability guarantees","volume-title":"Journal of Dynamic Systems, Measurement, and Control","volume":"144","author":"Zhou","year":"2022"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2023.01.029"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3641513.3650134"},{"volume-title":"Nonlinear systems.","year":"2002","author":"Khalil","key":"ref16"},{"article-title":"Optimal control and estimation","year":"2023","author":"Yang","key":"ref17"},{"key":"ref18","article-title":"Region of attraction estimation using union theorem in sum-of-squares optimization","volume-title":"Preprint","author":"Biswas","year":"2023"},{"article-title":"Neural lyapunov control","volume-title":"33rd Conference on Neural Information Processing Systems (NeurIPS)","author":"Chang","key":"ref19"},{"article-title":"Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification","year":"2023","author":"Liu","key":"ref20"}],"event":{"name":"2025 33rd Mediterranean Conference on Control and Automation (MED)","start":{"date-parts":[[2025,6,10]]},"location":"Tangier, Morocco","end":{"date-parts":[[2025,6,13]]}},"container-title":["2025 33rd Mediterranean Conference on Control and Automation (MED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11073126\/11073191\/11073312.pdf?arnumber=11073312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:55:53Z","timestamp":1752645353000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11073312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/med64031.2025.11073312","relation":{},"subject":[],"published":{"date-parts":[[2025,6,10]]}}}