@inproceedings{433f6989d86c426a97a9807a2c7e4285,
title = "Reachability analysis of closed-loop switching power converters",
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 = "buck converter, hybrid systems, verification",
author = "Shamina Hossain and Sairaj Dhople and Johnson, {Taylor T.}",
year = "2013",
doi = "10.1109/PECI.2013.6506047",
language = "English (US)",
isbn = "9781467356022",
series = "2013 IEEE Power and Energy Conference at Illinois, PECI 2013",
pages = "130--134",
booktitle = "2013 IEEE Power and Energy Conference at Illinois, PECI 2013",
note = "2013 IEEE Power and Energy Conference at Illinois, PECI 2013 ; Conference date: 22-02-2013 Through 23-02-2013",
}