{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:20:28Z","timestamp":1768339228359,"version":"3.49.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T00:00:00Z","timestamp":1695686400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T00:00:00Z","timestamp":1695686400000},"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":[[2023,9,26]]},"DOI":"10.1109\/allerton58177.2023.10313502","type":"proceedings-article","created":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T18:48:25Z","timestamp":1699987705000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Automated Stability Analysis of Piecewise Affine Dynamics Using Vertices"],"prefix":"10.1109","author":[{"given":"Pouya","family":"Samanipour","sequence":"first","affiliation":[{"name":"University of Kentucky,Department of Mechanical and Aerospace Engineering,Lexington,USA"}]},{"given":"Hasan A.","family":"Poonawala","sequence":"additional","affiliation":[{"name":"University of Kentucky,Department of Mechanical and Aerospace Engineering,Lexington,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2017.8239534"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-019-05030-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876688"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.3021699"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_29"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2022.102517"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRoM54204.2021.9663463"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3270219"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3181806"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2017.XIII.049"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CISS50987.2021.9400289"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2021.XVII.063"},{"key":"ref15","article-title":"Neural lyapunov control of unknown nonlinear systems with stability guarantees","author":"Zhou","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2015.20.2361"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.03.011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2996597"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36801-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030067"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483040"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109509"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035315.pt2"},{"key":"ref24","volume-title":"Nonlinear control.","volume":"406","author":"Khalil","year":"2015"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2011.05.036"},{"key":"ref26","article-title":"Vertex-based reachability analysis for verifying relu deep neural networks","author":"Zago","year":"2023"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.00539"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/109648.109688"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1109\/Allerton58177.2023.10313502","article-title":"Automated stability analysis of piecewise affine dynamics using vertices","author":"Samanipour","year":"2023"}],"event":{"name":"2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","location":"Monticello, IL, USA","start":{"date-parts":[[2023,9,26]]},"end":{"date-parts":[[2023,9,29]]}},"container-title":["2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10313338\/10313355\/10313502.pdf?arnumber=10313502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T16:34:29Z","timestamp":1709397269000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10313502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,26]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/allerton58177.2023.10313502","relation":{},"subject":[],"published":{"date-parts":[[2023,9,26]]}}}