{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T11:38:34Z","timestamp":1769168314842,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/icra.2017.7989015","type":"proceedings-article","created":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T17:44:28Z","timestamp":1501004668000},"page":"87-92","source":"Crossref","is-referenced-by-count":33,"title":["Exact and efficient Hamilton-Jacobi guaranteed safety analysis via system decomposition"],"prefix":"10.1109","author":[{"given":"Mo","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvia","family":"Herbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"mitchell","year":"2009","journal-title":"A Toolbox of level set methods"},{"key":"ref11","first-page":"543","author":"majumdar","year":"0","journal-title":"Algorithmic Foundations of Robotics X - Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics WAFR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883838"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.03.020"},{"key":"ref15","author":"darbon","year":"2016","journal-title":"Algorithms for overcoming the curse of dimensionality for certain hamilton-jacobi equations arising in control theory and elsewhere"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798268"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967718"},{"key":"ref19","article-title":"Reach-avoid problems with time-varying dynamics, targets and constraints","author":"fisac","year":"2015","journal-title":"18th International Conference on Hybrid Systems Computation and Controls"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02261"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref6","author":"vaisbord","year":"1988","journal-title":"Introduction to Multi-Player Differential Games and Their Applications"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738998"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.4.1591"},{"key":"ref7","author":"mitchell","year":"2002","journal-title":"Application of level set methods to control and reachability problems in continuous and hybrid systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref9","author":"osher","year":"2002","journal-title":"Level Set Methods and Dynamic Implicit Surfaces"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1984.33.33040"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"},{"key":"ref21","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2307\/1999247"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"}],"event":{"name":"2017 IEEE International Conference on Robotics and Automation (ICRA)","location":"Singapore, Singapore","start":{"date-parts":[[2017,5,29]]},"end":{"date-parts":[[2017,6,3]]}},"container-title":["2017 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7960754\/7988677\/07989015.pdf?arnumber=7989015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T21:33:14Z","timestamp":1506979994000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7989015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icra.2017.7989015","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}