Département EEA - Faculté Sciences et Ingénierie

Master ISTR

Électronique Énergie Electrique et Automatique

Parcours ISTR

Module Diagnostique et Supervision Partie Supervision

Année 2023-2024

Compte rendu de travaux pratiques

Commande Supervisée

Rédigé par KANAZOE Aoua Asmaa et KABORE Oris

12 octobre 2023

1
Table des matières
1 Introduction 3

2 Système de maintenance automatisé. 4

2.1 Réalisation du modèle complet. . . . . .
2.2 Réalisation de la spécification S1. . . . .
2.3 Construction de la commande supervisée
la commande. . . . . . . . . . . . . . . .
2.4 Réalisation de la spécification 2 . . . . .
. . . . . . . . . . . . . . . . . . . . 4
. . . . . . . . . . . . . . . . . . . . 5
P/S1 et analyse des propriétés de
. . . . . . . . . . . . . . . . . . . . 5
. . . . . . . . . . . . . . . . . . . . 7

3 Atelier de peinture et de polissage 10

3.1 Réalisation du modèle complet. . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.2 Réalisation de la spécification . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3 La synthèse de la commande supervisée . . . . . . . . . . . . . . . . . . . . 11

4 Protocole de communication informatique 13

4.1 Réalisation du modèle du système de communication . . . . . . . . . . . . . 13
4.2 Réalisation du modèle de la spécification . . . . . . . . . . . . . . . . . . . . 13
4.3 Construction de la commande supervisée. . . . . . . . . . . . . . . . . . . . 14

5 Conclusion 16

2
1 Introduction
Dans ce Travail Pratique, nous avons pour objectif de construire des commandes super-
visées pour différents systèmes en obéissant à un ensemble de spécifications données. Pour
ce faire nous allons d’abord modéliser notre système ainsi que les différentes spécifications
qu’il doit respecter sous forme d’automates. En faisant ensuite le produit (parallèle ou
synchrone) du procédé et des spécifications nous obtiendrons l’automate de la commande
supervisée. Cette commande supervisée devra respecter les propriétés de contrôlabilité et
de non blocage(propriétés essentielles dans la synthèse d’une commande supervisée). Nous
nous en assurerons avec le logiciel DESUMA.

3
2 Système de maintenance automatisé.
Le système automatisé que nous souhaitons modéliser est constitué de deux machines
M1 et M2. Ces deux machines peuvent tomber en panne et être ensuite réparées.

La machine 1 est modélisée par l’automate présenté dans la figure 1 ci-dessous :

Figure 1 – L’automate de la machine 1.

Quant à la machine 2 , elle est modélisée par l’automate présenté dans la figure 2
ci-dessous :

Figure 2 – L’automate de la machine 2.

2.1 Réalisation du modèle complet.

A partir de l’automate de la machine 1 et celui de la machine 2, on obtient l’automate
du système complet en effectuant le produit parallèle entre l’automate de la machine 1 et
l’automate de la machine 2.

On fait un produit parallèle car les deux alphabets sont distincts.

La figure 3 ci-dessous montre l’automate du système complet.

Figure 3 – L’automate complet du système de maintenance automatisée.

4
2.2 Réalisation de la spécification S1.
La spécification 1 est la suivante : Les machines doivent être réparées dans l’ordre dans
lequel elles sont tombées en panne.
La figure 4 ci-dessous montre l’automate que nous avons réalisé pour satisfaire la spé-
cification 1.

Figure 4 – L’automate de la spécification 1.

Remarque : La spécification 1 est une spécification dynamique car il s’agit d’un auto-
mate décrivant les séquences souhaitées. P P
De plus , elle est une spécification totale car : nc = systme .

2.3 Construction de la commande supervisée P/S1 et analyse des pro-

priétés de la commande.
Afin d’obtenir la commande supervisée, nous effectuons le produit parallèle entre l’au-
tomate du système complet et l’automate de la spécification 1.

Nous veillons également à mentionner les différents évènements non contrôlables.

La figure 5 ci-dessous montre l’automate de la commande supervisée 1.

Figure 5 – L’automate de la commande supervisée 1.

5
 Afin d’analyser la contrôlabilité de cette commande , nous créer un fichier évènements
non-contrôlables.

La figure 6 ci-dessous montre le contenu du fichier d’évènements non–contrôlables.

Figure 6 – Les évènements non-contrôlables.

Après analyse de la contrôlabilité sous DESUMA, nous avons obtenus le résultat pré-
sentés par la figure 7 ci-dessous :

Figure 7 – Les résultats de l’analyse de contrôlabilité de la commande supervisée 1.

Conclusion : Notre commande supervisée 1 est donc contrôlable.

Nous nous attention à un résultat pareil car pour prouver la contrôlabilité de la com-
mande, il faut :

X
L(P/S). ∩ L(P ) ⊆ L(P/S)
nc

Si on prend la séquence : (p1.p2.r1).p1 , cette séquence existe dans le langage du pro-

cédé et cette séquence est inclue dans L(P/S).

Aussi si on prend la séquence : (p2.p1.r2).p2, cette séquence existe dans le langage du

procédé et est inclue dans L(P/S).
Il y a donc bel et bien la vérification de la propriété de contrôlabilité.

Nous souhaitons également vérifier la propriété de non blocage.

Pour ce faire, nous nous référons au cours qui dit que , une commande supervisée est non
bloquante si :

LM (P/S) = L(P/S) autrement dit si Ac (P/S) ⊆ Co(P/S)

Or , Ac (P/S) = X(P/S) = Co (P/S)

Conclusion : Notre commande est non bloquante.

6
2.4 Réalisation de la spécification 2
La spécification 2 est la suivante : La machine 1 doit être réparée en priorité lorsqu’elle
tombe en panne mais il est possible de faire réparer 1 fois la machine 2 toutes les 2
réparations de la machine 1.
La figure 8 ci-dessous présente l’automate que nous avons réalisé pour la spécification
2:

Figure 8 – L’automate de la spécification 2.

Remarque : La spécification 2 est une spécification dynamique car il s’agit d’un auto-
mate décrivant les séquences souhaitées. P P
De plus , elle est une spécification totale car : nc = systme .

7
2.4.1 Construction de la commande supervisée P/S2 et analyse des propriétés
de la commande.
Afin d’obtenir la commande supervisée, nous effectuons le produit parallèle entre l’au-
tomate du système complet et l’automate de la spécification 2.

Nous veillons également à mentionner les différents évènements non contrôlables.

La figure 9 ci-dessous montre l’automate de la commande supervisée 2.

Figure 9 – L’automate de la commande supervisée pour la spécification 2.

8
 Après analyse de la contrôlabilité sous DESUMA, nous avons obtenus le résultat pré-
sentés par la figure 10 ci-dessous :

Figure 10 – Les résultats de l’analyse de contrôlabilité de la commande supervisée pour

la spécification 2.

Conclusion : Notre commande supervisée pour la spécification 2 est donc contrôlable.

9
3 Atelier de peinture et de polissage
Cet atelier est constitué de deux parties. La partie atelier de peinture et polissage
représenté par l’automate de la figure 11 ci-dessous :

Figure 11 – L’automate de l’atelier de peinture et de polissage.

Et la partie stockage représentée par l’automate de la figure 12 ci-dessous :

Figure 12 – L’automate de la zone de stockage.

3.1 Réalisation du modèle complet.

On obtient le modèle du système complet en faisant le produit parallèle entre l’auto-
mate de l’atelier et l’automate du stockage.

La figure 13 ci-dessous présente le système complet :

Figure 13 – L’automate du système complet de peinture et de stockage.

10
3.2 Réalisation de la spécification
La spécification dans ce cas est telle que : On souhaite qu’à tout moment il n’y ait
qu’une seule plaque dans le magasin.

La figure 14 ci-dessous présente l’automate que nous avons réalisé pour satisfaire la
spécification :

Figure 14 – L’automate de la spécification 2.

Remarque : La spécification 2 est une spécification dynamique car il s’agit d’un

automate décrivant les séquences souhaitées. P P
De plus , elle est une spécification partielle car : nc ⊆ systme .

3.3 La synthèse de la commande supervisée

Afin d’obtenir l’automate de commande, nous effectuons le produit parallèle entre le
modèle et la spécification.
La figure 15 ci-dessous présente l’automate de la commande :

Figure 15 – L’automate de la commande supervisée 2.

On analyse la contrôlabilité de la commande à l’aide de DESUMA et la figure 16 ci-

dessous présente le résultat d’analyse de la contrôlabilité :

11
 Figure 16 – Le résultat de l’analyse de contrôlabilité.

Conclusion : Notre commande est donc contrôlable.

Nous nous attention a un résultat pareil car pour prouver la contrôlabilité de la com-
mande, il faut :

X
L(P/S). ∩ L(P ) ⊆ L(P/S)
nc

Si on prend la séquence : (a).b , cette séquence existe dans le langage du procédé et

cette séquence est inclue dans L(P/S).

Aussi si on prend la séquence : (a.b).c, cette séquence existe dans le langage du procédé
et est inclue dans L(P/S).
Il y a donc bel et bien la vérification de la propriété de contrôlabilité.
Nous souhaitons également vérifier la propriété de non blocage.
Pour ce faire, nous nous référons au cours qui dit que , une commande supervisée est non
bloquante si :

LM (P/S) = L(P/S) autrement dit si Ac (P/S) ⊆ Co(P/S)

Or , Ac (P/S) = X(P/S) = Co (P/S)

Conclusion : Notre commande est non bloquante.

12
4 Protocole de communication informatique
4.1 Réalisation du modèle du système de communication
La figure 17 ci-dessous présente le modèle du système de communication :

Figure 17 – Le modèle du système de communication.

4.2 Réalisation du modèle de la spécification

La figure 18 ci-dessous présente l’automate de la spécification :

Figure 18 – Le modèle de la spécification.

Remarque : La spécification 3 est une spécification statique car il s’agit d’un en-
semble d’états interdits. P P
De plus , elle est une spécification totale car : nc = systme .

13
4.3 Construction de la commande supervisée.
La figure 19 ci-dessous présente l’automate de la commande supervisée du système de
communication :

Figure 19 – L’automate de la commande supervisée.

On analyse la contrôlabilité sous DESUMA. La figure 20 ci-dessous présente les résultats

obtenus :

Figure 20 – Le résultat de l’analyse de contrôlabilité.

Conclusion : Notre commande supervisée est contrôlable.

Nous nous attention à un résultat pareil car pour prouver la contrôlabilité de la com-
mande, il faut :

X
L(P/S). ∩ L(P ) ⊆ L(P/S)
nc

Si on prend la séquence : (p1.p2.r1).p1 , cette séquence existe dans le langage du pro-

cédé et cette séquence est inclue dans L(P/S).

Aussi si on prend la séquence : (p2.p1.r2).p2, cette séquence existe dans le langage du

procédé et est inclue dans L(P/S).
Il y a donc bel et bien la vérification de la propriété de contrôlabilité.
Nous souhaitons également vérifier la propriété de non blocage.
Pour ce faire, nous nous référons au cours qui dit que , une commande supervisée est non

14
bloquante si :

LM (P/S) = L(P/S) autrement dit si Ac (P/S) ⊆ Co(P/S)

Or , Ac (P/S) = X(P/S) = Co (P/S)

Conclusion : Notre commande est non bloquante.

15
5 Conclusion
A l’issu de ce travail pratique , nous pouvons dire que :
— Nous avons pu mettre en pratique l’enseignement théorique concernant la conception
d’une commande supervisée.
— Nous avons particulièrement pris garde à avoir des commandes contrôlables, car le
cas inverse n’est pas souhaité.
— Par ailleurs nous avons également veillé à satisfaire la propriété de non blocage (tous
les états de la commande sont accessibles et co-accessibles).

16