ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 47/1-3 - 2013  - pp.211-225  - doi:10.3166/jesa.47.211-225
TITRE
Modèles génériques applicables à la synthèse de contrôleurs discrets pour l’internet des objets

RÉSUMÉ
De nouveaux domaines d’application du contrôle, comme dans l’internet des objets et les environnements intelligents, requièrent le recours à des règles de contrôle génériques permettant la systématisation et l’automatisation de la synthèse des contrôleurs. Nous présentons les résultats préliminaires de notre approche pour la génération de contrôleurs supervisés discrets pour ces applications. Un cadre général de modélisation est proposé, illustré dans le domaine d’application de la maison intelligente. Nous formalisons la conception du gestionnaire de l’environnement comme un problème de synthèse de contrôleurs discrets (SCD) vis-à-vis de contraintes et objectifs multiples, par exemple, des exclusions mutuelles d’états d’entités physiques, ou les seuillages de certains paramètres. Nous validons nos modèles et les calculs du gestionnaire par le langage BZR et un simulateur expérimental.


ABSTRACT
New application domains of control, such as in the Internet of Things (IoT) and Smart Environments, require recourse generic control rules enabling the systematization and the automation of the controller synthesis. We present preliminary results in our approach for the generation of Discrete Supervisory Controllers for these applications. A general modeling framework is proposed for the application domain of smart home. We formalize the design of the environment manager as a Discrete Controller Synthesis (DCS) problem, w.r.t. multiple constraints and objectives, for example logical issues of mutual exclusion, bounding of power peaks. We validate our models and manager computations with the BZR language and an experimental simulator.


AUTEUR(S)
Mengxuan ZHAO, Gilles PRIVAT, Eric RUTTEN, Hassane ALLA

MOTS-CLÉS
internet des objets, environnements intelligents, synthèse de contrôleurs discrets, auto-configuration.

KEYWORDS
internet of things, smart environments, discrete controller synthesis, selfconfiguration.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (399 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier