TY  - RPRT
TI  - Observer-based correct-by-design controller synthesis
AU  - Sofie Haesaert
AU  - Paul M. J. Van den Hof
AU  - Alessandro Abate
PY  - 2015
UR  - https://arxiv.org/abs/1509.03427
ID  - 1509.03427
ER  -