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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...