Model Validation of PWM DC–DC Converters

Authors

Omar Ali Beg
Houssam Abbas
Taylor T. Johnson
Ali Davoudi

Document Type

Article

Publication Date

9-2017

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.

Comments

Professor Omar Beg contributed to this research while at the University of Texas at Arlington.

Recommended Citation

O. A. Beg, H. Abbas, T. T. Johnson and A. Davoudi, "Model Validation of PWM DC–DC Converters," in IEEE Transactions on Industrial Electronics, vol. 64, no. 9, pp. 7049-7059, Sept. 2017, doi: 10.1109/TIE.2017.2688961.