TY - JOUR
T1 - A reachability-based method for large-signal behavior verification of DC-DC converters
AU - Hope, Eric M.
AU - Jiang, Xichen
AU - Domínguez-Garcia, Alejandro D.
N1 - Funding Information:
Manuscript received September 10, 2010; revised February 14, 2011; accepted April 11, 2011. Date of publication July 22, 2011; date of current version November 29, 2011. This work was supported in part by the National Science Foundation (NSF) under Grant ECCS-CAR-0954420. This paper was recommended by Associate Editor T.-J. Liang.
PY - 2011
Y1 - 2011
N2 - A method for large-signal behavior verification of power electronics dc-dc converters subject to uncertain variations in operating conditions is proposed. This method relies on the computation of the reach set, i.e., the set of all possible trajectories that arise from different initial conditions, unknown-but-bounded inputs, and inherent switching. Large-signal behavior verification is accomplished by checking that the reach set remains within the region of state space defined by performance requirements, e.g., output voltage tolerance specifications, component voltage and current limits. Algorithms to solve the reachability problem for power electronics converters operating under both open- and closed-loop control are provided along with simulations illustrating the proposed method.
AB - A method for large-signal behavior verification of power electronics dc-dc converters subject to uncertain variations in operating conditions is proposed. This method relies on the computation of the reach set, i.e., the set of all possible trajectories that arise from different initial conditions, unknown-but-bounded inputs, and inherent switching. Large-signal behavior verification is accomplished by checking that the reach set remains within the region of state space defined by performance requirements, e.g., output voltage tolerance specifications, component voltage and current limits. Algorithms to solve the reachability problem for power electronics converters operating under both open- and closed-loop control are provided along with simulations illustrating the proposed method.
KW - Ellipsoid
KW - reach set
KW - switched-linear systems
KW - uncertainty
KW - variability
UR - http://www.scopus.com/inward/record.url?scp=82555194579&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=82555194579&partnerID=8YFLogxK
U2 - 10.1109/TCSI.2011.2157780
DO - 10.1109/TCSI.2011.2157780
M3 - Article
AN - SCOPUS:82555194579
VL - 58
SP - 2944
EP - 2955
JO - IEEE Transactions on Circuits and Systems I: Regular Papers
JF - IEEE Transactions on Circuits and Systems I: Regular Papers
SN - 1549-8328
IS - 12
M1 - 5958634
ER -