Table des matières - Gilles Daniel

Table des matières - Gilles Daniel Table des matières - Gilles Daniel

gillesdaniel.com
from gillesdaniel.com More from this publisher
01.01.2015 Views

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

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!