{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T17:23:11Z","timestamp":1748712191566,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6759932","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"508-513","source":"Crossref","is-referenced-by-count":6,"title":["A fast method for solving guard set intersection in nonlinear hybrid reachability"],"prefix":"10.1109","author":[{"given":"Moussa","family":"Maiga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nacim","family":"Ramdani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Trave-Massuyes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1023\/A:1014798618404","article-title":"An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE","volume":"7","author":"nedialkov","year":"2001","journal-title":"Reliable Computing"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"13"},{"key":"14","first-page":"228","article-title":"Validating an a priori enclosure using high order Taylor Series","author":"corliss","year":"1996","journal-title":"Scientific Computing Computer Arithmetic and Validated Numerics"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"journal-title":"Hierarchical Modeling and Analysis of Embedded Systems","year":"2003","author":"alur","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"5","article-title":"Flowpipe-guard intersection for reachability computations with support functions","author":"frehse","year":"2012","journal-title":"ADHS'12"},{"key":"4","first-page":"255","article-title":"Enclosing the solutions of ordinary initial and boundary value problems","author":"lohner","year":"1987","journal-title":"Computer Arithmetic Scientific Computation and Programming Languages"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"8","first-page":"130","article-title":"Beyond HYTECH: Hybrid systems analysis using interval numerical methods","author":"henzinger","year":"2000","journal-title":"HSCC"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06759932.pdf?arnumber=6759932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:35:21Z","timestamp":1498109721000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6759932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6759932","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}