{"id":"https://openalex.org/W2600694810","doi":"https://doi.org/10.1109/tie.2017.2688961","title":"Model Validation of PWM DC\u2013DC Converters","display_name":"Model Validation of PWM DC\u2013DC Converters","publication_year":2017,"publication_date":"2017-03-31","ids":{"openalex":"https://openalex.org/W2600694810","doi":"https://doi.org/10.1109/tie.2017.2688961","mag":"2600694810"},"language":"en","primary_location":{"id":"doi:10.1109/tie.2017.2688961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tie.2017.2688961","pdf_url":null,"source":{"id":"https://openalex.org/S58031724","display_name":"IEEE Transactions on Industrial Electronics","issn_l":"0278-0046","issn":["0278-0046","1557-9948"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Electronics","raw_type":"journal-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/A5004721001","display_name":"Omar Ali Beg","orcid":"https://orcid.org/0000-0002-5353-7616"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Omar Ali Beg","raw_affiliation_strings":["University of Texas at Arlington, Arlington, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021880681","display_name":"Houssam Abbas","orcid":"https://orcid.org/0000-0002-8096-2618"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houssam Abbas","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053089078","display_name":"Ali Davoudi","orcid":"https://orcid.org/0000-0003-2951-442X"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Davoudi","raw_affiliation_strings":["University of Texas at Arlington, Arlington, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004721001"],"corresponding_institution_ids":["https://openalex.org/I189196454"],"apc_list":null,"apc_paid":null,"fwci":2.1501,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.88059798,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"64","issue":"9","first_page":"7049","last_page":"7059"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10361","display_name":"Silicon Carbide Semiconductor Technologies","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/converters","display_name":"Converters","score":0.7998276948928833},{"id":"https://openalex.org/keywords/pulse-width-modulation","display_name":"Pulse-width modulation","score":0.7171283960342407},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7059643864631653},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6288014650344849},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.6136764287948608},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.5402275323867798},{"id":"https://openalex.org/keywords/buck-converter","display_name":"Buck converter","score":0.45003244280815125},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.434251606464386},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4274749159812927},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.3901136517524719},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.32274630665779114},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31670498847961426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23057308793067932},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12290945649147034},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10158562660217285},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.07650887966156006}],"concepts":[{"id":"https://openalex.org/C2778422915","wikidata":"https://www.wikidata.org/wiki/Q10302051","display_name":"Converters","level":3,"score":0.7998276948928833},{"id":"https://openalex.org/C92746544","wikidata":"https://www.wikidata.org/wiki/Q585184","display_name":"Pulse-width modulation","level":3,"score":0.7171283960342407},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7059643864631653},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6288014650344849},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6136764287948608},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.5402275323867798},{"id":"https://openalex.org/C150818752","wikidata":"https://www.wikidata.org/wiki/Q83804","display_name":"Buck converter","level":3,"score":0.45003244280815125},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.434251606464386},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4274749159812927},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3901136517524719},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.32274630665779114},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31670498847961426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23057308793067932},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12290945649147034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10158562660217285},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.07650887966156006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tie.2017.2688961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tie.2017.2688961","pdf_url":null,"source":{"id":"https://openalex.org/S58031724","display_name":"IEEE Transactions on Industrial Electronics","issn_l":"0278-0046","issn":["0278-0046","1557-9948"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Electronics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1029536360","display_name":null,"funder_award_id":"ECCS 1137354","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G129050612","display_name":null,"funder_award_id":"FA9550-16-1-0246","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1522347985","display_name":null,"funder_award_id":"FA9550-15-1-0258","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1794985474","display_name":null,"funder_award_id":"FA8750-15-1-0105","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G4261586539","display_name":null,"funder_award_id":"SHF 1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4308778893","display_name":null,"funder_award_id":"CNS 1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7170638811","display_name":null,"funder_award_id":"N00014-14-1-0718","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W172589331","https://openalex.org/W178056938","https://openalex.org/W196021901","https://openalex.org/W1507872748","https://openalex.org/W1583515176","https://openalex.org/W1585526574","https://openalex.org/W1597768990","https://openalex.org/W1905380539","https://openalex.org/W1955710548","https://openalex.org/W1967582658","https://openalex.org/W1988004978","https://openalex.org/W1989716069","https://openalex.org/W1996174386","https://openalex.org/W2001179151","https://openalex.org/W2003622185","https://openalex.org/W2018159038","https://openalex.org/W2021857616","https://openalex.org/W2034593859","https://openalex.org/W2047277035","https://openalex.org/W2048187985","https://openalex.org/W2054704105","https://openalex.org/W2060095702","https://openalex.org/W2061336637","https://openalex.org/W2069233435","https://openalex.org/W2079374105","https://openalex.org/W2084389240","https://openalex.org/W2096204465","https://openalex.org/W2115525758","https://openalex.org/W2118465540","https://openalex.org/W2125108900","https://openalex.org/W2130151927","https://openalex.org/W2133275969","https://openalex.org/W2143190710","https://openalex.org/W2143591652","https://openalex.org/W2147340401","https://openalex.org/W2147873985","https://openalex.org/W2152533774","https://openalex.org/W2152622956","https://openalex.org/W2160883697","https://openalex.org/W2163177691","https://openalex.org/W2163842654","https://openalex.org/W2175372888","https://openalex.org/W2176215692","https://openalex.org/W2329811151","https://openalex.org/W2337712807","https://openalex.org/W3098347101","https://openalex.org/W3121891435","https://openalex.org/W6631522544","https://openalex.org/W6635952864","https://openalex.org/W6639701037","https://openalex.org/W6683903473"],"related_works":["https://openalex.org/W1554767603","https://openalex.org/W2130664212","https://openalex.org/W1565729639","https://openalex.org/W1533488355","https://openalex.org/W4237936153","https://openalex.org/W2103488150","https://openalex.org/W1504674997","https://openalex.org/W2743585695","https://openalex.org/W2357387646","https://openalex.org/W2032445854"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"hybrid":[3,34,92],"automaton":[4],"modeling,":[5],"comparative":[6],"model":[7],"validation,":[8],"and":[9,37,58,74,97,119,126],"formal":[10],"verification":[11],"of":[12,17,29,71,78,88,95],"stability":[13,112],"through":[14,116],"reachability":[15,63,117],"analysis":[16,64,118],"pulse":[18],"width":[19],"modulation":[20],"(PWM)":[21],"dc-dc":[22,80],"converters.":[23,81],"Conformance":[24],"degree":[25],"provides":[26],"a":[27,83,89],"measure":[28],"closeness":[30],"between":[31],"the":[32,56,69],"proposed":[33],"automata":[35,93],"models":[36,94],"experimental":[38,86,104,127],"data.":[39],"Nondeterminism":[40],"due":[41],"to":[42,55,67],"variations":[43],"in":[44],"circuit":[45],"parameters":[46],"is":[47,65,113],"modeled":[48],"using":[49,106,122],"interval":[50],"matrices.":[51],"In":[52],"direct":[53],"contrast":[54],"unsound":[57],"computationally-intensive":[59],"Monte":[60,123],"Carlo":[61,124],"simulation,":[62],"introduced":[66],"overapproximate":[68],"set":[70],"reachable":[72],"states":[73],"ensure":[75],"stable":[76],"operation":[77],"PWM":[79],"Using":[82],"200":[84],"W":[85],"prototype":[87],"buck":[90],"converter,":[91],"open-loop,":[96],"hysteresis-controlled":[98],"converters":[99],"are":[100],"first":[101],"validated":[102,121],"against":[103],"data":[105],"their":[107],"conformance":[108],"degrees.":[109],"Next,":[110],"converter":[111],"formally":[114],"verified":[115],"informally":[120],"simulations":[125],"results.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}