@phdthesis{meyer2015phd, title={Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings}, author={Meyer, Pierre-Jean}, year={2015}, school={Universit{\'e} Grenoble Alpes} }