@inproceedings{meyer2013cdc, title={Controllability and invariance of monotone systems for robust ventilation automation in buildings}, author={Meyer, Pierre-Jean and Girard, Antoine and Witrant, Emmanuel}, booktitle={Proceedings of the $52^{nd}$ IEEE Conference on Decision and Control}, pages={1289--1294}, year={2013}, organization={IEEE} }