面向连续被控对象的数字稳定控制器的可靠自动综合
系统与控制
2017-02-17 v3 计算机科学中的逻辑
摘要
现代控制通过嵌入在代表物理组件的动态被控对象中的数字微控制器来实现。我们提出了一种基于反例引导归纳综合的新算法，该算法能够自动设计出构造上正确的数字控制器。综合结果对于包括时间离散化、量化效应以及有限精度算术及其舍入误差在内的完整近似范围是可靠的。我们已在名为DSSynth的工具中实现了该新算法，并能够在几分钟内为一组取自文献的复杂被控对象模型自动生成稳定的控制器。
引用
@article{arxiv.1610.04761,
title = {Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants},
author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening},
journal= {arXiv preprint arXiv:1610.04761},
year = {2017}
}
备注
10 pages