面向Buck DC/DC变换器的系统级形式化规格量化反馈控制软件综合
系统与控制
2012-06-21 v5 最优化与控制
摘要
许多嵌入式系统实际上是基于软件的控制系统（SBCS），即控制器由运行在微控制器设备上的控制软件构成。这促使我们研究基于形式化模型的设计方法，用于自动综合SBCS控制软件。在先前的工作中，我们提出了一种算法及其实现工具QKS，该算法从被控系统（对象）的形式化模型（作为离散时间线性混合系统，DTLHS）、实现规格（即模数转换的位数）和系统级形式化规格（即闭环系统的安全性和活性要求）出发，返回正确性有保证的控制软件，其最坏情况执行时间（WCET）与模数转换位数呈线性关系，并满足给定规格。在本技术报告中，我们展示了将其用于综合两种版本（单输入和多输入）的Buck DC-DC变换器（一种广泛使用的混合模式模拟电路）控制软件的完整实验结果。
引用
@article{arxiv.1105.5640,
title = {Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters},
author = {Federico Mari and Igor Melatti and Ivano Salvo and Enrico Tronci},
journal= {arXiv preprint arXiv:1105.5640},
year = {2012}
}
备注
arXiv admin note: text overlap with arXiv:1107.5638