Modélisation à base de contraintes\\de systèmes dynamiques à événements discrets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00151227 , version 1

Cite

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
81 View
104 Download

Share

Gmail Facebook Twitter LinkedIn More