TD01

Exercice 01 :

Q1 : les 3 automates : Machine 1 et 2, stock (automate de spécification).

-M1- -M2-

Etats de repos : q0, q2 ;

Etats de marche (usinage) : q1, q2

-As-

S0 : état du stock vide ; S1 : état du stock plein.

Dans L’automate de spécification il faut vérifier influence de tous les événements des machines 1 et 2 sur
l’état du stock.

 L’événement f1( dépôt de la pièce usiné par la machine 1) change l’état du stock du vide vers
plein.
 L’événement d2 ( prise d’une pièce par la machine 2) change l’état du stock du plein vers vide.
 Les 2 événements d1 et f2 ne changent pas les états du stock. On ajoute ces événements dans les
boucles (self-loop).

Q2 : la synchronisation des 2 automate M1//M2=P :

∑1= {d1, f1} ; ∑2= {d2, f2} ; ∑1∩ ∑2={ }.

La synchronisation dans ce cas c’est le produit libre :

1
Q3 : la synchronisation des 2 automate P//s As=M

∑p= ∑As={d1, f1,d2, f2}

Lmp ≠ LmAs (il n’existe aucun langage marqué en commun).

Dans ce cas on fait le produit synchrone.

Q4 : vérification de la contrôlabilité du modèle automate :

On remarque que dans les 2 états q12S1 et q13S1 , l’état q1 représente l’état marche de la machine 1 et S1
indique que le stock contient une pièce . on observe que dans le graphe les événements possibles à partir
de ces états sont seulement: d2 et f2, mais en réalité l’événement incontôlable « f1 » se produise
immidiatement lorsque la machine 1 termine l’usinage de la pièce et on ne peut pas l’interdir. Par
conséquence le nombre des pièces dans le stock soit 2, ce qui s’oppose à la contrainte posé sur le stock
(capacité =1).Donc l’automate résultant n’est pas contrôlable.

2
Afin d’éviter ce problème il faut interdir l’événement contrôlable juste avant ces états, qui est d1.

On obtient alors l’automate final qui garantie le fonctionnement en boucle fermé désiré :

Exercice 02 :

Q1 : les automates des 3 sous-systèmes : vanne de remplissage FV/ Vidange DV et capteurs de

niveau

Cette flèche

Q2 : Automate synchronisé du système globale :

2.1 Automate synchronisé pour les 2 vannes :

3
2.2 Automate synchronisé pour les 3 sous-systèmes :

4
Q3 : Conditions de validation de chaque événement

Dans le tableau suivant on trouve la condition de validation de chaque événement par example pour
l’événement : E-N, qui signifie le changement de niveau d’eau vers le niveau moyen ou normal, leur
condition de validation est la vanne FV ouverte.

5
Q4 : les événements non valides :

-il faut supprimer les événements qui sont indiqués par les flèches rouges puisque ils sont
invalides.

Q 5 : les événements qui seront interdits pour respecter la spécification de la question 5 sont
indiqués par les flèches vertes ainsi que les états correspondants.

6
Q 6 : les flèches colorées en bleu correspond aux événements interdits dans la spécification de la
question 6.

L’automate suivant présente le fonctionnement en boucle fermé désiré: