PECI 2013)"/> PECI 2013)"/> Reachability Analysis of Closed-Loop Switching Power Converters (bibtex)
Reachability Analysis of Closed-Loop Switching Power Converters (bibtex)
by , ,
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.
Reference:
Shamina Hossain, Sairaj Dhople, Taylor T. Johnson, "Reachability Analysis of Closed-Loop Switching Power Converters", In Proceedings of the 4th IEEE Power and Energy Conference at Illinois (PECI 2013), Urbana, Illinois, USA, pp. , 2013, feb.
Bibtex Entry:
@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},
}
Powered by bibtexbrowser