Synthese-de-controleur-de-systemes-hybrides-a-flux-continu-par-reseaux-de-Petri-hybrides
Telechargé par
mahmood sleiman
Université ABOU-BEKR BELKAÏD – Tlemcen
Faculté de génie électrique et électronique
Thèse
Pour obtenir le grade de docteur
Spécialité : Productique
Préparé au
laboratoire de productique de Tlemcen
Par
Latéfa GHOMRI
Le 08 Mars 2012
Synthèse de contrôleur
de systèmes hybrides à
flux continu par réseaux
de Petri hybrides
Devant le jury composé de :
Président
GHOUALI Noureddine
Professeur à l’université de Tlemcen
Examinateurs
GHOUL HADIBY Rachida
Professeur à l’université d’Oran
HENNET Jean-Claude
Directeur de recherche au CNRS
DEMONGODIN Isabelle
Professeur à l’université Saint Jérôme
Directeurs de thèse
ALLA Hassane
Professeur à l’université Grenoble 1
SARI Zaki
Professeur à l’université de
Tlemcen
Introduction générale 1
Systèmes dynamiques hybrides : modélisation et analyse 6
I. Comportement hybride des systèmes dynamiques 6
I.1 Classes de phénomènes hybrides 7
I.2 La classe de systèmes considérée (les systèmes à flux continu) 9
II. Les automates hybrides 11
II.1 Les automates à états finis 11
II.2 Analyse d’atteignabilité des automates hybrides 17
III. Les réseaux discrets 18
III.1 Notions de bases des réseaux de Petri 19
III.2 Les réseaux de Petri T-temporels 22
IV. Conclusion 27
Systèmes dynamiques hybrides : modélisation et analyse par
réseaux de Petri 29
I. Les réseaux de Petri continus 29
I.1 Les RdP continus à vitesse constante 32
I.2 Les RdP continus à vitesse variables 35
I.3 Les RdP continus asymptotique 32
I.4 Les RdP continus à vitesse fonction du temps 35
II. Les réseaux de Petri hybrides 36
III. Les réseaux de Petri hybrides D-élémentaires 40
IV. Traduction des RdPH D-élémentaires en automates hybrides 41
III.1 La relation entres des automates et les réseaux de Petri 41
III.2 Principe de l’algorithme de traduction des RdPH D-élémentaires en automates
hybrides 43
III.3 Particularité de l’automate hybride resultant de la traduction 48
Sommaire
V. Conclusion 49
Systèmes dynamiques hybrides : Synthèse de contrôleur 51
I. Synthèse de contrôleur pour les systèmes à évènements discrets
51
I.1 Concept de supervision 32
I.2 Définition d’un superviseur 54
I.3 Contrôlabilité 57
I.4 Algorithme de Kumar 59
II.
Synthèse de contrôleur pour les systèmes à évènements
discrets temporisés
61
II.1 Synthèse de contrôleur en temps discret 31
II.2 Synthèse de contrôleur en temps continu 66
III.
Synthèse de contrôleur pour les systèmes hybrides
70
IV. Conclusion 72
Synthèse de contrôleur pour les systèmes à flux continu 74
I.
Présentation intuitive de l’approche de la synthèse de
contrôleur
74
II.
Modélisation du procédé en boucle ouverte
78
III.
Synthèse de contrôleur
82
III.1 Modélisation des spécifications 82
III.2 Calcul du contrôleur 83
III.3 Contrôleur global 89
IV. Conclusion 90
Conclusion générale et perspectives 92
Annexe : L’outil PHAVer 94
Références Bibliographiques 98
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
1
/
108
100%
Synthese-de-controleur-de-systemes-hybrides-a-flux-continu-par-reseaux-de-Petri-hybrides
Telechargé par
mahmood sleiman
