{"id":"https://openalex.org/W1544649343","doi":"https://doi.org/10.1109/acc.2015.7171968","title":"Simulation-guided approaches for verification of automotive powertrain control systems","display_name":"Simulation-guided approaches for verification of automotive powertrain control systems","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W1544649343","doi":"https://doi.org/10.1109/acc.2015.7171968","mag":"1544649343"},"language":"en","primary_location":{"id":"doi:10.1109/acc.2015.7171968","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7171968","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043322219","display_name":"James Kapinski","orcid":"https://orcid.org/0000-0003-4130-2913"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]},{"id":"https://openalex.org/I4210093665","display_name":"Toyota Motor North America (United States)","ror":"https://ror.org/0076knn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093665","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"James Kapinski","raw_affiliation_strings":["Toyota Technical Center, Gardena, CA, USA","Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technical Center, Gardena, CA, USA","institution_ids":["https://openalex.org/I4210093665"]},{"raw_affiliation_string":"Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]},{"id":"https://openalex.org/I4210093665","display_name":"Toyota Motor North America (United States)","ror":"https://ror.org/0076knn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093665","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy Deshmukh","raw_affiliation_strings":["Toyota Technical Center, Gardena, CA, USA","Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technical Center, Gardena, CA, USA","institution_ids":["https://openalex.org/I4210093665"]},{"raw_affiliation_string":"Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005037066","display_name":"Xiaoqing Jin","orcid":"https://orcid.org/0000-0002-8836-3505"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]},{"id":"https://openalex.org/I4210093665","display_name":"Toyota Motor North America (United States)","ror":"https://ror.org/0076knn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093665","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Xiaoqing Jin","raw_affiliation_strings":["Toyota Technical Center, Gardena, CA, USA","Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technical Center, Gardena, CA, USA","institution_ids":["https://openalex.org/I4210093665"]},{"raw_affiliation_string":"Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109242534","display_name":"Hisahiro Ito","orcid":null},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]},{"id":"https://openalex.org/I4210093665","display_name":"Toyota Motor North America (United States)","ror":"https://ror.org/0076knn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093665","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Hisahiro Ito","raw_affiliation_strings":["Toyota Technical Center, Gardena, CA, USA","Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technical Center, Gardena, CA, USA","institution_ids":["https://openalex.org/I4210093665"]},{"raw_affiliation_string":"Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108474405","display_name":"Ken Butts","orcid":null},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]},{"id":"https://openalex.org/I4210093665","display_name":"Toyota Motor North America (United States)","ror":"https://ror.org/0076knn86","country_code":"US","type":"company","lineage":["https://openalex.org/I4210093665","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH","US"],"is_corresponding":false,"raw_author_name":"Ken Butts","raw_affiliation_strings":["Toyota Technical Center, Gardena, CA, USA","Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technical Center, Gardena, CA, USA","institution_ids":["https://openalex.org/I4210093665"]},{"raw_affiliation_string":"Toyota Technical Center, 1630 W. 186th St., Gardena, CA 90248, USA","institution_ids":["https://openalex.org/I1293612202"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4308,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.94329866,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"4086","last_page":"4095"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/powertrain","display_name":"Powertrain","score":0.8409491777420044},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.7239415645599365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6005791425704956},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.5923492908477783},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4466868042945862},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.43657559156417847},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4348418712615967},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2781943678855896},{"id":"https://openalex.org/keywords/torque","display_name":"Torque","score":0.16776588559150696},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.11036491394042969},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10187196731567383},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.07066133618354797}],"concepts":[{"id":"https://openalex.org/C76047896","wikidata":"https://www.wikidata.org/wiki/Q1786258","display_name":"Powertrain","level":3,"score":0.8409491777420044},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.7239415645599365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6005791425704956},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.5923492908477783},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4466868042945862},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.43657559156417847},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4348418712615967},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2781943678855896},{"id":"https://openalex.org/C144171764","wikidata":"https://www.wikidata.org/wiki/Q48103","display_name":"Torque","level":2,"score":0.16776588559150696},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11036491394042969},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10187196731567383},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.07066133618354797},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acc.2015.7171968","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acc.2015.7171968","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W1496681274","https://openalex.org/W1508536183","https://openalex.org/W1534850143","https://openalex.org/W1547304883","https://openalex.org/W1553511155","https://openalex.org/W1596552075","https://openalex.org/W1627776297","https://openalex.org/W1649096907","https://openalex.org/W1659048632","https://openalex.org/W1938285999","https://openalex.org/W1966224165","https://openalex.org/W1968745852","https://openalex.org/W1997070622","https://openalex.org/W2000756181","https://openalex.org/W2011199136","https://openalex.org/W2031397756","https://openalex.org/W2039287452","https://openalex.org/W2040739365","https://openalex.org/W2041422323","https://openalex.org/W2049399166","https://openalex.org/W2078162013","https://openalex.org/W2080593426","https://openalex.org/W2080932760","https://openalex.org/W2085838366","https://openalex.org/W2101804404","https://openalex.org/W2104730516","https://openalex.org/W2105614525","https://openalex.org/W2112656403","https://openalex.org/W2116586985","https://openalex.org/W2120953717","https://openalex.org/W2129538349","https://openalex.org/W2131399618","https://openalex.org/W2132394594","https://openalex.org/W2137351629","https://openalex.org/W2153024173","https://openalex.org/W2153803621","https://openalex.org/W2159433799","https://openalex.org/W2162200351","https://openalex.org/W2163590987","https://openalex.org/W2176215692","https://openalex.org/W2291395408","https://openalex.org/W3124981455","https://openalex.org/W4248646522","https://openalex.org/W4285719527","https://openalex.org/W6607093319","https://openalex.org/W6631954194","https://openalex.org/W6632722279","https://openalex.org/W6696897887"],"related_works":["https://openalex.org/W2123971851","https://openalex.org/W3028335530","https://openalex.org/W4312208984","https://openalex.org/W2896832127","https://openalex.org/W4386000881","https://openalex.org/W2117413004","https://openalex.org/W2379114464","https://openalex.org/W147718069","https://openalex.org/W4385985080","https://openalex.org/W1987961794"],"abstract_inverted_index":{"Automotive":[0],"embedded":[1],"control":[2,66,84,103,123],"systems":[3,18],"are":[4,29],"a":[5,23,121],"vital":[6],"aspect":[7],"of":[8,16,39,48,62,80,100],"modern":[9],"automotive":[10,64,101],"development,":[11],"but":[12],"the":[13,37,40,57,60,71,77],"considerable":[14],"complexity":[15,38],"these":[17],"has":[19],"made":[20],"quality":[21,61],"checking":[22,27],"challenging":[24],"endeavor.":[25],"Simulation-based":[26],"approaches":[28,75,95],"attractive,":[30],"as":[31],"they":[32],"often":[33],"scale":[34],"well":[35],"with":[36],"system":[41,67],"design.":[42,68,85],"This":[43],"paper":[44],"presents":[45],"an":[46,63],"overview":[47],"simulation-guided":[49,94,115],"techniques":[50],"that":[51,92],"can":[52],"be":[53],"used":[54],"to":[55,96],"increase":[56],"confidence":[58],"in":[59,112,120],"powertrain":[65,83,102,122],"We":[69,106],"discuss":[70,88],"relationship":[72],"between":[73],"simulation-based":[74],"and":[76,82,117],"broader":[78],"areas":[79],"verification":[81],"Also,":[86],"we":[87],"new":[89,114],"software":[90],"tools":[91,116],"use":[93],"address":[97],"various":[98],"aspects":[99],"design":[104],"verification.":[105],"conclude":[107],"by":[108],"considering":[109],"ongoing":[110],"challenges":[111],"developing":[113],"applying":[118],"them":[119],"development":[124],"context.":[125]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}