{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:06:17Z","timestamp":1761581177399,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760488","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T18:14:07Z","timestamp":1394734447000},"page":"3918-3925","source":"Crossref","is-referenced-by-count":20,"title":["A trajectory splicing approach to concretizing counterexamples for hybrid systems"],"prefix":"10.1109","author":[{"given":"Aditya","family":"Zutshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donze?","year":"2010","journal-title":"Pro Forma"},{"key":"35","first-page":"368","article-title":"Falsification of LTL safety properties in hybrid systems","author":"plaku","year":"2009","journal-title":"Proc TACAS"},{"key":"17","first-page":"167","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donze?","year":"2010","journal-title":"Proc CAV"},{"key":"36","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1007\/978-3-642-31424-7_56","article-title":"Hybridsal relational abstracter","author":"tiwari","year":"2012","journal-title":"Computer Aided Verification CAV"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_47"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024794"},{"key":"16","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739371"},{"journal-title":"A Multiple Shooting Algorithm for Direct Solution of Optimal Control Problems","year":"1983","author":"bock","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"21","first-page":"326","article-title":"Benchmarks for hybrid systems verification","volume":"2993","author":"fehnker","year":"2004","journal-title":"Proc HSCC"},{"key":"20","first-page":"171","article-title":"Temporal logic verification using simulation","author":"fainekos","year":"2006","journal-title":"FORMATS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/10.68209"},{"key":"23","first-page":"209","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure","volume":"1","author":"fra?nzle","year":"2007","journal-title":"Journal on Satisfiability (JSAT)"},{"key":"24","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Proc CAV"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.2514\/3.20223"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2008.17"},{"key":"28","first-page":"283","article-title":"On systematic simulation of open continuous systems","author":"kapinski","year":"2003","journal-title":"HSCC"},{"key":"29","article-title":"An RRT-based algorithm for testing and validating multi-robot controllers","author":"kim","year":"2005","journal-title":"Technical report DTIC Document"},{"key":"3","first-page":"254","article-title":"Staliro: A tool for temporal logic falsification for hybrid systems","author":"annapureddy","year":"2011","journal-title":"Proc TACAS"},{"key":"2","first-page":"95","article-title":"Probabilistic temporal logic falsification of cyber-physical systems","volume":"12","author":"abbas","year":"2012","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"10","first-page":"451","article-title":"Incremental search methods for reachability analysis of continuous and hybrid systems","author":"bhatia","year":"2004","journal-title":"Proc HSCC"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377036"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1172\/JCI110398"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2337\/diabetes.38.12.1512"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.770022"},{"key":"5","article-title":"Reachability computation for hybrid systems with Ariadne","author":"benvenuti","year":"2008","journal-title":"Proc the 17th IFAC World Congress"},{"key":"31","article-title":"Rapidly-exploring random trees a new tool for path planning","author":"la valle","year":"1998","journal-title":"Technical Report TR 98-11 CS Dept"},{"key":"4","first-page":"200","article-title":"A tutorial on UPPAAL","author":"behrmann","year":"2004","journal-title":"SFM-RT 200"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718577"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2514\/2.4231"}],"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\/06760488.pdf?arnumber=6760488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T08:50:47Z","timestamp":1565254247000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760488","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}