Model Validation of PWM DC-DC Converters

被引：28

作者：

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 条

[21] Research on nonlinear control strategy for PWM DC-DC converters
Lin, W.M.
Huang, S.P.
Zhang, G.S.
Chen, W.
Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2001, 21 (03): : 19 - 22
[22] Four Transistor Comparator based PWM for DC-DC Converters
Gopinath, Gopika E.
Gubbi, Abdullah
2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 536 - 539
[23] A family of four-quadrant PWM DC-DC converters
Berkovich, Y.
Axelrod, B.
Tapuchi, S.
Ioinovici, A.
2007 IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-6, 2007, : 1878 - 1883
[24] Sliding mode controller applied to PWM DC-DC converters based on an averaged model
Jaen, Carles
Pou, Josep
Pindado, Rafael
Sala, Vicenc
Zaragoza, Jordi
2007 COMPATIBILITY IN POWER ELECTRONICS, 2007, : 432 - 436
[25] SPICE Modeling of switched DC-DC converters via generalized model of PWM switch
Biolek, Dalibor
Biolkova, Viera
Kolka, Zdenek
2007 17TH INTERNATIONAL CONFERENCE RADIOELEKTRONIKA, VOLS 1 AND 2, 2007, : 1 - +
[26] Symbolic Analysis of DC-DC Converters Using Generalized Averaged Model of PWM Switch
Kovar, Jan
Kolka, Zdenek
Biolek, Dalibor
MIXDES 2009: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2009, : 577 - +
[27] MLMVNN for Parameter Fault Detection in PWM DC-DC Converters and its Applications for Buck DC-DC Converter
Catelani, M.
Ciani, L.
Luchetta, A.
Manetti, S.
Piccirilli, M. C.
Reatti, A.
Kazimierczuk, Marian K.
2016 IEEE 16TH INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING (EEEIC), 2016,
[28] Digital PWM Control for Isolated DC-DC Converters with Two Pulses Modulating PWM
Feng, Weiyi
Yang, Xu
Ye, Haizhong
Wang, Xianwei
Xiao, Guochun
APEC: 2009 IEEE APPLIED POWER ELECTRONICS CONFERENCE AND EXPOSITION, VOLS 1- 4, 2009, : 269 - 273
[29] Robust Feedback Stabilization of Limit Cycles in PWM DC-DC Converters
Chung-Chieh Fang
Eyad H. Abed
Nonlinear Dynamics, 2002, 27 : 295 - 309
[30] Time domain design of digital compensators for PWM DC-DC converters
Peretz, Mor Mordechai
Ben-Yaakov, Sam
APEC 2007: TWENTY-SECOND ANNUAL IEEE APPLIED POWER ELECTRONICS CONFERENCE AND EXPOSITION, VOLS 1 AND 2, 2007, : 887 - +

← 1 2 3 4 5 →