{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:28:36Z","timestamp":1763724516626,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.23919\/acc45564.2020.9147572","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T18:02:33Z","timestamp":1595872953000},"page":"974-980","source":"Crossref","is-referenced-by-count":8,"title":["Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition"],"prefix":"10.23919","author":[{"given":"Anjian","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mo","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Robust tracking with model mismatch for fast and safe planning: an sos optimization approach","year":"2018","author":"singh","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594078"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402951"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000774"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798509"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264092"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104941"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1186\/s40687-016-0068-7","article-title":"Algorithms for overcoming the curse of dimensionality for certain hamilton–jacobi equations arising in control theory and elsewhere","volume":"3","author":"darbon","year":"2016","journal-title":"International Journal of Mathematics and Mathematical Sciences"},{"journal-title":"Vehicle Dynamics and Control","year":"2011","author":"rajamani","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02261"},{"article-title":"Beacls library","year":"2019","author":"tanabe","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Int Conf on Computer Aided Verification"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793890"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/1055678021000012435"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/oca.2389"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_27"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1115\/1.1760520"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967718"},{"article-title":"A toolbox of level set methods","year":"2009","author":"mitchell","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2797194"}],"event":{"name":"2020 American Control Conference (ACC)","start":{"date-parts":[[2020,7,1]]},"location":"Denver, CO, USA","end":{"date-parts":[[2020,7,3]]}},"container-title":["2020 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9140048\/9147203\/09147572.pdf?arnumber=9147572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,31]],"date-time":"2020-08-31T17:48:31Z","timestamp":1598896111000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9147572\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.23919\/acc45564.2020.9147572","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}