@inproceedings{hossain2013peci,
        author          =       {Shamina Hossain and Sairaj Dhople and Taylor T. Johnson},
        title           =       {Reachability Analysis of Closed-Loop Switching Power Converters},
        year            =       {2013},
        booktitle       =       {Proceedings of the 4th IEEE Power and Energy Conference at Illinois (<a href="http://peci.ece.illinois.edu/">PECI 2013</a>)},
    address     =   {Urbana, Illinois, USA},
        month           =       feb,
        pages           =       {},
        doi     =   {10.1109/PECI.2013.6506047},
        gsid        =   {8886180814224184900},
        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.},
        pdf = {http://www.taylortjohnson.com/research/hossain2013peci.pdf},
}