Model Validation of PWM DC-DC Converters

被引：26
|
作者：
Beg, Omar Ali [1 ]
Abbas, Houssam [2 ]
Johnson, Taylor T. [3 ]
Davoudi, Ali [1 ]
机构：
[1] Univ Texas Arlington, Arlington, TX 76019 USA
[2] Univ Penn, Philadelphia, PA 19104 USA
[3] Vanderbilt Univ, Nashville, TN 37240 USA
来源：
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS | 2017年 / 64卷 / 09期
基金：
美国国家科学基金会;
关键词：
DC-DC converter; formal verification; hybrid automaton; model validation; reachability analysis; POLYNOMIAL CHAOS; UNCERTAINTY QUANTIFICATION; REACHABILITY; SYSTEMS; STATE;
D O I：
10.1109/TIE.2017.2688961
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：7049 / 7059
页数：11
相关论文
共 50 条
  • [11] Inverse model of DC-DC converters
    Dénes, I
    Baranyi, P
    [J]. ARTIFICIAL INTELLIGENCE IN REAL-TIME CONTROL 2000, 2001, : 147 - 152
  • [12] Multi-resolution Simulation of PWM Dc-Dc Converters
    Davoudi, Ali
    Chapman, Patrick L.
    Jatskevich, Juri
    [J]. INTELEC 08 - 30TH INTERNATIONAL TELECOMMUNICATIONS ENERGY, VOLS 1 AND 2, 2008, : 181 - +
  • [13] Reliability Assessment of Conventional Isolated PWM DC-DC Converters
    Tarzamni, Hadi
    Esmaeelnia, Farhad Panahandeh
    Tahami, Farzad
    Fotuhi-Firuzabad, Mahmud
    Dehghanian, Payman
    Lehtonen, Matti
    Blaabjerg, Frede
    [J]. IEEE ACCESS, 2021, 9 : 46191 - 46200
  • [14] Recent advances in averaging theory for PWM dc-dc converters
    Lehman, B
    Bass, RM
    [J]. PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4467 - 4471
  • [15] Simulation of PWM DC-DC converters using eigenvalues and eigenvectors
    Lekic, Aleksandra
    [J]. JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2017, 68 (01): : 13 - 22
  • [16] Dynamic Behavior of PWM DC-DC Converters in Starting Process
    Wang Yuanbin
    [J]. ISIE: 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, 2009, : 1591 - 1594
  • [17] Random discrete PWM method for DC-DC power converters
    Shrivastva, Y
    Sathiakumar, S
    Hui, SYR
    [J]. ELECTRONICS LETTERS, 1996, 32 (23) : 2105 - 2106
  • [18] Four Transistor Comparator based PWM for DC-DC Converters
    Gopinath, Gopika E.
    Gubbi, Abdullah
    [J]. 2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 536 - 539
  • [19] A family of four-quadrant PWM DC-DC converters
    Berkovich, Y.
    Axelrod, B.
    Tapuchi, S.
    Ioinovici, A.
    [J]. 2007 IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, 2007, : 1878 - 1883
  • [20] SPICE Modeling of switched DC-DC converters via generalized model of PWM switch
    Biolek, Dalibor
    Biolkova, Viera
    Kolka, Zdenek
    [J]. 2007 17TH INTERNATIONAL CONFERENCE RADIOELEKTRONIKA, VOLS 1 AND 2, 2007, : 1 - +
12345