Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Accueil

Select other language :

Enseignements

Enseignements Département Informatique SI5 et Master IFI

Enseignements Département Bâtiment Polytech'Nice

Autres Formations française et étrangère

Activités administratives,Ingénierie et Innovation Pédagogiques

Recherche

Publications et Encadrement Recherche

Projets Européens en cours

Plates-formes Expérimentales

Collaborations Recherche et Projets de Recherche récents et en cours

Archives sur les Collaborations Recherche et Projets de Recherche

Encadrements d'étudiants de Master depuis 2015

Pages des Projets et Stages

Autres Collaborations Scientifiques et Travaux en cours

Collaboration with Halmstad University about Ambient Assisted Living

Valorisation de la Recherche

Dépôts Logiciels à l’Agence de Protection des Programme (APP)

Valorisation des résultats de recherche et transfert

Diffusion de la Culture scientifique et Technologique

Communications de presse

Séminaire ENSI Tunis

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

  • Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
  • Journées UbiMob'14 Site Web

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

Meeting 300415

PLAN

Production de l'automate de la Thing

  • Modèle de l'environnement est exprimé dans un automate. (salon/ salle à manger) = séjour
    • salon allumé = petite lumière dans SaM et vice versa
  • Modèle des devices avec pour entrée les commandes (ex. trig1.on) et en sortie les états du device (ex light1.on …)
  • Modèle d'interaction entre devices et environnement : (ex. light1.on ⇒ room1.light), Quel langage ?
  • Le modèle de la thing est le produit de tout ses automates.

Modélisation des accès concurrents à une Thing T

  • Une App_ij de Type_j peut accéder à T en y associant des contraintes exprimées en fonction de son Type_j, des autres Types_k d'App_ik, des opérateurs comme des quantifieurs quelquesoit / il existe / et les entrées des dispositifs et les états de l'environnement.
  • Exemple : App_grande_lumière donne pour contrainte
    • Salon allumé & SaM allumée

Références à lire

Présentation Rutten Journée Robotique / GPL 12-14

CBSE 2014 Rutten

TODO

  • Envoi du template et première rédac “partie langage” par Annie
  • Faire le plan grossier pour le 4/05
  • Annie prend la main semaine du 4/5
  • JY et Steph la semaine suivante
  • Finalisation le 18,19,20 …

Board de la réunion

recherche/projets/syncomp/meetings/meeting300415.txt · Dernière modification: 2015/04/30 15:07 par tigli
Piste: Meeting 300415
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0