Observer-based correct-by-design controller synthesis

Sofie Haesaert, Paul Van den Hof, A. (Alessandro) Abate

Research output: Contribution to journalArticleAcademic

54 Downloads (Pure)

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.
Original languageEnglish
JournalarXiv.org, e-Print Archive, Physics
Volumeabs/1509.03427
Publication statusPublished - 11 Sep 2015

Keywords

  • cs.SY

Fingerprint

Dive into the research topics of 'Observer-based correct-by-design controller synthesis'. Together they form a unique fingerprint.

Cite this