{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,8]],"date-time":"2026-08-08T17:19:16Z","timestamp":1786209556664,"version":"3.56.0"},"reference-count":67,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263977","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"2242-2253","source":"Crossref","is-referenced-by-count":408,"title":["Hamilton-Jacobi reachability: A brief overview and recent advances"],"prefix":"10.1109","author":[{"given":"Somil","family":"Bansal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mo","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvia","family":"Herbert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02261"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225351"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref31","author":"parrilo","year":"2000","journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587948"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"ref60","author":"royo","year":"2016","journal-title":"Recursive regression with neural networks Approximating the HJI PDE solution"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-3292"},{"key":"ref61","author":"jiang","year":"2016","journal-title":"Using neural networks to compute approximate and guaranteed feasible Hamilton-Jacobi-Bellman PDE solutions"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000774"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-41528-4_29","article-title":"Automatic reachability analysis for nonlinear hybrid models with C2E2","author":"fan","year":"2016","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"ref64","author":"chen","year":"2017","journal-title":"Provably safe and robust drone routing via sequential path planning A case study in San Francisco and the Bay Area"},{"key":"ref27","article-title":"C2E2: A verification tool for stateflow models","author":"duggirala","year":"2015","journal-title":"Proc Int Conf Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref65","article-title":"Safe sequential path planning of multi-vehicle systems under presence of disturbances and imperfect information","author":"bansal","year":"2017","journal-title":"Proc Amer Control Conf"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798509"},{"key":"ref29","article-title":"dReach: b-Reachability analysis for hybrid systems","author":"kong","year":"2015","journal-title":"Proc Int Conf Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2577619"},{"key":"ref2","author":"osher","year":"2006","journal-title":"Level Set Methods and Dynamic Implicit Surfaces"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.4.1591"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2643259"},{"key":"ref21","article-title":"Safe autonomy under perception uncertainty using chance-constrained temporal logic","author":"jha","year":"2017","journal-title":"J Automated Reasoning"},{"key":"ref24","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":"Proc Int Conf Computer Aided Verification"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"ref26","article-title":"An introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc ARCH CPSWeek"},{"key":"ref25","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377184"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377358"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref56","author":"fisac","year":"2017","journal-title":"A general safety framework for learning-based control in uncertain robotic systems"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2272152"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.543703"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"ref52","article-title":"Exact and efficient Hamilton-Jacobi-based guaranteed safety analysis via system decomposition","author":"chen","year":"2017","journal-title":"Proc IEEE Int Conf Robotics and Automation"},{"key":"ref10","article-title":"Robust Sequential Path Planning Under Disturbances and Adversarial Intruder","author":"chen","year":"0","journal-title":"IEEE Trans Control Syst Technol"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402951"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref13","author":"chen","year":"2016","journal-title":"Decomposition of reachable sets and tubes for a class of nonlinear systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1186\/s40687-016-0068-7"},{"key":"ref16","first-page":"1","article-title":"Algorithm for overcoming the curse of dimensionality for time-dependent non-convex Hamilton-Jacobi equations arising from optimal control and differential games problems","author":"chow","year":"2016","journal-title":"J Scientific Computing"},{"key":"ref17","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref18","volume":"89","author":"belta","year":"2017","journal-title":"Formal Methods for Discrete-Time Dynamical Systems ser Studies in Systems Decision and Control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45656-2_36"},{"key":"ref4","author":"mitchell","year":"2004","journal-title":"A Toolbox of level set methods"},{"key":"ref3","author":"mitchell","year":"2002","journal-title":"Application of level set methods to control and reachability problems in continuous and hybrid systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2514\/1.21562"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.21236\/ADA572108"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980264"},{"key":"ref46","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/019"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.21236\/ADA127758"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1080\/1055678021000012435"},{"key":"ref44","doi-asserted-by":"crossref","DOI":"10.1145\/2883817.2883838","article-title":"Parallelotope bundles for polynomial reachability","author":"dreossi","year":"2016","journal-title":"Proc ACM Int Conf Hybrid Systems Computation and Control"},{"key":"ref43","first-page":"1209","volume":"33","author":"majumdar","year":"2014","journal-title":"Convex optimization of nonlinear feedback controllers via occupation measures"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","location":"Melbourne, Australia","start":{"date-parts":[[2017,12,12]]},"end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263977.pdf?arnumber=8263977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T22:12:44Z","timestamp":1660342364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":67,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263977","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}