@inproceedings{meyer2015hscc,
  title={Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings},
  author={Meyer, Pierre-Jean and Girard, Antoine and Witrant, Emmanuel},
  booktitle={Proceedings of the $18^{th}$ ACM International Conference on Hybrid Systems: Computation and Control},
  pages={281--282},
  year={2015},
}