{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:17:09Z","timestamp":1729617429647,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184748","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:38:00Z","timestamp":1061998680000},"page":"1601-1606","source":"Crossref","is-referenced-by-count":0,"title":["The batch evaporator: A case study of target control for hybrid systems using level set methods"],"prefix":"10.1109","volume":"2","author":[{"given":"A.","family":"Trontis","sequence":"first","affiliation":[]},{"given":"M.P.","family":"Spathopoulos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1080\/0020717031000123328"},{"journal-title":"Level Set Methods and Fast Marching Methods","year":"1999","author":"sethian","key":"13"},{"key":"14","first-page":"349","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"tomlin","year":"1999","journal-title":"Automatica Special Issue on Hybrid Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1137\/0728049"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1999.6345"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48983-5_10","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"Hybrid Systems Computation and Control LNCS 1569"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.7.382-399"},{"journal-title":"Viability Theory Systems and Control Foundations and Applications","year":"1991","author":"aubin","key":"1"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45351-2_34","article-title":"Validating a hamilton-jacobi approximation to hybrid system reachable sets","author":"mitchell","year":"2001","journal-title":"Hybrid Systems Computation and Control LNCS 2034"},{"article-title":"Weighted eno schemes for hamilton-jacobi equations","year":"1997","author":"jiang","key":"7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-64358-3_34","article-title":"Reachability analysis via face lifting","author":"dang","year":"1998","journal-title":"Hybrid Systems Computation and Control LNCS 1386"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1984-0744921-8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.2307\/1999343"},{"article-title":"Labelling algorithms for ranking shortest paths","year":"2000","author":"martins","key":"9"},{"key":"8","first-page":"302","article-title":"The batch evaporator: A benchmark example for safety analysis of processing systems under logic control","author":"kowalewski","year":"1998","journal-title":"Proceedings of the WODES98"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26567\/01184748.pdf?arnumber=1184748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:09:15Z","timestamp":1497571755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184748\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184748","relation":{},"subject":[]}}