arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1509.03427eess.SYcs.SY
收藏

基于观测器的正确-by-设计控制器合成

Observer-based correct-by-design controller synthesis

Eindhoven University of Technology(埃因霍温理工大学);University of Oxford(牛津大学)

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate

AI总结:

本文提出将正确-by-设计控制器扩展至部分可观测线性时不变系统,通过二次界方法提升对概率扰动的鲁棒性,并在智能建筑案例中验证了新控制器的有效性。

摘要:

当前最先进的正确-by-设计控制器适用于全状态可测系统。本文首次将正确-by-设计控制器扩展至部分可观测的线性时不变系统。利用二次界,我们提供了一种设计方法,具有可量化鲁棒性,以应对状态转移和输出测量上的概率扰动。在智能建筑案例中,我们评估了新的基于输出的正确-by-设计控制器在具有有限传感器信息的物理系统上的性能。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑