{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:50:10Z","timestamp":1780116610954,"version":"3.54.0"},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171968","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T17:26:01Z","timestamp":1438277161000},"page":"4086-4095","source":"Crossref","is-referenced-by-count":16,"title":["Simulation-guided approaches for verification of automotive powertrain control systems"],"prefix":"10.1109","author":[{"given":"James","family":"Kapinski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jyotirmoy","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Xiaoqing Jin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hisahiro","family":"Ito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Butts","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Systematic test and validation of complex embedded systems","author":"tatar","year":"2014","journal-title":"Embedded Real Time Software and Systems"},{"key":"ref38","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Proc FORMATS-FTRTFT'04"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref37","article-title":"Simulink design verifier vs. SPIN a comparative case study","author":"leitner","year":"2008","journal-title":"Proc 10th Int'l Workshop Formal Methods for Industrial Critical Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1111\/j.1756-2171.2012.00162.x"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.4271\/2012-01-0960"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"ref40","first-page":"211","article-title":"Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems","author":"truong","year":"2010","journal-title":"Proc of Hybrid Systems Computation and Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0009-2509(84)85084-8"},{"key":"ref12","article-title":"This Car Runs on Code","author":"charette","year":"2009","journal-title":"IEEE Spectrum"},{"key":"ref13","first-page":"258","article-title":"Flow*: An analyzer for non-linear hybrid systems","author":"chen","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"Applicability of modified condition\/decision coverage to software testing","volume":"9","year":"1994","journal-title":"Software Engineering Journal"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ansi-c programs. In Kurt Jensen and Andreas Podelski, editors","volume":"2988","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0066-0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref19","first-page":"167","article-title":"a toolbox for verification and parameter synthesis of hybrid systems","author":"breach","year":"2010","journal-title":"CAV"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_24"},{"key":"ref4","first-page":"254","article-title":"LiRo: A Tool for Temporal Logic Falsification for Hybrid Systems","author":"yashwanth","year":"2011","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.12.012"},{"key":"ref29","first-page":"235","article-title":"Software verification with blast","author":"thomas","year":"2003","journal-title":"Model Checking Software"},{"key":"ref5","article-title":"Anonymous. Model-based testing and validation of control software with reactis","year":"2003"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"ref7","article-title":"Simulation-guided contraction analysis","author":"ayca","year":"2015","journal-title":"Indian Control Conference (to appear)"},{"key":"ref2","article-title":"Multiple-shooting, CEGAR-based falsification for hybrid systems","author":"jyotirmoy","year":"2014","journal-title":"To appear in Proc of Embedded Software"},{"key":"ref9","first-page":"125","author":"behrmann","year":"2006","journal-title":"Quantitative Evaluation of Systems 2006 QEST 2006 Third International Conference on"},{"key":"ref1","article-title":"Rrt-rex: Efficient guiding strategies for testing of temporal properties of hybrid systems","year":"2014","journal-title":"Publication Pending"},{"key":"ref46","first-page":"3918","article-title":"A trajectory splicing approach to concretizing counterexamples for hybrid systems","author":"aditya","year":"2013","journal-title":"Decision and Control (CDC) 2013 IEEE 52nd Annual Conference on"},{"key":"ref20","first-page":"264","article-title":"Efficient robust monitoring for STL","author":"donz\u00e9","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref45","author":"wolfram","year":"1999","journal-title":"The Mathematica Book version 4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.039"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"ref42","first-page":"411","article-title":"Pvs: Combining specification, proof checking, and model checking","author":"sam","year":"1996","journal-title":"Computer Aided Verification"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref41","first-page":"748","article-title":"PVS: A prototype verification system","author":"owre","year":"1992","journal-title":"11th International Conference on Automated Deduction (CADE) volume 607 of Lecture Notes in Artificial Intelligence"},{"key":"ref23","first-page":"171","article-title":"Temporal logic verification using simulation. In Eugene Asarin and Patricia Bouyer, editors","author":"fainekos","year":"2006","journal-title":"Formal Modeling and Analysis of Timed Systems volume 4202 of Lecture Notes in Computer Science"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-642-31365-3_23","article-title":"?-complete decision procedures for satisfiability over the reals","author":"gao","year":"2012","journal-title":"Automated Reasoning"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011","journal-title":"Computer Aided Verification"}],"event":{"name":"2015 American Control Conference (ACC)","location":"Chicago, IL, USA","start":{"date-parts":[[2015,7,1]]},"end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171968.pdf?arnumber=7171968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T18:49:39Z","timestamp":1567018179000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171968\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171968","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}