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.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00151227
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 18:30:37
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 16:05:50

Fichier

13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00151227, version 1

Collections

Citation

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, 2007, JFPC07. 〈inria-00151227〉

Partager

Métriques

Consultations de la notice

93

Téléchargements de fichiers

71