{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:03:56Z","timestamp":1729670636268,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318259","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T22:52:50Z","timestamp":1447109570000},"page":"51-54","source":"Crossref","is-referenced-by-count":1,"title":["Unbounded-time reachability analysis of hybrid systems by abstract acceleration"],"prefix":"10.1109","author":[{"given":"Peter","family":"Schrammel","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_36"},{"key":"ref11","first-page":"11","article-title":"Accurate hybridization of nonlinear systems","author":"dang","year":"2011","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-642-40196-1_13","article-title":"STRONG: A trajectory-based verification toolbox for hybrid systems","volume":"8054","author":"deng","year":"2013","journal-title":"Quantitative Evaluation of Systems"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"Computer-Aided Verification"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/cviu.1998.0674"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/11823230_10","article-title":"Combining widening and acceleration in linear relation analysis","author":"gonnord","year":"2006","journal-title":"Static Analysis Symposium"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.09.016"},{"key":"ref17","first-page":"540","article-title":"Reachability analysis of hybrid systems using support functions","volume":"5643","author":"guernic","year":"2009","journal-title":"CAV"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535843"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0064-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185658"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_18"},{"journal-title":"Symbolic methods for exploring infinite state spaces","year":"1998","author":"boigelot","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-540-45069-6_39","article-title":"Linear invariant generation using non-linear constraint solving","author":"col\u00f3n","year":"2003","journal-title":"Computer-Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.055"},{"key":"ref20","first-page":"200","article-title":"dReach: 8-Reachability Analysis for Hybrid Systems","volume":"9035","author":"kong","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967749"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","volume":"1790","author":"kurzhanskiy","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.09.009"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185651"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.051"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_19"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318259.pdf?arnumber=7318259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T11:02:27Z","timestamp":1567335747000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318259\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318259","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}