M. Zhao, E. Rutten, and H. Alla, Configuration automatique du contrôle discret d'entités physiques dans un système de supervision et de contrôle, 2013.

[. Privat, M. Zhao, and L. Lemke, Towards a Shared Software Infrastructure for Smart Homes, Smart Buildings and Smart Cities, 1st International Workshop on Emerging Trends in the Engineering of Cyber- Physical Systems, part of CPSWEEK, 2014.

[. Zhao, G. Privat, E. Rutten, and H. Alla, Discrete Control for the Internet of Things and Smart Environments, Presented as part of the 8th International Workshop on Feedback Computing, 2013.

[. Zhao, G. Privat, E. Rutten, and H. Alla, Mod??les g??n??riques applicables ?? la synth??se de contr??leurs discrets pour l???internet des objets, Journal Europ??en des Syst??mes Automatis??s, vol.47, issue.1-3, pp.1-3, 2013.
DOI : 10.3166/jesa.47.211-225

[. Zhao, G. Privat, E. Rutten, and H. A. English, Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure, Emile Aarts et al. Lecture Notes in Computer Science, vol.8850, pp.174-190, 2014.
DOI : 10.1007/978-3-319-14112-1_15
URL : https://hal.archives-ouvertes.fr/hal-01091140

F. Ian, W. Akyildiz, Y. Su, E. Sankarasubramaniam, and . Cayirci, Wireless sensor networks: a survey, Computer networks 38, pp.393-422, 2002.

]. M. Ala+14 and . Alaya, OM2M: Extensible ETSI-compliant {M2M} Service Platform with Self-configuration Capability, The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), pp.1079-1086, 2014.

A. An, Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control, In: ICAC, vol.2013, pp.59-63
URL : https://hal.archives-ouvertes.fr/hal-00852849

S. Bandyopadhyay, M. Sengupta, S. Maiti, and S. Dutta, Role Of Middleware For Internet Of Things: A Study, International Journal of Computer Science & Engineering Survey, vol.2, issue.3, pp.94-105, 2011.
DOI : 10.5121/ijcses.2011.2307

[. Barnaghi, W. Wang, C. Henson, and K. Taylor, Semantics for the Internet of Things, International Journal on Semantic Web and Information Systems, vol.8, issue.1, pp.1-21, 2012.
DOI : 10.4018/jswis.2012010101

M. Batty, Cities and Complexity: Understanding Cities with Cellular Automata, Agent-Based Models, and Fractals, 2007.

D. Bonino and F. Corno, DogOnt - Ontology Modeling for Intelligent Domotic Environments, 2008.
DOI : 10.1016/S1071-5819(02)00127-1

[. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

[. Casagras, FP7 Project, RFID and the inclusive model for the Internet of Things

]. F. Cas06 and . Castiglione, Agent based modeling, p.1562, 2006.

J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, pp.33-48, 2014.
DOI : 10.1007/978-3-662-43376-8_3
URL : https://hal.archives-ouvertes.fr/hal-01006186

A. Charles, Representation and analysis of reactive behaviors: A synchronous approach, In: Computational Engineering in Systems Applications, CESA, vol.96, pp.19-29, 1996.

R. William, W. Cook, . Hill, S. Peter, and . Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.125-135, 1989.

[. Cortese, F. Quarta, G. Vitaglione, and P. Vrba, Scalability and performance of jade message transport system, AAMAS Workshop on AgentCities, Bologna, vol.16, p.28, 2002.

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

S. Delaval, E. Mak-karé-gueye, N. Rutten, and . Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

C. José and . Delgado, Improving Data and Service Interoperability with Structure, Compliance, Conformance and Context Awareness " . In: Big Data and Internet of Things: A Roadmap for Smart Environments, pp.35-66, 2014.

P. Dolog, Model-Driven Navigation Design for Semantic Web Applications with the UML-Guide In: ICWE Workshops, pp.75-86, 2004.

E. Rutten, Reactive model-based control of reconfiguration in the fractal component-based model " . In: Component-Based Software Engineering, pp.93-112, 2010.

A. Fensel, SESAME-S: Semantic Smart Home System for Energy Efficiency, Informatik-Spektrum, vol.284, issue.5, pp.46-57, 2013.
DOI : 10.1007/s00287-012-0665-9

R. Thomas and F. , Architectural styles and the design of network-based software architectures, 2000.

[. Fortino, An Agent-Based Middleware for Cooperating Smart Objects, Highlights on Practical Applications of Agents and Multi-Agent Systems, pp.387-398, 2013.
DOI : 10.1007/978-3-642-38061-7_36

L. Charles and . Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, In: Artificial intelligence, vol.191, pp.17-37, 1982.

[. 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

M. Grassi, M. Nucci, and F. Piazza, Ontologies for Smart Homes and energy management: An implementation-driven survey, 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), p.2013, 2013.
DOI : 10.1109/MSCPES.2013.6623319

R. Thomas and . Gruber, A translation approach to portable ontology specifications, pp.199-220, 1993.

[. Guarino, Formal ontology in information systems, Proceedings of the first international conference (FOIS'98), 1998.

[. Gurgen, SStreaMWare, Proceedings of the 5th international conference on Pervasive services, ICPS '08, pp.121-130, 2008.
DOI : 10.1145/1387269.1387290
URL : https://hal.archives-ouvertes.fr/hal-00953040

A. Gyrard, A machine-to-machine architecture to merge semantic sensor measurements, Proceedings of the 22nd International Conference on World Wide Web, WWW '13 Companion, pp.371-376
DOI : 10.1145/2487788.2487945
URL : https://hal.archives-ouvertes.fr/hal-00927389

[. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

D. Harel, Statemate: A working environment for the development of complex reactive systems, In: Software Engineering IEEE Transactions on, vol.164, pp.403-414, 1990.

D. Harel, Statecharts in the making: a personal account, Proceedings of the third ACM SIGPLAN conference on History of programming languages, pp.5-6, 2007.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

D. Harel and E. Gery, Executable object modeling with statecharts, Proceedings of the 18th international conference on Software engineering, pp.246-257, 1996.

Z. Hu, Self-configuration, Monitoring and Control of Physical Entities via Sensor and Actuator Networks, pp.85-112, 2014.
URL : https://hal.archives-ouvertes.fr/tel-00948995

P. Leguernic, T. Gautier, M. L. Borgne, C. L. , and M. , Programming real-time applications with SIGNAL, Proceedings of the IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

[. Lu and L. Fu, Robust location-aware activity recognition using wireless sensor network in an attentive home, In: Automation Science and Engineering IEEE Transactions on, vol.64, pp.598-609, 2009.

E. Ashford, L. , and S. Seshia, Introduction to embedded systems: A cyber-physical systems approach. Lee & Seshia, 2011.

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

J. José-fernán-martínez, P. Rodríguez-molina, R. Castillejo, and . Diego, Middleware architectures for the smart grid: survey and challenges in the foreseeable future, In: Energies, vol.67, pp.3593-3621, 2013.

[. Maraninchi, The Argos Language: Graphical Representation of Automata and Description of Reactive Systems, IEEE Workshop on Visual Languages, 1991.

M. Martin and P. Nurmi, A generic large scale simulator for ubiquitous computing, Mobile and Ubiquitous Systems: Networking & Services Third Annual International Conference on. IEEE, pp.1-3, 2006.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

F. Natalya, D. L. Noy, and . Mcguinness, Ontology development 101: A guide to creating your first ontology, 2001.

H. Overdick, The Resource-Oriented Architecture, 2007 IEEE Congress on Services (Services 2007), pp.340-347, 2007.
DOI : 10.1109/SERVICES.2007.66

C. Persson, G. Picard, F. Ramparany, and O. Boissier, A multi-agent based governance of machine-to-machine systems, Multi- Agent Systems, pp.205-220, 2012.
URL : https://hal.archives-ouvertes.fr/emse-00680722

G. English, Phenotropic and stigmergic webs: the new reach of networks, In: Universal Access in the Information Society, vol.113, pp.323-335, 2012.

[. Reinisch, M. J. Kofler, F. Iglesias, and W. Kastner, ThinkHome Energy Efficiency in Future Smart Homes, EURASIP Journal on Embedded Systems, vol.1, issue.39
DOI : 10.1016/S0360-1323(99)00074-8

J. Peter, W. Ramadge, and . Murray-wonham, Supervisory control of a class of discrete event processes, In: SIAM journal on control and optimization, vol.251, pp.206-230, 1987.

[. Shelby and C. Bormann, 6LoWPAN: The wireless embedded Internet, 2011.
DOI : 10.1002/9780470686218

[. Song, A. Alvaro, R. Cárdenas, and . Masuoka, Semantic middleware for the Internet of Things, 2010 Internet of Things (IOT), pp.1-8, 2010.
DOI : 10.1109/IOT.2010.5678448

[. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.
DOI : 10.1109/MS.2003.1231146

M. Samek, Y. Paul, and . Montgomery, State oriented programming, In: Embedded Systems Programming, vol.138, pp.22-43, 2000.

P. Spiess, SOA-Based Integration of the Internet of Things in Enterprise Services, 2009 IEEE International Conference on Web Services, pp.968-975, 2009.
DOI : 10.1109/ICWS.2009.98

. Sta+12, G. Thanos, D. Stavropoulos, D. Vrakas, N. Vlachava et al., Bonsai: a smart building ontology for ambient intelligence, Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics. ACM. 2012, p.30

[. Tapia, S. Stephen, L. Intille, K. Lopez, and . Larson, The Design of a Portable Kit of Wireless Sensors for Naturalistic Data Collection, pp.117-134, 2006.
DOI : 10.1007/11748625_8

[. Teixeira, S. Hachem, V. Issarny, and N. Georgantas, Service oriented middleware for the internet of things: a perspective " . In: Towards a Service-Based Internet, pp.220-229, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00632794

[. Tapia, S. Stephen, K. Intille, and . Larson, Activity Recognition in the Home Using Simple and Ubiquitous Sensors, 2004.
DOI : 10.1007/978-3-540-24646-6_10

B. Valente and F. Martins, A middleware framework for the Internet of Things, The Third International Conference on Advances in Future Internet, pp.139-144, 2011.