{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:17:48Z","timestamp":1729660668198,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797741","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:54:22Z","timestamp":1483048462000},"page":"12-22","source":"Crossref","is-referenced-by-count":7,"title":["Parallel reachability analysis for hybrid systems"],"prefix":"10.1109","author":[{"given":"Amit","family":"Gurung","sequence":"first","affiliation":[]},{"given":"Arup","family":"Deka","sequence":"additional","affiliation":[]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[]},{"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Rajarshi","family":"Ray","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","volume":"3414","author":"girard","year":"2005","journal-title":"Proc of HSCC 2015 ser LNCS"},{"key":"ref11","first-page":"540","article-title":"Reachability analysis of hybrid systems using support functions","volume":"5643","author":"guernic","year":"2009","journal-title":"CAV 2009 Ser LNCS"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-642-31759-0_12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-26287-1_1"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/2728606.2728630","article-title":"HYST: a source transformation and translation tool for hybrid automaton models","author":"bak","year":"2015","journal-title":"Proc of HSCC'15 ACM"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"STTT"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-642-54862-8_51"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"fr\u00e4nzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"year":"2009","author":"le guernic","journal-title":"Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/225058.225162"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02431-3","volume":"317","author":"rockafellar","year":"1998","journal-title":"Variational Analysis"},{"year":"2015","author":"lee","journal-title":"Introduction to Embedded Systems - A Cyber-Physical Systems Approach","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-319-26287-1_2"},{"key":"ref5","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"Proc of CAV Ser LNCS"},{"key":"ref8","first-page":"1","article-title":"Guided search for hybrid systems based on coarse-grained space abstractions","author":"bogomolov","year":"2015","journal-title":"STTT"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-319-13338-6_10"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1371\/journal.pcbi.1004591"},{"key":"ref9","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","volume":"41","author":"girard","year":"2008","journal-title":"Proc of IFAC World Congress"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.tcs.2009.02.042"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-662-46681-0_15","article-title":"dReach: 8-reachability analysis for hybrid systems","volume":"9035","author":"kong","year":"2015","journal-title":"TACAS Ser Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-319-02444-8_37"},{"key":"ref21","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","volume":"8044","author":"chen","year":"2013","journal-title":"Proc of CAV Ser LNCS"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1145\/2728606.2728644","article-title":"Poster: Parallel state space exploration of linear systems with inputs using xspeed","author":"ray","year":"2015","journal-title":"Proc HSCC'15"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-02658-4_19"},{"key":"ref26","first-page":"76","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","volume":"1569","author":"chutinan","year":"1999","journal-title":"Proc HSCC Ser LNCS"},{"key":"ref25","first-page":"326","article-title":"Benchmarks for hybrid systems verification","volume":"2993","author":"fehnker","year":"2004","journal-title":"Proc HSCC Ser LNCS"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797741.pdf?arnumber=7797741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T06:38:54Z","timestamp":1658299134000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797741\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797741","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}