Model Validation of PWM DC-DC Converters

被引：29

作者：

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 条

[1]

Abbas Houssam, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), P155, DOI 10.1109/MEMCOD.2014.6961854

[2]

Althoff Matthias, 2013, Communications of the ACM, V56, P97, DOI 10.1145/2507771.2507783

[3] Formal and Compositional Analysis of Power Systems Using Reachable Sets [J].

Althoff, Matthias .

IEEE TRANSACTIONS ON POWER SYSTEMS, 2014, 29 (05) :2270-2280

[4]

Althoff M, 2011, MATH ENG-SER, P69

[5]

[Anonymous], 2015, PLECS MAN VERS 3 7

[6]

[Anonymous], 1999, SYSTEM IDENTIFICATIO

[7]

[Anonymous], 2014, DEF INF REP NHTSA RE

[8]

[Anonymous], 2015, DEF INF REP NHTSA RE

[9]

Asarin E., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P365

[10] Efficient control state-space search [J].

Aziz, A ;

Kukula, J ;

Shiple, T ;

Yuan, J .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (02) :332-336

← 1 2 3 4 5 →