A Reachability-Based Method for Large-Signal Behavior Verification of DC-DC Converters
A Reachability-Based Method for Large-Signal Behavior Verification of DC-DC Converters
复制标题
基于可达性的 DC-DC 转换器大信号行为验证方法
DOI：
10.1109/tcsi.2011.2157780
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Domínguez
中科院分区：
文献类型：
--
作者：
Eric M. Hope;Xichen Jiang;A. Domínguez
提出了一种电力电子变换器大信号行为验证方法。该方法依赖于可达集的计算，即，由不同初始条件、未知但有界输入和固有切换产生的所有可能轨迹的集合。大信号行为验证是通过检查到达集是否保持在由性能要求定义的状态空间区域内来完成的，例如，输出电压容差规格、元件电压和电流限制。算法来解决可达性问题的电力电子转换器下运行的开环和闭环控制提供沿着与仿真说明所提出的方法。
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.