N. Berthier, F. Alvares, H. Marchand, G. Delaval, and E. Rutten, Logico-numerical control for software components reconfiguration, 2017 IEEE Conference on Control Technology and Applications (CCTA), 2017.
DOI : 10.1109/CCTA.2017.8062685
URL : https://hal.archives-ouvertes.fr/hal-01644754

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IEEE Int. Workshop on Discrete Event Systems, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099
URL : https://hal.archives-ouvertes.fr/hal-00974553

G. Delaval, S. M. Gueye, and E. Rutten, Distributed Execution of Modular Discrete Controllers for Data Center Management, Proc. 5th IFAC WS on Dependable Control of Discrete Systems, p.2015
DOI : 10.1016/j.ifacol.2015.06.485
URL : https://hal.archives-ouvertes.fr/hal-01161509

G. Delaval, ´. E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

S. Guillet, B. Bouchard, and A. Bouzouane, Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People, Procedia Computer Science, vol.21, pp.257-264, 2013.
DOI : 10.1016/j.procs.2013.09.034

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

D. Kolokotsa and A. Pouliezos, Predictive control techniques for energy and indoor environmental quality management in buildings, Building and Environment, vol.44, issue.9, pp.1850-1863, 2009.
DOI : 10.1016/j.buildenv.2008.12.007

M. Louvel and F. Pacull, LINC: A Compact Yet Powerful Coordination Environment, Proc. Coordination Models and Languages, 2014.
DOI : 10.1007/978-3-662-43376-8_6
URL : https://hal.archives-ouvertes.fr/hal-01274824

M. Louvel and F. Pacull, Development tools for rule-based coordination programming in linc Autonomic management of missions and reconfigurations in FPGA-based embedded system, International Conference on Coordination Languages and Models NASA/ESA Conf. on Adaptive Hardware and Systems (AHS), pp.78-96, 2017.

A. K. Nabih and M. M. Gomaa, Modeling, simulation, and control of smart homes using petri nets, International Journal of Smart Home, vol.5, issue.3, pp.1-14, 2011.

X. Niu and Z. Wang, A Smart Home Context-aware Model Based On UML and Colored Petri Net, International Journal of Smart Home, vol.10, issue.1, pp.101-114, 2016.
DOI : 10.14257/ijsh.2016.10.1.11

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

A. N. Sylla and M. Louvel, Combining Transactional and Behavioural Reliability in Adaptive Middleware, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, ARM 2016, 2016.
DOI : 10.1016/j.eswa.2013.01.061
URL : https://hal.archives-ouvertes.fr/hal-01416799

A. N. Sylla, M. Louvel, and E. Rutten, Design framework for reliable and environment aware management of smart environment devices, Journal of Internet Services and Applications, vol.2, issue.2, p.16, 2017.
DOI : 10.1007/s40860-016-0019-5
URL : https://hal.archives-ouvertes.fr/hal-01650737

A. N. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 International Conference on Cloud and Autonomic Computing (ICCAC), 2017.
DOI : 10.1109/ICCAC.2017.20
URL : https://hal.archives-ouvertes.fr/cea-01570026

M. Zhao and G. Privat, Discrete control for the internet of things and smart environments, Presented as part of the 8th International Workshop on Feedback Computing, 2013.