{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:30:58Z","timestamp":1758126658856},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/acc.2008.4586828","type":"proceedings-article","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T14:28:20Z","timestamp":1218551300000},"page":"2260-2265","source":"Crossref","is-referenced-by-count":15,"title":["Level set methods for computing reachable sets of systems with differential algebraic equation dynamics"],"prefix":"10.1109","author":[{"given":"Elizabeth Ann","family":"Cross","sequence":"first","affiliation":[]},{"given":"Ian M.","family":"Mitchell","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78929-1_51","article-title":"level set methods for computing reachable sets of hybrid systems with differential algebraic equation dynamics","author":"mitchell","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282216"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1998.6090"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586828"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/9.173142"},{"key":"3","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-540-31954-2_31","article-title":"a toolbox of hamilton-jacobi solvers for analysis of nondeterministic continuous and hybrid systems","author":"mitchell","year":"2005","journal-title":"ser Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2007.10.009"},{"key":"7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-30494-4_3","article-title":"verification of analog and mixed-signal circuits using hybrid system techniques","author":"dang","year":"2004","journal-title":"ser Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1137\/S003614459933425X"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971392"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01204182"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980715"}],"event":{"name":"2008 American Control Conference (ACC '08)","start":{"date-parts":[[2008,6,11]]},"location":"Seattle, WA","end":{"date-parts":[[2008,6,13]]}},"container-title":["2008 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4547420\/4586444\/04586828.pdf?arnumber=4586828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:32:07Z","timestamp":1557732727000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4586828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/acc.2008.4586828","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}