Table des matières - Gilles Daniel
Table des matières - Gilles Daniel Table des matières - Gilles Daniel
48 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société. Figure 2.2. Classification des formalismes selon l’aspect continu ou discret des variables, du temps et de l’espace. 2.4. DEVS : intégration de modèles Comme nous l’avons vu précédemment, on peut définir cinq niveaux de spécifications formelles d’un système dynamique [ZEI 73]. Il est bien évident que pour répondre au problème d’intégration de modèles ou de couplage de modèles, il faut répondre avant tout à la question : quel est le niveau le plus adéquat pour l’intégration de modèles La question sous-jacente est : quel est le niveau d’intégration que l’on désire Si le degré d’intégration est faible, on peut se contenter de spécifier tout modèle avec un niveau 0 (la boîte noire). Mais quel est alors le potentiel d’une telle intégration Depuis les années 1970, des travaux formels ont été menés pour développer les fondements théoriques de la modélisation et la simulation des systèmes dynamiques à événements discrets [ZEI 73]. B. Zeigler s’attache alors à travailler au niveau systèmes dynamiques et systèmes couplés. DEVS (Discrete EVent system Specification) a été introduit comme un formalisme abstrait pour la modélisation à événements discrets.C’est un formalisme universel. Il s’abstrait totalement de la mise en œuvre des simulateurs mettant en œuvre la modélisation du système. Néanmoins, DEVS de par sa nature opérationnelle, propose des algorithmes pour le comportement dynamique des modèles.
Introduction à la modélisation et à la simulation d'événements discrets. 49 2.4.1 DEVS atomique Un modèle DEVS atomique possède la structure suivante : DEVS = (X,Y ,S, δ ext ,δ int ,δ con ,λ,ta) [2.2] où : X est l’ensemble des ports et des valeurs d’entrée, Y l’ensemble des ports et des valeurs de sortie, S l’ensemble des états du système, δ ext la fonction de transition externe, δ int la fonction de transition interne, δ con la fonction de transition ”conflit”, λ la fonction de sortie, ta la fonction d’avancement du temps. Cette structure est plus complexe que celle proposée au niveau systèmes dynamiques. La seule différence réside dans la séparation de la fonction de transition en trois fonctions de transition. Un modèle DEVS peut être représenté graphiquement par une boîte avec un ensemble d’entrées appelées ports d’entrée et de sorties appelées ports de sortie. Les vecteurs d’entrée et sortie sont l’union de tous les ports du modèle. Figure 2.3. Représentation graphique d'un modèle atomique. v i est la valeur prise par un port d’entrée ou de sortie. Cette valeur appartient à l’ensemble des valeurs possibles du port p i . Un port d’entrée prend une valeur lors de l’émission d’un événement attaché à ce port. Un port de sortie prend une valeur lorsque la fonction de sortie prend une valeur pour ce port. S est l’ensemble des états du système. L’ensemble des valeurs pris par le vecteur d’états à un instant donné e est appelé état du système. L’ensemble ST des états totaux du système est : ST = (s, e) où s ∈ S, o < e < ta(s) e représente le temps écoulé dans l’état s. Ce concept d’état total (s, e) est fondamental car il permet de spécifier un état futur en fonction du temps écoulé dans
- Page 1 and 2: Table des matières PREMIERE PARTIE
- Page 3 and 4: Première partie Introduction Depui
- Page 5 and 6: Introduction . 9 permettent de form
- Page 7 and 8: Chapitre 1 Concepts et méthodologi
- Page 9 and 10: Concepts et méthodologies multi-ag
- Page 11 and 12: Concepts et méthodologies multi-ag
- Page 13 and 14: Concepts et méthodologies multi-ag
- Page 15 and 16: Concepts et méthodologies multi-ag
- Page 17 and 18: Concepts et méthodologies multi-ag
- Page 19 and 20: Concepts et méthodologies multi-ag
- Page 21 and 22: Concepts et méthodologies multi-ag
- Page 23 and 24: Concepts et méthodologies multi-ag
- Page 25 and 26: Concepts et méthodologies multi-ag
- Page 27 and 28: Concepts et méthodologies multi-ag
- Page 29 and 30: Concepts et méthodologies multi-ag
- Page 31 and 32: Concepts et méthodologies multi-ag
- Page 33 and 34: Chapitre 2 Introduction à la modé
- Page 35 and 36: Introduction à la modélisation et
- Page 37 and 38: Introduction à la modélisation et
- Page 39 and 40: Introduction à la modélisation et
- Page 41 and 42: Introduction à la modélisation et
- Page 43: Introduction à la modélisation et
- Page 47 and 48: Introduction à la modélisation et
- Page 49 and 50: Introduction à la modélisation et
- Page 51 and 52: Introduction à la modélisation et
- Page 53 and 54: Introduction à la modélisation et
- Page 55 and 56: Introduction à la modélisation et
- Page 57 and 58: Chapitre 3 Explorer les modèles pa
- Page 59 and 60: Explorer les modèles par simulatio
- Page 61 and 62: Explorer les modèles par simulatio
- Page 63 and 64: Explorer les modèles par simulatio
- Page 65 and 66: Explorer les modèles par simulatio
- Page 67 and 68: Explorer les modèles par simulatio
- Page 69 and 70: Explorer les modèles par simulatio
- Page 71 and 72: Explorer les modèles par simulatio
- Page 73 and 74: Explorer les modèles par simulatio
- Page 75 and 76: Explorer les modèles par simulatio
- Page 77 and 78: Explorer les modèles par simulatio
- Page 79 and 80: Explorer les modèles par simulatio
- Page 81 and 82: Explorer les modèles par simulatio
- Page 83 and 84: Chapitre 4 Evaluation et validation
- Page 85 and 86: Evaluation et validation de modèle
- Page 87 and 88: Evaluation et validation de modèle
- Page 89 and 90: Evaluation et validation de modèle
- Page 91 and 92: Evaluation et validation de modèle
- Page 93 and 94: Evaluation et validation de modèle
48 Modélisation et simulation multi-agents pour Sciences de l'Homme et de la Société.<br />
Figure 2.2. Classification <strong>des</strong> formalismes selon l’aspect continu ou discret <strong>des</strong> variables, du<br />
temps et de l’espace.<br />
2.4. DEVS : intégration de modèles<br />
Comme nous l’avons vu précédemment, on peut définir cinq niveaux de<br />
spécifications formelles d’un système dynamique [ZEI 73]. Il est bien évident que pour<br />
répondre au problème d’intégration de modèles ou de couplage de modèles, il faut<br />
répondre avant tout à la question : quel est le niveau le plus adéquat pour l’intégration<br />
de modèles La question sous-jacente est : quel est le niveau d’intégration que l’on<br />
désire Si le degré d’intégration est faible, on peut se contenter de spécifier tout<br />
modèle avec un niveau 0 (la boîte noire). Mais quel est alors le potentiel d’une telle<br />
intégration Depuis les années 1970, <strong>des</strong> travaux formels ont été menés pour développer<br />
les fondements théoriques de la modélisation et la simulation <strong>des</strong> systèmes dynamiques à<br />
événements discrets [ZEI 73]. B. Zeigler s’attache alors à travailler au niveau systèmes<br />
dynamiques et systèmes couplés. DEVS (Discrete EVent system Specification) a été<br />
introduit comme un formalisme abstrait pour la modélisation à événements discrets.C’est<br />
un formalisme universel. Il s’abstrait totalement de la mise en œuvre <strong>des</strong> simulateurs<br />
mettant en œuvre la modélisation du système. Néanmoins, DEVS de par sa nature<br />
opérationnelle, propose <strong>des</strong> algorithmes pour le comportement dynamique <strong>des</strong> modèles.