Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets

Résumé

De nombreux cadres dédiés à la modélisation de systèmes dynamiques à événements discrets ont été proposés pour répondre à des tâches de programmation, de simulation, de validation, de suivi de situation ou de décision (automates, réseaux de Petri, chaînes de Markov, logique temporelle, calcul des situations, STRIPS...). Tous ces cadres présentent des similitudes importantes, mais aucun n'offre la souplesse de cadres plus généraux tels que la logique ou les contraintes. Dans cet article, nous proposons un cadre générique de modélisation de systèmes dynamiques à événements discrets dont les principaux composants sont des chronogrammes d'état et d'événement et des contraintes sur ces chronogrammes. Bien que n'importe quel type de contrainte puisse être défini sur des chronogrammes, nous nous focalisons sur des contraintes a priori utiles~: contraintes temporelles pures, contraintes d'état ou d'événement instantané, contraintes de transition instantanée ou non. Finalement, nous montrons comment le cadre proposé englobe des cadres apparemment différents tels que les automates, les réseaux de Petri ou les cadres classiques utilisés en planification ou en ordonnancement, tout en offrant la très grande souplesse d'une modélisation à base de contraintes.
Fichier principal
Vignette du fichier
13.pdf (209.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00151227 , version 1 (01-06-2007)

Identifiants

  • HAL Id : inria-00151227 , version 1

Citer

Gérard Verfaillie, Cédric Pralet, Michel Lemaître. Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151227⟩

Collections

ONERA JFPC07
86 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More