{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T21:55:21Z","timestamp":1786139721714,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-931843"],"award-info":[{"award-number":["CNS-931843"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N0014-08-0696"],"award-info":[{"award-number":["N0014-08-0696"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,14]]},"DOI":"10.1145\/2728606.2728612","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T18:13:36Z","timestamp":1430504016000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":149,"title":["Reach-avoid problems with time-varying dynamics, targets and constraints"],"prefix":"10.1145","author":[{"given":"Jaime F.","family":"Fisac","sequence":"first","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mo","family":"Chen","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S. Shankar","family":"Sastry","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 53rd IEEE Conference on Decision and Control","author":"Akametalu A. K.","year":"2014","unstructured":"A. K. Akametalu , J. F. Fisac , Reachability-Based Safe Learning with Gaussian Processes\". Proceedings of the 53rd IEEE Conference on Decision and Control ( 2014 ). A. K. Akametalu, J. F. Fisac, et al. \"Reachability-Based Safe Learning with Gaussian Processes\". Proceedings of the 53rd IEEE Conference on Decision and Control (2014)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(90)90113-U"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(89)90096-5"},{"key":"e_1_3_2_1_4_1","volume-title":"Dynamic Programming","author":"Bellman R.","year":"1957","unstructured":"R. Bellman . Dynamic Programming . 1 st ed. Princeton, NJ, USA : Princeton University Press , 1957 . R. Bellman. Dynamic Programming. 1st ed. Princeton, NJ, USA: Princeton University Press, 1957.","edition":"1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02261"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/090762075"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2009.06.041"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7331044"},{"key":"e_1_3_2_1_9_1","volume-title":"Theory of ordinary differential equations","author":"Coddington E. A.","year":"1955","unstructured":"E. A. Coddington and N. Levinson . Theory of ordinary differential equations . Tata McGraw-Hill Education , 1955 . E. A. Coddington and N. Levinson. Theory of ordinary differential equations. Tata McGraw-Hill Education, 1955."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/120880094"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0126"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1984.33.33040"},{"key":"e_1_3_2_1_13_1","volume-title":"A toolbox of level set methods","author":"Mitchell I. M.","year":"2004","unstructured":"I. M. Mitchell . A toolbox of level set methods . 2004 . URL : http:\/\/www.cs.ubc.ca\/~mitchell\/ToolboxLS. I. M. Mitchell. A toolbox of level set methods. 2004. URL: http:\/\/www.cs.ubc.ca\/~mitchell\/ToolboxLS."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_15_1","volume-title":"Stanford University","author":"Mitchell I.","year":"2002","unstructured":"I. Mitchell . \" Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems\". PhD thesis . Stanford University , 2002 . I. Mitchell. \"Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems\". PhD thesis. Stanford University, 2002."},{"key":"e_1_3_2_1_16_1","volume-title":"Stanford University","author":"Mitchell I. M.","year":"2002","unstructured":"I. M. Mitchell . \" Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems\". PhD thesis . Stanford University , 2002 . I. M. Mitchell. \"Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems\". PhD thesis. Stanford University, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/b98879"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/0728049"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1999.6345"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":"A viability approach for optimal control with infimum cost","volume":"1","author":"Quincampoix M.","year":"2002","unstructured":"M. Quincampoix and O.-S. Serea . \" A viability approach for optimal control with infimum cost \". Annals. Stiint. Univ. Al. I. Cuza Iasi, sI a, Mat 1 ( 2002 ), pp. 1 -- 20 . M. Quincampoix and O.-S. Serea. \"A viability approach for optimal control with infimum cost\". Annals. Stiint. Univ. Al. I. Cuza Iasi, sI a, Mat 1 (2002), pp. 1--20.","journal-title":"Annals. Stiint. Univ. Al. I. Cuza Iasi, sI a, Mat"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022631318424"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00929440"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.4.1591"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90177-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"}],"event":{"name":"HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control","location":"Seattle Washington","acronym":"HSCC '15","sponsor":["IEEE-CSS Control Systems Society","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728612","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2728606.2728612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:32Z","timestamp":1750227392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":25,"alternative-id":["10.1145\/2728606.2728612","10.1145\/2728606"],"URL":"https:\/\/doi.org\/10.1145\/2728606.2728612","relation":{},"subject":[],"published":{"date-parts":[[2015,4,14]]},"assertion":[{"value":"2015-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}