Modélisation de l'interopérabilité d'objets communicants et de leur coopération : application à la domotique

Abstract : In the context of the building developments, it is increasing necessary to interconnect communicating objects. This approach is slow down because of the lack of a standard communication protocol. The smart home is not a new concept, and home automation has become a fashion research topic in recent years. The problem of this thesis focuses on the interoperability of communicating systems. Specifically, we focus on how to establish cooperation between different devices of an environment in order to hide the complexity to a user. Initially, interoperability between these objects is achieved by the establishment of a virtual ecosystem where devices can communicate their states or the state of the environment. It is the abstraction of systems. In this paper, we discuss how and why systems are necessarily abstract when we are interested in taking into consideration the context of the installation. The study of consideration of context allowed to provide scientific data to the company Overkiz in order to realize abstraction of home automation devices. Second, cooperation among communicating objects is implemented by a mathematical tool to model the behavior of an environment cibsustubg of actuators, sensors and user interfaces. The behavior is formalized using the automata theory and more specificaly the automaton theory of Input/Output Symbolic Transition Systems (IOSTS). We synthesize then how to synthetise a "controller" of a global behavior of an installation, from constraint rules or rules of action.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00748676
Contributor : Abes Star <>
Submitted on : Monday, November 5, 2012 - 5:57:11 PM
Last modification on : Friday, June 22, 2018 - 1:32:31 AM
Long-term archiving on : Wednesday, February 6, 2013 - 3:56:33 AM

File

SARTOR_2012_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00748676, version 1

Collections

Citation

Fabien Sartor. Modélisation de l'interopérabilité d'objets communicants et de leur coopération : application à la domotique. Architecture, aménagement de l'espace. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENA018⟩. ⟨tel-00748676⟩

Share

Metrics

Record views

1128

Files downloads

3119