Reachability analysis of closed-loop switching power converters

Author

Hossain, Shahadat ; Dhople, S. ; Johnson, Taylor T.

Author_Institution

Electr. & Comput. Eng., Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA

fYear

2013

fDate

22-23 Feb. 2013

Firstpage

130

Lastpage

134

Abstract

A design verification method for closed-loop switching power converters is presented in this paper. The method computes the set of reachable states from an initial set of states. Case studies are presented for closed-loop buck converters using this approach. The buck converter is first modeled as a switched linear system. Two controllers are studied, first a simple hysteresis controller, and then a linear controller. The analysis method is automated and uses the hybrid systems reachability analysis tool SpaceEx. The applications and limitations of the analysis method are explored in this study.

Keywords

closed loop systems; magnetic hysteresis; power convertors; reachability analysis; SpaceEx; closed-loop buck converters; closed-loop switching; hybrid systems; linear controller; power converters; reachability analysis tool; simple hysteresis controller; switched linear system; Analytical models; Computational modeling; Hysteresis; Inductors; Reachability analysis; Switches; buck converter; hybrid systems; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Power and Energy Conference at Illinois (PECI), 2013 IEEE

Conference_Location

Champaign, IL

Print_ISBN

978-1-4673-5601-5

Type

conf

DOI

10.1109/PECI.2013.6506047

Filename

6506047