Algorithme de Fourier-Motzkin

LABORATOIRE d’INGÉNIERIE des SYSTÈMES AUTOMATISÉS
EA 4014 – Université d’Angers
Institut des Sciences et Techniques de l’Ingénieur d’Angers
Master2 Recherche
Spécialité : Systèmes Dynamiques et Signaux
ALGORITHME DE FOURIER –MOTZKIN.
APPLICATION AUX GRAPHES D’ÉVÉNEMENTS TEMPORISÉS.
SUJET :
Réalisé par :
Codjo Hermann ZANNOU
Suivi par :
MrPhilippe DECLERCK
Maître de Conférences à l’université d’Angers
Juin 2007

PLAN
OBJECTIF GÉNÉRAL
1- ALGORITHME DE FOURIER-MOTZKIN
2–QUELQUES RAPPELS SUR LES RÉSEAUX DE PETRI
3– APPLICATION DE L’ALGORITHME DE FOURIER-
MOTZKIN AUX GRAPHES D’ ÉVÉNEMENTS TEMPORISÉS
CONCLUSION ET PERSPECTIVES

OBJECTIF GÉNÉRAL
1. un algorithme de résolution des systèmes d’inéquations Ax≤b
Analyser :
2. une démarche de calcul de trajectoire des graphes d’événements
temporisés

Partie1 : Algorithme de Fourier-Motzkin

ALGORITHME DE FOURIER-MOTZKIN
Objectif
mcontraintes
nvariables
Applicable à des systèmes d’inégalités Ax ≤ b
mnmnm
n
n
x
x
x
.
.
.
.
......
...
...
....
....
2
1
2
1
1
22221
11211