{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T16:08:11Z","timestamp":1784736491877,"version":"3.55.0"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"CPS Frontiers VehiCal","award":["CNS-1545126"],"award-info":[{"award-number":["CNS-1545126"]}]},{"name":"ONR"},{"name":"SMARTS","award":["N00014-09-1-1051"],"award-info":[{"award-number":["N00014-09-1-1051"]}]},{"name":"Embedded Humans","award":["N00014-16-1-2206"],"award-info":[{"award-number":["N00014-16-1-2206"]}]},{"name":"MURIs"},{"name":"UC-Philippine-California Advanced Research Institute","award":["IIID-2016-005"],"award-info":[{"award-number":["IIID-2016-005"]}]},{"name":"NSERC PGS-D Program"},{"name":"Sylvia Herbert"},{"name":"NSF"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tac.2018.2797194","type":"journal-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T19:16:33Z","timestamp":1516734993000},"page":"3675-3688","source":"Crossref","is-referenced-by-count":147,"title":["Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems"],"prefix":"10.1109","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8506-3665","authenticated-orcid":false,"given":"Mo","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3863-8945","authenticated-orcid":false,"given":"Sylvia L.","family":"Herbert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2992-3418","authenticated-orcid":false,"given":"Mahesh S.","family":"Vashishtha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5826-7686","authenticated-orcid":false,"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3192-3185","authenticated-orcid":false,"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"},{"key":"ref38","article-title":"Control\n synthesis for nonlinear optimal control via convex relaxations","author":"zhao","year":"2016"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0957-7_6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2272152"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400336"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref35","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3108-8_9"},{"key":"ref10","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid\n systems","author":"frehse","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/1055678021000012435"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref14","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"0","journal-title":"Proc Conf Comput Aided Verification"},{"key":"ref15","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"0","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914528059"},{"key":"ref17","first-page":"297","article-title":"Parallelotope bundles for polynomial reachability","author":"dreossi","year":"0","journal-title":"Proc ACM Int Conf Hybrid Syst Comput Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7526557"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref28","first-page":"11","article-title":"Reach-avoid problems with\n time-varying dynamics, targets and constraints","author":"fisac","year":"0","journal-title":"Proc ACM Int Conf Hybrid Syst Comput Control"},{"key":"ref4","first-page":"232","article-title":"Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model","author":"ghosh","year":"0","journal-title":"Proc ACM Int Conf Hybrid Syst Comput Control"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967718"},{"key":"ref3","first-page":"1","article-title":"Real-Time distribution grid state estimation with limited sensors and load\n forecasting","author":"dobbe","year":"0","journal-title":"Intl Conf on Cyber-Physical Syst"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-6461"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470691"},{"key":"ref8","first-page":"200","article-title":"dReach: \n$\\delta$-Reachability analysis for hybrid systems","author":"kong","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225830"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298140"},{"key":"ref9","first-page":"68","article-title":"C2E2: A verification tool\n for stateflow models","author":"duggirala","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref1","first-page":"87","article-title":"Exact\n and efficient Hamilton-Jacobi-based guaranteed safety analysis via system decomposition","author":"chen","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1186\/s40687-016-0068-7"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"2589","DOI":"10.3182\/20110828-6-IT-1002.02261","article-title":"Minimal time problems with moving targets and obstacles","volume":"44","author":"bokanowski","year":"2011","journal-title":"IFAC Proc Volumes"},{"key":"ref26","first-page":"58","article-title":"Efficient finite abstraction of mixed monotone systems","author":"coogan","year":"0","journal-title":"Proc ACM Int Conf Hybrid Syst Comput Control"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400532"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/9\/8509208\/8267187-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8509208\/08267187.pdf?arnumber=8267187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:48:35Z","timestamp":1649443715000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8267187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":39,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tac.2018.2797194","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}