Observer-based correct-by-design controller synthesis
Systems and Control
2015-09-14 v1
Abstract
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.
Cite
@article{arxiv.1509.03427,
title = {Observer-based correct-by-design controller synthesis},
author = {Sofie Haesaert and Paul M. J. Van den Hof and Alessandro Abate},
journal= {arXiv preprint arXiv:1509.03427},
year = {2015}
}