, This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, Service-Oriented Computing-ICSOC 2017 Workshops. ICSOC 2017, p.10797, 2018.

C. Springer,

, R1: IF Not(HR.state == normal) ASSERT Pos.state == normal R2: IF EDA.state == shutdown ASSERT Pos.state == normal ? Rn: IF HR.Battery == Low ASSERT HR.setMode(FailSoft)

, This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, Service-Oriented Computing-ICSOC 2017 Workshops. ICSOC 2017, p.10797, 2018.

C. Springer,

M. Zhao, G. Privat, É. Rutten, and H. Alla, Discrete Control for the Internet of Things and Smart Environments, 8th International Workshop on Feedback Computing, 2013.

, This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record, Service-Oriented Computing-ICSOC 2017 Workshops. ICSOC 2017, p.10797, 2018.

C. Springer,

M. Zhao, G. Privat, E. Rutten, and H. Alla, Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure, Ambient Intelligence, pp.174-190, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091140

N. M. Villegas, G. Tamura, H. A. Müller, L. Duchien, and R. Casallas, DYNAMICO: A reference model for governing control objectives and context relevance in self-adaptive software systems, pp.265-293, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00713315

D. Weyns, S. Malek, and J. Andersson, FORMS: a formal reference model for self-adaptation, Proceedings of the 7 th International Conference on Autonomic Computing, pp.205-214, 2010.

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, Proceedings of the 6 th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.80-89, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00578337

D. Bonino and F. Corno, Rule-based intelligence for domotic environments. Automation in Construction, pp.183-196, 2010.

B. Yuan and J. Herbert, Context-aware hybrid reasoning framework for pervasive healthcare. Personal and Ubiquitous Computing, pp.865-881, 2014.

J. C. Augusto, P. Mccullagh, V. Mcclelland, and J. A. Walkden, Enhanced healthcare provision through assisted decision-making in a smart home environment, 2nd Workshop on Artificial Inteligence Techniques for Ambient Inteligence, 2007.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer. pp, pp.41-50, 2003.

K. Angelopoulos, A. V. Papadopoulos, S. Souza, V. E. Mylopoulos, and J. , Model predictive control for software systems with CobRA, Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.35-46, 2016.

X. Peng, B. Chen, Y. Yu, and W. Zhao, Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop, Journal of Systems and Software, pp.2707-2719, 2012.

P. Arcaini, E. Riccobene, and P. Scandurra, Modeling and analyzing MAPE-K feedback loops for self-adaptation, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.13-23, 2015.

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamic Systems, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

G. Delaval, H. Marchand, and E. Rutten, Contracts for modular discrete controller synthesis, ACM Sigplan Notices, pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00476910

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

J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, Coordination Models and Languages, pp.33-48, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01290066

J. Cano, E. Rutten, G. Delaval, Y. Benazzouz, and L. Gurgen, ECA Rules for IoT Environment: A Case Study in Safe Design, Proceedings of the 8 th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.116-121, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091149

R. Abid, G. Salaün, and N. De-palma, Asynchronous synthesis techniques for coordinating autonomic managers in the cloud, Science of Computer Programming, pp.87-103, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01630717

A. Gamatié, Synchronous Programming: Overview. In: Designing Embedded Systems with the SIGNAL Programming Language, pp.21-39, 2010.