Observer-based correct-by-design controller synthesis
Observer-based correct-by-design controller synthesis
复制标题
基于观察器的设计正确控制器综合
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
A. Abate
中科院分区：
文献类型：
--
作者：
S. Haesaert;P. V. D. Hof;A. Abate
当前最先进的设计正确控制器是为全状态可测量系统设计的。这项工作首先扩展了设计正确控制器在部分可观察LTI系统中的适用性。利用二阶边界，我们给出了一种对状态转换和输出测量上的概率干扰具有可量化鲁棒性的设计方法。在智能建筑的案例研究中，我们评估了具有有限传感器信息的物理系统上新的基于输出的设计正确性控制器。
Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work first extends the applicability of correct-by-design controllers to partially observable LTI systems. Leveraging 2nd order bounds we give a design method that has a quantifiable robustness to probabilistic disturbances on state transitions and on output measurements. In a case study from smart buildings we evaluate the new output-based correct-by-design controller on a physical system with limited sensor information.