, 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.
,
, 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.
,
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.
,
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
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
FORMS: a formal reference model for self-adaptation, Proceedings of the 7 th International Conference on Autonomic Computing, pp.205-214, 2010. ,
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
Rule-based intelligence for domotic environments. Automation in Construction, pp.183-196, 2010. ,
Context-aware hybrid reasoning framework for pervasive healthcare. Personal and Ubiquitous Computing, pp.865-881, 2014. ,
Enhanced healthcare provision through assisted decision-making in a smart home environment, 2nd Workshop on Artificial Inteligence Techniques for Ambient Inteligence, 2007. ,
The vision of autonomic computing, Computer. pp, pp.41-50, 2003. ,
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. ,
Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop, Journal of Systems and Software, pp.2707-2719, 2012. ,
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. ,
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
Contracts for modular discrete controller synthesis, ACM Sigplan Notices, pp.57-66, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00476910
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
Coordination of ECA Rules by Verification and Control, Coordination Models and Languages, pp.33-48, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01290066
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
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
Synchronous Programming: Overview. In: Designing Embedded Systems with the SIGNAL Programming Language, pp.21-39, 2010. ,