A reachability-based method for large-signal behavior verification of DC-DC converters

Eric M. Hope, Xichen Jiang, Alejandro D. Domínguez-Garcia

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Article number5958634
Pages (from-to)2944-2955
Number of pages12
JournalIEEE Transactions on Circuits and Systems I: Regular Papers
Issue number12
StatePublished - 2011


  • Ellipsoid
  • reach set
  • switched-linear systems
  • uncertainty
  • variability

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'A reachability-based method for large-signal behavior verification of DC-DC converters'. Together they form a unique fingerprint.

Cite this