{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:26:35Z","timestamp":1730341595693,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.23919\/acc.2019.8814641","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T23:42:46Z","timestamp":1574725366000},"page":"2346-2351","source":"Crossref","is-referenced-by-count":1,"title":["Multiple Barrier Function Certificates for Forward Invariance in Hybrid Inclusions"],"prefix":"10.23919","author":[{"given":"Mohamed","family":"Maghenem","sequence":"first","affiliation":[]},{"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618998"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.841939"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref4","first-page":"551","article-title":"\u00dcber die lage der integralkurven gew\u00f6hnlicher differ-entialgleichungen","volume-title":"Proceedings of the Physico-Mathematical Society of Japan. 3rd Series","volume":"24","author":"Nagumo"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.981719"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2915142"},{"volume-title":"Viability Theory","year":"1991","author":"Aubin","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00743"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3182\/20070822-3-ZA-2920.00076"},{"volume-title":"Optimization-based methods for nonlinear and hybrid systems verification","year":"2005","author":"Prajna","key":"ref12"},{"key":"ref13","volume-title":"Nonsmooth Analysis and Control Theory","volume":"178","author":"Clarke","year":"2008"},{"volume-title":"Hybrid Dynamical Systems: modeling, stability, and robustness","year":"2012","author":"Goebel","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4848-0"}],"event":{"name":"2019 American Control Conference (ACC)","start":{"date-parts":[[2019,7,10]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2019,7,12]]}},"container-title":["2019 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8789884\/8814292\/08814641.pdf?arnumber=8814641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:36:58Z","timestamp":1706056618000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8814641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/acc.2019.8814641","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}