{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:31:57Z","timestamp":1761647517365},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282139","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T12:01:54Z","timestamp":1186574514000},"page":"4172-4177","source":"Crossref","is-referenced-by-count":9,"title":["Reachability Analysis Of Linear Hybrid Automata By Using Counterexample Fragment Based Abstraction Refinement"],"prefix":"10.1109","author":[{"given":"Shengbing","family":"Jiang","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Possibly not closed convex polyhedra and the Parma Polyhedra Library","author":"bagnara","year":"2002","journal-title":"Static Analysis Proc Int Symp Volume 2477 of LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/504704.504705"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980714"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410300190X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2307\/2310345"},{"key":"ref8","first-page":"258","article-title":"PHAVer: Algorithmic Verification of Hybrid Systems past HyTech","author":"frehse","year":"2005","journal-title":"Proceedings of the Fifth International Workshop on Hybrid Systems Computation and Control (HSCC) Lecture Notes in Computer Science 3414"},{"key":"ref7","first-page":"242","article-title":"Refining Abstractions of Hybrid SystemsUsing Counterexample Fragments","author":"fehnker","year":"2005","journal-title":"Proceedings of the Fifth International Workshop on Hybrid Systems Computation and Control (HSCC) Lecture Notes in Computer Science 3414"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.022"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref1","article-title":"Counter-example guided predicate abstraction of hybrid system","author":"alur","year":"2003","journal-title":"TACAS'03 volume 2619 of LNCS"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282139.pdf?arnumber=4282139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:29:16Z","timestamp":1489688956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282139","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}