R. Alur and T. A. Henzinger, Reactive modules. Formal Methods in System Design, pp.7-48, 1999.
DOI : 10.1109/lics.1996.561320

R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, vol.88, issue.7, pp.971-984, 2000.
DOI : 10.1109/5.871304

D. Angeli and E. D. Sontag, Monotone control systems, IEEE Transactions on Automatic Control, vol.48, issue.10, pp.1684-1698, 2003.
DOI : 10.1109/TAC.2003.817920
URL : http://arxiv.org/abs/math/0206133

F. S. Bauman and A. Daly, Underfloor air distribution (UFAD) design guide, 2003.

I. Belgacem and J. L. Gouzé, Global Stability of Enzymatic Chains of Full Reversible Michaelis-Menten Reactions, Acta Biotheoretica, vol.1, issue.1, pp.61-425, 2013.
DOI : 10.1007/s10441-013-9195-3

R. Bellman, Dynamic Programming, 1957.

D. P. Bertsekas, Dynamic programming and optimal control, 1995.

S. Coogan and M. Arcak, Scalable finite abstraction of mixed monotone systems, Hybrid Systems: Computation and Control, pp.58-67, 2015.

X. Ding, M. Lazar, and C. Belta, LTL receding horizon control for finite deterministic systems, Automatica, vol.50, issue.2, pp.399-408, 2014.
DOI : 10.1016/j.automatica.2013.11.030

P. J. Meyer, A. Girard, and E. Witrant, Controllability and invariance of monotone systems for robust ventilation automation in buildings, 52nd IEEE Conference on Decision and Control, pp.1289-1294, 2013.
DOI : 10.1109/CDC.2013.6760060
URL : https://hal.archives-ouvertes.fr/hal-00858715

P. J. Meyer, A. Girard, and E. Witrant, Symbolic control of monotone systems application to ventilation regulation in buildings, Proceedings of the 18th International Conference on Hybrid Systems Computation and Control, HSCC '15, pp.281-282, 2015.
DOI : 10.1145/2728606.2728637
URL : https://hal.archives-ouvertes.fr/hal-01492955

T. Moor and J. Raisch, Abstraction Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems, Modelling, Analysis, and Design of Hybrid Systems, pp.247-265, 2002.
DOI : 10.1007/3-540-45426-8_14

G. Pola, A. Girard, and P. Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.10, pp.44-2508, 2008.
DOI : 10.1016/j.automatica.2008.02.021
URL : https://hal.archives-ouvertes.fr/hal-00379755

J. B. Rawlings and D. Q. Mayne, Model predictive control: Theory and design, 2009.

G. Reißig, Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems, Hybrid Systems: Computation and Control, pp.306-320, 2009.

S. Skogestad and I. Postlethwaite, Multivariable feedback control: analysis and design, 2005.

H. L. Smith, Monotone dynamical systems: an introduction to the theory of competitive and cooperative systems, 1995.
DOI : 10.1090/surv/041

E. D. Sontag, Monotone and near-monotone biochemical networks, Systems and Synthetic Biology, vol.3, issue.4???5, pp.59-87, 2007.
DOI : 10.1007/s11693-007-9005-9
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2533521

P. Tabuada, Verification and control of hybrid systems: a symbolic approach, 2009.
DOI : 10.1007/978-1-4419-0224-5

E. Witrant, D. Marco, P. Park, P. Briat, and C. , Limitations and performances of robust control over WSN: UFAD control in intelligent buildings, IMA Journal of Mathematical Control and Information, vol.27, issue.4, pp.527-543, 2010.
DOI : 10.1093/imamci/dnq017
URL : https://hal.archives-ouvertes.fr/hal-00562164