Model Validation of PWM DC-DC Converters
This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experim...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on industrial electronics (1982) 2017-09, Vol.64 (9), p.7049-7059 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 7059 |
|---|---|
| container_issue | 9 |
| container_start_page | 7049 |
| container_title | IEEE transactions on industrial electronics (1982) |
| container_volume | 64 |
| creator | Beg, Omar Ali Abbas, Houssam Johnson, Taylor T. Davoudi, Ali |
| description | This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experimental data. Nondeterminism due to variations in circuit parameters is modeled using interval matrices. In direct contrast to the unsound and computationally-intensive Monte Carlo simulation, reachability analysis is introduced to overapproximate the set of reachable states and ensure stable operation of PWM dc-dc converters. Using a 200 W experimental prototype of a buck converter, hybrid automata models of open-loop, and hysteresis-controlled converters are first validated against experimental data using their conformance degrees. Next, converter stability is formally verified through reachability analysis and informally validated using Monte Carlo simulations and experimental results. |
| doi_str_mv | 10.1109/TIE.2017.2688961 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_TIE_2017_2688961</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>7888995</ieee_id><sourcerecordid>2174421728</sourcerecordid><originalsourceid>FETCH-LOGICAL-c333t-99a25f0991b2127482d486cc582e50add479c4a1ba7c32e2898ae35f9c938d3f3</originalsourceid><addsrcrecordid>eNo9kM9LwzAUx4MoWKd3wUvBi5fWvPxokqN0Uwcbeph6DFmaQkddZtIJ--_N6PDy3uF9vu8LH4RuAZcAWD2u5rOSYBAlqaRUFZyhDDgXhVJMnqMMEyELjFl1ia5i3GAMjAPP0MPSN67PP03fNWbo_Db3bf7-tcyndTGt89pvf10YXIjX6KI1fXQ3pz1BH8-zVf1aLN5e5vXTorCU0iHVGcJbrBSsCRDBJGmYrKzlkjiOTdMwoSwzsDbCUuKIVNI4yltlFZUNbekE3Y9_d8H_7F0c9MbvwzZVagKCsTSITBQeKRt8jMG1ehe6bxMOGrA--tDJhz760CcfKXI3Rjrn3D8uZLoqTv8Ae69YeQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2174421728</pqid></control><display><type>article</type><title>Model Validation of PWM DC-DC Converters</title><source>IEEE Electronic Library (IEL)</source><creator>Beg, Omar Ali ; Abbas, Houssam ; Johnson, Taylor T. ; Davoudi, Ali</creator><creatorcontrib>Beg, Omar Ali ; Abbas, Houssam ; Johnson, Taylor T. ; Davoudi, Ali</creatorcontrib><description>This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experimental data. Nondeterminism due to variations in circuit parameters is modeled using interval matrices. In direct contrast to the unsound and computationally-intensive Monte Carlo simulation, reachability analysis is introduced to overapproximate the set of reachable states and ensure stable operation of PWM dc-dc converters. Using a 200 W experimental prototype of a buck converter, hybrid automata models of open-loop, and hysteresis-controlled converters are first validated against experimental data using their conformance degrees. Next, converter stability is formally verified through reachability analysis and informally validated using Monte Carlo simulations and experimental results.</description><identifier>ISSN: 0278-0046</identifier><identifier>EISSN: 1557-9948</identifier><identifier>DOI: 10.1109/TIE.2017.2688961</identifier><identifier>CODEN: ITIED6</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Analytical models ; Automata ; Buck converters ; Computational modeling ; Computer simulation ; DC-DC power converters ; DC–DC converter ; formal verification ; hybrid automaton ; Mathematical model ; model validation ; Monte Carlo simulation ; Pulse duration modulation ; Reachability analysis ; Stability analysis ; Topology ; Voltage converters (DC to DC)</subject><ispartof>IEEE transactions on industrial electronics (1982), 2017-09, Vol.64 (9), p.7049-7059</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c333t-99a25f0991b2127482d486cc582e50add479c4a1ba7c32e2898ae35f9c938d3f3</citedby><cites>FETCH-LOGICAL-c333t-99a25f0991b2127482d486cc582e50add479c4a1ba7c32e2898ae35f9c938d3f3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/7888995$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27903,27904,54736</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/7888995$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Beg, Omar Ali</creatorcontrib><creatorcontrib>Abbas, Houssam</creatorcontrib><creatorcontrib>Johnson, Taylor T.</creatorcontrib><creatorcontrib>Davoudi, Ali</creatorcontrib><title>Model Validation of PWM DC-DC Converters</title><title>IEEE transactions on industrial electronics (1982)</title><addtitle>TIE</addtitle><description>This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experimental data. Nondeterminism due to variations in circuit parameters is modeled using interval matrices. In direct contrast to the unsound and computationally-intensive Monte Carlo simulation, reachability analysis is introduced to overapproximate the set of reachable states and ensure stable operation of PWM dc-dc converters. Using a 200 W experimental prototype of a buck converter, hybrid automata models of open-loop, and hysteresis-controlled converters are first validated against experimental data using their conformance degrees. Next, converter stability is formally verified through reachability analysis and informally validated using Monte Carlo simulations and experimental results.</description><subject>Analytical models</subject><subject>Automata</subject><subject>Buck converters</subject><subject>Computational modeling</subject><subject>Computer simulation</subject><subject>DC-DC power converters</subject><subject>DC–DC converter</subject><subject>formal verification</subject><subject>hybrid automaton</subject><subject>Mathematical model</subject><subject>model validation</subject><subject>Monte Carlo simulation</subject><subject>Pulse duration modulation</subject><subject>Reachability analysis</subject><subject>Stability analysis</subject><subject>Topology</subject><subject>Voltage converters (DC to DC)</subject><issn>0278-0046</issn><issn>1557-9948</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNo9kM9LwzAUx4MoWKd3wUvBi5fWvPxokqN0Uwcbeph6DFmaQkddZtIJ--_N6PDy3uF9vu8LH4RuAZcAWD2u5rOSYBAlqaRUFZyhDDgXhVJMnqMMEyELjFl1ia5i3GAMjAPP0MPSN67PP03fNWbo_Db3bf7-tcyndTGt89pvf10YXIjX6KI1fXQ3pz1BH8-zVf1aLN5e5vXTorCU0iHVGcJbrBSsCRDBJGmYrKzlkjiOTdMwoSwzsDbCUuKIVNI4yltlFZUNbekE3Y9_d8H_7F0c9MbvwzZVagKCsTSITBQeKRt8jMG1ehe6bxMOGrA--tDJhz760CcfKXI3Rjrn3D8uZLoqTv8Ae69YeQ</recordid><startdate>201709</startdate><enddate>201709</enddate><creator>Beg, Omar Ali</creator><creator>Abbas, Houssam</creator><creator>Johnson, Taylor T.</creator><creator>Davoudi, Ali</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SP</scope><scope>8FD</scope><scope>L7M</scope></search><sort><creationdate>201709</creationdate><title>Model Validation of PWM DC-DC Converters</title><author>Beg, Omar Ali ; Abbas, Houssam ; Johnson, Taylor T. ; Davoudi, Ali</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c333t-99a25f0991b2127482d486cc582e50add479c4a1ba7c32e2898ae35f9c938d3f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Analytical models</topic><topic>Automata</topic><topic>Buck converters</topic><topic>Computational modeling</topic><topic>Computer simulation</topic><topic>DC-DC power converters</topic><topic>DC–DC converter</topic><topic>formal verification</topic><topic>hybrid automaton</topic><topic>Mathematical model</topic><topic>model validation</topic><topic>Monte Carlo simulation</topic><topic>Pulse duration modulation</topic><topic>Reachability analysis</topic><topic>Stability analysis</topic><topic>Topology</topic><topic>Voltage converters (DC to DC)</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Beg, Omar Ali</creatorcontrib><creatorcontrib>Abbas, Houssam</creatorcontrib><creatorcontrib>Johnson, Taylor T.</creatorcontrib><creatorcontrib>Davoudi, Ali</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><jtitle>IEEE transactions on industrial electronics (1982)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Beg, Omar Ali</au><au>Abbas, Houssam</au><au>Johnson, Taylor T.</au><au>Davoudi, Ali</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Model Validation of PWM DC-DC Converters</atitle><jtitle>IEEE transactions on industrial electronics (1982)</jtitle><stitle>TIE</stitle><date>2017-09</date><risdate>2017</risdate><volume>64</volume><issue>9</issue><spage>7049</spage><epage>7059</epage><pages>7049-7059</pages><issn>0278-0046</issn><eissn>1557-9948</eissn><coden>ITIED6</coden><abstract>This paper presents hybrid automaton modeling, comparative model validation, and formal verification of stability through reachability analysis of pulse width modulation (PWM) dc-dc converters. Conformance degree provides a measure of closeness between the proposed hybrid automata models and experimental data. Nondeterminism due to variations in circuit parameters is modeled using interval matrices. In direct contrast to the unsound and computationally-intensive Monte Carlo simulation, reachability analysis is introduced to overapproximate the set of reachable states and ensure stable operation of PWM dc-dc converters. Using a 200 W experimental prototype of a buck converter, hybrid automata models of open-loop, and hysteresis-controlled converters are first validated against experimental data using their conformance degrees. Next, converter stability is formally verified through reachability analysis and informally validated using Monte Carlo simulations and experimental results.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TIE.2017.2688961</doi><tpages>11</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0278-0046 |
| ispartof | IEEE transactions on industrial electronics (1982), 2017-09, Vol.64 (9), p.7049-7059 |
| issn | 0278-0046 1557-9948 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_TIE_2017_2688961 |
| source | IEEE Electronic Library (IEL) |
| subjects | Analytical models Automata Buck converters Computational modeling Computer simulation DC-DC power converters DC–DC converter formal verification hybrid automaton Mathematical model model validation Monte Carlo simulation Pulse duration modulation Reachability analysis Stability analysis Topology Voltage converters (DC to DC) |
| title | Model Validation of PWM DC-DC Converters |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T20%3A43%3A17IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Model%20Validation%20of%20PWM%20DC-DC%20Converters&rft.jtitle=IEEE%20transactions%20on%20industrial%20electronics%20(1982)&rft.au=Beg,%20Omar%20Ali&rft.date=2017-09&rft.volume=64&rft.issue=9&rft.spage=7049&rft.epage=7059&rft.pages=7049-7059&rft.issn=0278-0046&rft.eissn=1557-9948&rft.coden=ITIED6&rft_id=info:doi/10.1109/TIE.2017.2688961&rft_dat=%3Cproquest_RIE%3E2174421728%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2174421728&rft_id=info:pmid/&rft_ieee_id=7888995&rfr_iscdi=true |