Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
复制标题
基准测试：DC-DC 开关模式电源转换器（降压转换器、升压转换器和降压-升压转换器）
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Taylor T. Johnson
中科院分区：
文献类型：
--
作者：
L. V. Nguyen;Taylor T. Johnson
电力电子系统代表了一个庞大而重要的混合系统类别，因为现代数字计算机和许多其他系统都依赖于它们的正确操作。在这个基准描述中，我们将三个DC-DC开关模式功率转换器建模为混合自动机，其具有由线性常微分方程指定的连续动态。DC-DC转换器利用以某一占空比在某一（通常为千赫兹）频率下切换的开关将DC源电压从一个电压电平转换到另一个电压电平。该开关的状态产生混合自动机的位置，并且连续变量是电流和电压。该基准描述的主要贡献包括：（a）将三种类型的转换器统一建模为具有两个位置和不同连续动态的混合自动机，以及（B）允许在Simulink/Stateflow中模拟这些转换器并在SpaceEx中进行可达性分析的基本基准生成器。这些基准类的未来挑战包括闭环控制，其中工厂和控制器动态的速度相差几个数量级。产品类别：学术困难：中（开环）;挑战（闭环）1背景和起源出于效率原因，DC到DC功率转换器经常使用开关（功率晶体管）来实现，并且开关模式电源通常用于数字计算机和许多安全关键系统，从汽车和飞机到医疗设备和工业控制系统。DC-DC功率转换器将输入（源）电压电平转换为输出（负载）电压电平。这些系统由于它们的切换而自然是混合的，并且已经使用混合系统工具进行了研究，例如[1-7]。计算机科学与工程，德克萨斯大学阿灵顿分校-德克萨斯州阿灵顿
Power electronics represent a large and important class of hybrid systems, as modern digital computers and many other systems rely on their correct operation. In this benchmark description, we model three DC-toDC switched-mode power converters as hybrid automata with continuous dynamics specified by linear ordinary differential equations. A DC-toDC converter transforms a DC source voltage from one voltage level to another utilizing switches toggled at some (typically kilohertz) frequency with some duty cycle. The state of this switch gives rise to the locations of the hybrid automaton, and the continuous variables are currents and voltages. The main contributions of this benchmark description include: (a) unified modeling of three types of converters as a hybrid automaton with two locations and differing continuous dynamics, and (b) a basic benchmark generator that allows for simulation of these converters in Simulink/Stateflow and reachability analysis in SpaceEx. Future challenges for these benchmark classes include closed-loop control, where the speeds of plant and controller dynamics differ by orders of magnitude. Category: academic Difficulty: medium (open-loop); challenge (closedloop) 1 Context and Origins DC-to-DC power converters are frequently implemented using switches (power transistors) for efficiency reasons, and switched-mode power supplies are commonly used in digital computers and many safety-critical systems, from cars and airplanes to medical devices and industrial control systems. A DC-to-DC power converter transforms an input (source) voltage level to an output (load) voltage level. These systems are naturally hybrid due to their switching, and have been studied using hybrid systems tools, such as in [1–7]. ∗Computer Science and Engineering, University of Texas at Arlington — Arlington, TX