{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T10:37:33Z","timestamp":1760524653992,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100004341","name":"Dow","doi-asserted-by":"publisher","award":["227027AT"],"award-info":[{"award-number":["227027AT"]}],"id":[{"id":"10.13039\/100004341","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF Graduate Research Fellowship","doi-asserted-by":"publisher","award":["DGE-1745301"],"award-info":[{"award-number":["DGE-1745301"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.23919\/acc60939.2024.10644985","type":"proceedings-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:19Z","timestamp":1725558979000},"page":"3383-3390","source":"Crossref","is-referenced-by-count":2,"title":["Approximating Regions of Attraction via Flow-Control Barrier Functions and Constrained Polytope Expansion"],"prefix":"10.23919","author":[{"given":"Wyatt","family":"Ubellacker","sequence":"first","affiliation":[{"name":"California Institute of Technology,Dept. of Control and Dynamical Systems, Mechanical and Civil Engineering,Pasadena,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noel","family":"Csomay-Shanklin","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Dept. of Control and Dynamical Systems, Mechanical and Civil Engineering,Pasadena,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron D.","family":"Ames","sequence":"additional","affiliation":[{"name":"California Institute of Technology,Dept. of Control and Dynamical Systems, Mechanical and Civil Engineering,Pasadena,CA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1076-4"},{"volume-title":"Methods of A.M: Lyapunov and their Application","year":"1964","author":"Zubov","key":"ref3"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-50085-5","volume-title":"Stability of Motion","author":"Hahn","year":"1967"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/06065129X"},{"issue":"6","key":"ref6","doi-asserted-by":"crossref","first-page":"1536","DOI":"10.1016\/j.automatica.2009.02.011","article-title":"Estimating the domain of attraction for non-polynomial systems via lmi optimizations","volume":"45","author":"Chesi","year":"2009","journal-title":"Automatica"},{"key":"ref7","first-page":"2291","author":"Giesl","year":"2015","journal-title":"Review on computational methods for lyapunov functions"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-016-2926-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.40768"},{"volume-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","year":"2000","author":"Parrilo","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2013.08.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0142331217752799"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/9.357"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/9.356"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968231"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"volume-title":"Real and Complex Analysis","year":"1987","author":"Rudin","key":"ref21"},{"volume-title":"Boost C++ Libraries","year":"2021","key":"ref22"},{"volume-title":"Eigen v3","year":"2010","author":"Guennebaud","key":"ref23"},{"issue":"4","key":"ref24","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s12532-020-00179-2","article-title":"OSQP: an operator splitting solver for quadratic programs","volume":"12","author":"Stellato","year":"2020","journal-title":"Mathematical Programming Computation"}],"event":{"name":"2024 American Control Conference (ACC)","start":{"date-parts":[[2024,7,10]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2024,7,12]]}},"container-title":["2024 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10644130\/10644150\/10644985.pdf?arnumber=10644985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:36:03Z","timestamp":1725770163000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10644985\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/acc60939.2024.10644985","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]}}}