Reachability analysis of closed-loop switching power converters
Reachability analysis of closed-loop switching power converters
复制标题
闭环开关功率变换器的可达性分析
DOI：
10.1109/peci.2013.6506047
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Taylor T. Johnson
中科院分区：
文献类型：
--
作者：
S. Hossain;S. Dhople;Taylor T. Johnson
提出了一种闭环开关功率变换器的设计验证方法。该方法从初始状态集合计算可达状态集合。采用这种方法的闭环降压转换器的案例研究。首先将降压转换器建模为开关线性系统。两个控制器进行了研究，首先是一个简单的滞后控制器，然后是线性控制器。该分析方法是自动化的，并使用混合动力系统的可达性分析工具SpaceEx。本研究探讨了该分析方法的应用和局限性。
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.