Avancement
Plan du projet
Phase
1 : Etude de
l’objet à modéliser, soit : un
système multi-agent basé sur
l’auto-organisation
par coopération.
Pour modéliser les systèmes multi-agents
basés sur l’auto-organisation par
coopération, il est nécessaire que le
modélisateur ait pris connaissance de ces
systèmes. C’est pourquoi la première
phase du projet consiste à étudier
l’objet à modéliser, à
mettre en évidence les concepts primordiaux.
Durée :
6 mois
Phase 2 :
Formalisation des principes.
L’objectif principal de cette phase est
d’élaborer un modèle. Ce
modèle est une forme de produit d’automates qui
étend à la fois les automates communicants, les
automates cellulaires et les systèmes de
réétiquetage de graphes. Cette formalisation sera
ensuite validée pour les SMA coopératifs.
Durée :
1 an
Phase 3 :
Démonstrations des propriétés.
Au cours de cette phase, les propriétés seront
tout d'abord énoncées et
démontrées. Nous nous attacherons à
exprimer des propriétés au niveau global et
à mesurer leur implication à partir du local.
Durée :
6 mois
Réunions
- 20.06.06
- Présents : Marie-Pierre Gleizes, Pierre Glize, Jean-Pierre Georgé, Valérie Camps, Davy Capera
- Lieu : IRIT
- Ordre du jour :
- Compte rendu du séminaires MASE au LAAS le 6 juin 2006
- Perspectives pour le projet MASE
- 17.05.06
- Présent : Jean Fanchon, Jean-Pierre Georgé
- Lieu : LAAS
- Ordre du jour :
- Préparation de la présentation pour le séminaire FéRIA
- 19.04.06
- Présents : Jean Fanchon, Davy Capera, Pierre Glize, Jean-Pierre Georgé, Valérie Camps, Marie-Pierre Gleizes
- Lieu : IRIT
- Ordre du jour :
- Préparation séminaire FéRIA au LAAS
- Discussion sur la catégorisation des problèmes
- 4.04.06
- Présents : Pierre Glize, Marie-Pierre Gleizes, Valérie Camps, Jean-Pierre Georgé, Jean Fanchon, Davy Capera
- Lieu : IRIT
- Ordre du jour :
- Compte rendu du groupe "robots"
- Compte rendu du groupe "ETTO"
- 3.03.06
- Présents : Marie-Pierre Gleizes, Jean-Pierre Georgé, Pierre Glize, Jean Fachon, Davy Capera, Valérie Camps
- Lieu : IRIT
- Ordre du jour :
- Première mise en commun des 2 groupes de travail
- 3.04.06 / 27.03.06 / 1.03.06
- Groupe "Robots" : Davy Capera, pierre Glize, Valérie Camps
- Lieu : LAAS / IRIT
- Ordre du jour :
- Analyse du problème des "robots" (fouragement + sens de circulation) en vue d'en faire une classe de problèmes pour MASE
- 31.03.06 / 10.03.06 / 28.02.06 / 31.01.06
- Groupe "ETTO" : Jean Fanchon, Jean-Pierre Georgé, Marie-Pierre Gleizes
- Lieu : LAAS / IRIT
- Ordre du jour :
- Analyse d'ETTO (emploi du temps) en vue d'en faire une classe de problèmes pour MASE
- Modélisation sous forme de CSP
- 27.01.06
- Présents : Jean Fanchon, Marie-Pierre Gleizes, Jean-Pierre Georgé, Pierre Glize, Valérie Camps, Davy Capera
- Lieu : IRIT
- Ordre du jour :
- Etat de l'art : Amorphous Computing / Unconventional Computing
- Discussion sur la possibilité de faire des classes de problèmes et donc des modèles instanciés appropriés. 2 groupes de travail pour proposer un modèle générique correspondant aux problèmes de type :
- ETTO (emploi du temps, cf. CSP)
- Fouragement de robots
- Calrification de la différentiation fonction globale émergente / réductible
- 1.12.05
- Présents : Davy Capera, Jean Fanchon, Marie-Pierre Gleizes, Pierre Glize
- Lieu : IRIT
- Ordre du jour :
- Préparation de la présentation de l'article pour EUMAS05
- 28.10.05
- Présents : Jean Fanchon, Valérie Camps, Pierre Glize, Davy Capera, Jean-Pierre Georgé
- Lieu : IRIT
- Ordre du jour :
- Notations générales pour la coopération
- Explicitation et notations de la coopération dans un exemple (ETTO : gestion d'emploi du temps)
- 17.10.05
- Présents : Jean Fanchon, Marie-Pierre Gleizes, Pierre Glize, Davy Capera, Valérie Camps, Jean-Pierre Georgé
- Lieu : LAAS
- Ordre du jour :
- Gestion du budget du projet
- Discussion sur la participation au workshop EUMAS05
- Travail sur les définitions de (et relations entre) adéquation fonctionnelle, système coopératif, système à milieu intérieur coopératif, état coopératif, comportement coopératif, perturbation de l'environnement, ...
- 27.09.05
- Présents : Davy Capera, Jean-Pierre Georgé, Jean Fanchon, Valérie Camps, Marie-Pierre Gleizes, Pierre Glize
- Lieu : IRIT
- Ordre du jour :
- Traduction de l'article en soumission
- Evolution de la notation de la coopération
- Clarification des concepts de la théorie AMAS par rapport au modèle
- 13.07.05
- Présents : Davy Capera, Jean Fanchon, Valérie Camps, Jean-Pierre Georgé
- Lieu : LAAS
- Ordre du jour :
- Travail sur les notations pour la coopération
- Caractérisation des systèmes par rapport au degrés de coopération
- Lien entre l'expréssivité du modèle et la théorie AMAS
- 8.07.05
- Présents : Valérie Camps, Pierre Glize, Jean Fanchon, Davy Capera, Jean-Pierre Georgé
- Lieu : IRIT
- Ordre du jour :
- Refléxions pour l'élaboration d'un sujet de DEA autours des automates cellulaires asynchrones distribués
- Formalisation des notions de "degrés de coopération"
- 9.06.05 et 31.05.05
- Présents : Davy Capera, Jean-Pierre Georgé, Jean Fanchon, Pierre Glize, Marie-Pierre Gleizes
- Lieu : LAAS, IRIT
- Ordre du jour :
- Finalisation de l'article présentant le modèle formel développé
- Soumission à RFIA 2006
- Rapport interne LAAS
- 26.05.05
- Présents : Jean-Pierre Georgé, Davy Capera, Jean Fanchon, Pierre Glize, Valerie Camps, Marie-Pierre Gleizes
- Lieu : IRIT
- Ordre du jour :
- Travail sur un article présentant le modèle formel développé
- Etude de logiques modales pour exprimer les propriétés des systèmes afin de les rendre prouvables par le modèle formel
- 12.04.05
- Présents : Valérie Camps, Jean Fanchon, Pierre Glize, Davy Capera, Jean-Pierre Georgé
- Lieu : IRIT
- Ordre du jour :
- Mise à jour de l'état de l'art
- Mise en place le la notion de coopération
- 30.03.05
- Présents : Jean-Pierre Georgé, Pierre Glize, Jean Fanchon, Davy Capera, Marie-Pierre Gleizes
- Lieu : IRIT
- Ordre du jour :
- Prévoir la réorganisation par changement de couches dans le modèle.
- Travail sur la modélisation de MSS (Mechanical synthesis solver).
- Changements dans le modèlet : notation à part de l'environnement, association de caractéristiques à chaque état.
- Etudes des caractéristiques des SMA dans le modèle : openess, contrôle centralisé, homogénéité, apprentissage de l'agent, émergence.
- 22.03.05
- Présents : Pierre Glize, Jean Fanchon, Valérie Camps, Jean-Pierre Georgé, Marie-Pierre Gleizes, Davy Capera
- Lieu : LAAS
- Ordre du jour :
- Discussion au sujet des règles de transitions : nature (disjointes, incluses...), choix d'éxécution.
- L'Environnement : une partie distribuable au sein des agents, mais caractéristiques et automate propre. Notation à part.
- Changement de notation pour certaines caractéristiques : notées à la suite des états élémentaires et non au sein des représentations internes de l'agent.
- Préparer un article pour le 15 Juillet.
- 8.03.05
- Présents : Pierre Glize, Marie-Pierre Gleizes, Jean-Fanchon, Valérie Camps, Davy Capera, Jean-Pierre Georgé
- Lieu : IRIT
- Ordre du jour:
- Amélioration site web
- Nouvelle version de la formalisation et de l'article (intégration des caractéristiques exprimables)
- Modèle appliqué à Synamec/MSS (conception autonome de mécanismes)
- 24.05.05
- Présents : Jean Fanchon, Valérie Camps, Davy Capera, Jean-Pierre Georgé
- Lieu : LAAS
- Ordre du jour :
- Nouvelle version de la formalisation et de l'article
- Discussion sur les possibilités de preuves à partir de cette version du formalisme
- Etude de l'expression des caractéristiques des SMA avec le modèle (directement ou par preuve)
- Validation du site web
- 17.02.05
- 10.02.05
- 02.02.05
- 20.01.05
- 18.01.05
- 07.12.04
- 13.09.04
- 02.09.04
Réunions préparatoires
- 04.03.04
- 26.02.04
- 24.02.04
- 10.02.04
- 03.02.04
- 27.01.04
- 15.01.04
- 14.01.04
- 05.01.04
- 17.11.03
- 23.10.03
- 01.10.03
- 25.09.03
- 22.07.03