Soutenance 0.33

Thse de doctorat en Gnie Informatique,
Automatique, Traitement du Signal

soutenue publiquement
par Benot ROHEE, le 19 Dcembre 2008

Codirectrice : Vronique Carr-Mntrier
Codirecteur : Bernard Riera
Encadrant : Jean-Marc Roussel
Laboratoire CReSTIC EA3804, Universit de Reims Champagne-Ardenne

Contribution la conception
dapplications de pilotage des
systmes manufacturiers
1
Plan gnral (1)
2
Contexte des systmes automatiss de
production
Comparaison entre lapproche industrielle et la
recherche thorique et problmatique de la
modlisation de la partie oprative
Modlisation du comportement de la partie
oprative
Problmatique
Les outils de modlisation utiliss
Exemples de modles de partie opratives
Bilan de la modlisation de la partie oprative
nonc dune proprit de vrification dun
modle de partie oprative
Plan gnral (2)
3
Proposition dune dmarche de modlisation de
la partie oprative par les automates tats finis
Mthodologie de construction
Utilisation des modles pour la supervision
industrielle
Approche hybride des systmes automatiss
Prsentation de loutil rseaux de Petri hybrides
Extension de la dmarche de modlisation
lapproche hybride
Exemples de modles de partie oprative
Exploitation des modles en simulation
Conclusion et perspectives

Plan gnral (1)
4
production
recherche thorique et problmatique
oprative
Problmatique
Contexte des systmes automatiss
de production
Le systme automatis de production apporte
une valeur ajoute au flux de production
PRODUIRE
Matire
duvre
entrante
Matire
duvre
sortante
Partie oprative et partie
commande
=Systme automatis de
production
Informatio
ns de
pilotage
Alimentati
on en
nergie
5
Donnes
de
traabilit
Les procds manufacturiers
Description laide de modles bass sur
Des variables dtat symboliques
Une variable temporelle symbolique (chronologie
des volutions)
Les outils utiliss sont issus de lautomatique
vnementielle et reposent sur la thorie de
Systmes Evnements Discrets
Les principaux outils utiliss en SED sont la
thorie des langages, les automates tats finis,
les rseaux de Petri, les quations algbriques
Les modles sont constitus dune reprsentation
dcrivant la succession doprations
squentielles et/ou parallles
6
Plan gnral (1)
7
production
Comparaison entre lapproche industrielle et
la recherche thorique et problmatique
oprative
Problmatique
Approche pratique
Approche thorique
Comparaison entre lapproche
industrielle et la recherche thorique
8
Modle
de partie
oprative
Applications :
-Synthse de la commande
-Vrification/validation de la
commande
-Diagnostic du fonctionnement
du systme
-Suivi et visualisation des
volutions
-Simulation de comportement
Outils de reprsentation :
-Thorie des langages
-Automates tats finis
-Rseaux de Petri hybrides
-Equations algbriques
Paramtres considrer :
-Grandeurs physiques
-Temps
-Commandes logiques
-Capteurs TOR
-Excution cyclique
Partie
oprative
relle
Comprhension
informelle du
fonctionnement
Analyse et observation :
-Assimilation du comportement
physique et temporel
-tude et positionnement des
capteurs
-Effets des commandes

Applications :
-laboration de la commande
-Surveillance du fonctionnement
du systme
-Supervision industrielle
-Traabilit
Outils de
programmation :
-IEC 61 131-3
-Scripts de supervision
Plan gnral (1)
9
production
recherche thorique
oprative
Problmatique
Problmatique
Pourquoi existe-t-il un foss entre la thorie des
SED et la mise en uvre pratique dans les
procds manufacturiers ?
Lautomatique continue exploite un modle
dynamique du systme. Pourquoi le modle de
partie oprative des systmes manufacturiers
nest pas toujours explicit dans lindustrie ?
Comment utiliser un modle de partie oprative
pour le pilotage des procds manufacturiers ?
Peut-on utiliser une solution intgre ?
10
laboration et utilisation du modle de
partie oprative pour les systmes
manufacturiers
Plan gnral (1)
11
production
recherche thorique
oprative
Problmatique
Les outils de modlisation utiliss en
SED
12
Les automates tats finis
Outil mathmatique permettant de lister les
situations successives susceptibles dtre atteintes
Possibilit de reprsentation graphique des
volutions et des situations successives dun
systme
La connaissance de la situation initiale du modle
indispensable
Lexploitation des modles par les outils
informatiques facilite
13
Dfinition mathmatique des automates tats
finis

avec
lensemble dtats
lalphabet des vnements
la fonction de transition partielle de changement dtat
sur occurrence dun vnement
ltat initial de lautomate tats
lensemble des tats marqus

( )
0
: , , , ,
m
G Q q Q o = E
Q
E
o
0
q
m
Q
14
Langage gnr par lautomate tats finis
La fonction de transition o dtermine quels sont les
vnements qui sont susceptibles de se produire

Cette dfinition est tendue aux squences
dvnements

Le langage gnr par G est dfini par la relation
suivante

( )
:
, '
Q Q
q q
o
o o
E
=
( ) ( ) ( )
*
:
, , ,
Q Q
q s q s
o
o o o o o
E
=
( ) ( )
{ }
*
0
, L G s q s Qm o = eE e
15
Intrts des automates tats finis pour la
modlisation des systmes manufacturiers
Outil trs prsent dans applications de recherche
Mise en vidence des comportements squentiels
cycliques
Remarques gnrales
Des outils comme les rseaux de Petri permettent
un plus grand niveau dabstraction mais peuvent se
ramener la gnration de langages pouvant tre
reprsents par des automates tats finis
Les modles proposs sont souvent empiriques et
ne comportent aucune dmarche mthodologique
de conception ou phase de vrification
Plan gnral (1)
16
Contexte des systmes automatiss de production
recherche thorique
oprative
Problmatique
Exemples de modles de partie
oprative
17
Modlisation dune machine en synthse de la
commande [Ramadge & Wonham, 1989]
repos
production dfaillan
t
transitions associes un vnement non
contrlable
transitions associes un vnement contrlable
tats du systme
tat initial
association dune
tche
tche termine
rparation
panne

|
o
o
|

Remarques :
Modle trs abstrait issu dune analyse fonctionnelle
Utilisable pour lordonancement de la production
Exemples de modles de partie
oprative
18
Modlisation dun vrin pas--pas dans [Balemi,
2002]
Modlisation construite par action

3 4
en panne
sorti
5 6
rentre
r
rentr

7
rpar
er
1 0 2
sorti
rparer
en
panne
rentr
sortir
11
10
12
13 14
rentr
rentrer sorti
r
sorti
rpare
r
en
panne
Assemblage du modle de comportement du vrin

Remarques :
Modle dun actionneur isol
Relation avec les commandes et les capteurs implicite
Plan gnral (1)
19
Contexte des systmes automatiss de production
recherche thorique
oprative
Problmatique
Bilan et contribution sur la
modlisation de la partie oprative
20
Les modles de partie oprative sont
indispensables aux applications thoriques des
SED : commande, diagnostic, supervision
industrielle
Diffrents niveaux de modlisation plus ou moins
abstraits existent mais les modles sont
empiriques
Nos approches de la modlisation bas niveau :

Modle
de partie
oprative
Partie
oprative
relle
Applicatio
ns
Construction
selon une
dmarche
mthodologique
Proposition
empirique dun
modle puis
vrification
formelle
Proposition
empirique dun
modle puis
vrification
formelle
Construction
selon une
dmarche
mthodologique
Plan gnral (1)
21
production
recherche thorique
oprative
Problmatique
Proposition dune proprit de
commandabilit dun modle
22
Objectif : tester si un modle de partie oprative
bas niveau contient toutes les volutions
possibles des commandes

Principe : le modle est confront une
spcification comportant toutes les volutions
possibles des commandes par une proprit
mathmatique que nous avons dfinie

La proprit utilise les compositions dautomates
tats finis utilises dans la synthse de la
commande
Dfinition des compositions
dautomates tats finis
23
Le produit synchrone

Le langage gnr par le produit synchrone est

avec
( )
0
: , , , ,
A A A A A A
m
G Q q Q o = E
( )
0
: , , , ,
B B B B B B
m
G Q q Q o = E
e
t
( ) ( )
( ) 0 0
, , , ,
A B
A B A B A B A B A B
m m
L G L G L Q Q q q Q Q o = E E
( )
, ,
,
,
,
A A B B A B
A A B A B
A B
A B
A B B B A
(q ) (q ) si (q ) (q )
(q ) q si (q )-
q q
q (q ) si (q )-
non dfini autrement
o o o o o
o o o
o o
o o o
eE E
eE E
eE E
Dfinition des compositions

dautomates tats finis
24
Le produit asynchrone

Le langage gnr par le produit asynchrone est

avec
( )
0
: , , , ,
A A A A A A
m
G Q q Q o = E
( )
0
: , , , ,
B B B B B B
m
G Q q Q o = E
e
t
( ) ( ) ( ) 0 0
, , , ,
A B A B A B A B A B A B
m m
L G L G L Q Q q q Q Q o
+
+ = E E
( )
, ,
, ,
,
A A B B A B
A B A B A A B A B
A B B B A
(q ) (q ) si (q ) (q )
q q (q ) q si (q )- (q )
q (q ) si (q )- (q )
o o o o o
o o o o o
o o o
+
eE E
= eE E
eE E
nonc de la proprit
25
Le modle de partie oprative P et la
spcification S sont dcrits par des automates
tats

La spcification de compltude vrifie si les
vnements autoriss par la spcification sont
vrifis par le modle de partie oprative

Cette proprit est vraie si la relation suivante est
vrifie :
0
, , ,
P P P
P
P Q q o = E
0
, , ,
S S S S
S Q q o = E
( ) ( )
P S S S P P
, si q , alors q , o o o o o eE E - -
( ) ( ) ( ) ( ) ( ) ( )
|| || L S L P L S L S L P + =
Exemple dutilisation de la proprit sur
un modle quelconque
S
a b d
P a
b
c
a
b
E
S
= { a, b, d
}
E
P
= { a, b, c
}
S+P
a
b
c
a
b
d
d
b d
a est autoris dans P et S b est autoris dans P et S
c est autoris dans P et nappartient pas E
S

d est autoris dans S et nappartient pas E
P

S||P
a
b
c b
d
d
Aucune volution possible b est autoris dans S et P
c autoris dans P et nappartient pas E
S

a est autoris dans P et appartient E
S

b est autoris dans P et S
b est autoris par S et nappartient pas E
P
P
b est autoris par P et S
c est autoris par P et nappartient pas E
S

P
Aucune volution possible Aucune volution possible
(S+P)||S
(S+P)||S=S||P => La proprit est vrifie
26
Modlisation dune variable
boolenne
27
Interprtation de [Balemi, 1993]
Pour modliser le comportement bas niveau,
chaque signal boolen sont associs deux
vnements.

Cette reprsentation permet de mieux apprhender
le comportement des signaux rellement changs

S=0
S=1
|S
+S
Application de la proprit sur un
modle de la littrature
28
Modle bas niveau dun vrin avec un capteur dans
[Music, 2002]
RENTRE
R
SORTIR
RENTRE
R
SORTIR
SORTIR RENTRER
SORTIR RENTRE
R
SORTIR RENTRER
SORTIR RENTRE
R
SORTIR
SORTIR RENTRER
RENTRE
R
a a a a a a
RENTRER SORTIR
RENTRER
SORTIR
La proprit (S+P)||S S||P
nest pas vrifie car des
changements de commande ne
sont pas considrs dans ltat
9.
SORTIR
SORTIR
SORTIR
SORTIR

RENTRER

RENTRER
RENTRE
R

RENTRER
Spcification de commandabilit
volutions des commandes
possibles
P
S
a
RENTRER SORTIR
RENTRE
R
SORTIR
RENTRE
R
SORTIR
a
a
La proprit (S+P)||S S||P est
dsormais vrifie car tous les
changements de commande
sont pris en compte
2 3 0
1 4 5
7 8 4
9
11 10
Bilan sur la vrification du modle de
partie oprative
29
Atouts
Proprit de vrification de la compltude dun
modle vis--vis de la commande
Utilisation des compositions classiques prsentes
dans les logiciels de synthse de la commande
Vrification simple et rapide de la compltude
Limites
Aucune vrification de la bonne modlisation des
capteurs
Limitation aux modles de bas niveau
Ncessit davoir un modle de partie oprative
pralable
Plan gnral (2)
30
Proposition dune dmarche de modlisation
de la partie oprative par les automates
tats finis
lapproche hybride

Construction du modle de partie
oprative par analyse des constituants
physiques
31
Une partie oprative est construite laide de composants
physiques lmentaires
Une chane fonctionnelle est compose dun actionneur, de son
practionneur et des capteurs associs
Partie oprative Partie
commande

Actionneur
Capteurs
Action sur le produit et volution
des grandeurs physiques
alimentation en nergie
de puissance
signaux de
commande
distribution de
lnergie
Effecteur
Practionneurs
signaux
dacquisition Traitement de
linformation
C
h
a
n
e

d
a
c
t
i
o
n

C
h
a
n
e

d
a
c
q
u
i
s
i
t
i
o
n

signal
lectrique
application de
lnergie
Hypothses de modlisation
32
La modlisation par les automates tats limite
les comportements modlisables et ncessite des
hypothses
Le temps est reprsent de faon symbolique
(succession dvolutions)
La synchronisation dvolutions simultanes ne
peut pas tre reprsente
Le temps de scrutation cyclique de lAPI nest pas
pris en compte
Chaque composant physique est modlis
indpendamment
tapes de la modlisation
33
Chaque chane fonctionnelle est modlise en
tablissant des modles lmentaires de chaque
lment puis en assemblant le modle final
Identification de la chane
fonctionnelle
(commandes, capteurs)
Modlisation de la
chane daction
Modlisation de la
chane dacquisition
Assemblage du modle de chane
fonctionnelle
Modle de partie
oprative de la chane
fonctionnelle
commandes actions
actions capteurs
actions capteurs commandes
capteurs commandes
Exemple trait
34
On sintresse aux vrins pneumatiques car ils sont
couramment utiliss et supportent que les
commandes soient maintenues en fin de course
La chane fonctionnelle est compose dun vrin
pneumatique avec un distributeur bistable et deux
capteurs de fin de course

Le tiroir du distributeur comporte deux positions
possibles
b
SORTIR
RENTRER
a
Etat 1 Etat 2
Modlisation dun practionneur
35
Le practionneur dtermine lalimentation en
nergie du vrin partir de ltat des commandes
La table de vrit permet de dterminer quel est
ltat du distributeur en fonction des commandes

Le modle du distributeur est tabli sous la forme
dun automate tats
RENTRER SORTIR Etat du distributeur
0 0 Etat prcdent
0 1 Etat 2
1 0 Etat 1
1 1 Etat prcdent
RENTRER
RENTRER
tat 2
tat 1
SORTIR
SORTIR
SORTIR
SORTIR
RENTRER
RENTRER
RENTRER
SORTIR
RENTRER
SORTIR
SORTIR=0
RENTRER=0
SORTIR=0
RENTRER=1
SORTIR=1
RENTRER=1
SORTIR=0
RENTRER=0
SORTIR=1
RENTRER=0
SORTIR=1
RENTRER=1
Modlisation de lactionneur et des
capteurs
36
La modlisation de chaque action dtermine les
volutions successives possibles des capteurs
pour les mouvements de lactionneur
Action de rentre
a=0
b=1
a
a=0
b=0
b
a=1
b=0
Action de sortie
a=1
b=0
b
a=0
b=0
a
a=0
b=1
Assemblage du modle de la chane
fonctionnelle
37
Les modles de practionneur et
dactionneur/capteurs doivent tre synchroniss
Si les effets de commutation du practionneur,
linertie de lactionneur sont ngligeables, chaque
tat de practionneur est associ une action
Si ces effets ne sont pas ngligeables, le modle
dactionneur/ capteurs doit tre revu pour quil ny
ait quune unique action commune tous les tats
de practionneur
La proprit de compltude est respecte par la
nature du modle de partie oprative obtenu
Plan gnral (2)
38
Proposition dune dmarche de modlisation
de la partie oprative par les automates
tats finis
lapproche hybride

Application la supervision de la
plateforme Cellflex
39
Modlisation de chanes fonctionnelles prsentes
sur la plateforme Cellflex pour la supervision du
systme
Approche de la supervision de la
plateforme Cellflex
40
Implmentation du modle de partie oprative
Modle de partie
oprative
automate tats
finis
Automate
Programmable
Industriel
Poste
informatique avec
les interfaces de
supervision
communicati
on OPC
Approche intgre dans la
commande
Approche dporte dans la
supervision
Partie oprative
relle
Modlisation dune chane
fonctionnelle
41
Modlisation dun vrin type, du distributeur et du
capteur
Vrin pneumatique double effet, distributeur 5/2, 1
capteur
Prise en compte dune file dattente de 3 bouchons
par extension de la dmarche propose au produit
en perspectives
Visualisation de ltat du systme par les tats
actifs des automates tats implments
Modlisation dun ensemble
fonctionnel
42
Modlisation du
prhenseur de
bouteilles
Dplacement vertical,
horizontal, fermeture
de la pince
Modlisation de
chaque chane
fonctionnelle
Prise en compte des
interactions lies aux
mouvements sans
collision
Utilisation des modles de partie
oprative pour la supervision industrielle
43
Interface .NET dveloppe
Mise en avant des
mouvements en plus des
positions du prhenseur
Implmentation externe
lAPI (temps de scrutation
de 20ms)
Utilisation du standard OPC
Capacit importante et
traitement indpendant du
poste informatique
Dveloppement dune
interface de programmation
spcifique pour
implmenter et interprter
le modle

Limitation de la modlisation par les
automates tats
44
Limites de loutil
La gestion du temps symbolique nautorise pas la
prise en temps des dlais dexcution (temps
enveloppe)
Certains comportements physiques ne peuvent pas
tre mis en avant (inerties)
Modlisation hybride (discrte/continue) du
comportement de la partie oprative
Calcul de la situation suivante partir de la situation
courante et des variations
Le modle nest pas exhaustif comme le modle
discret
Extension de la dmarche prcdente la
modlisation hybride
Plan gnral (2)
45
lapproche hybride

46
46
Outil de modlisation Rseaux de
Petri discrets
Reprsentation du comportement discret du
modle

Modlisation similaire aux automates tats
Place discrte = cercle simple
Jeton = point
Transition discrte = trait simple
Arc amont = nombre de jetons retirs au franchissement
de la transition
Arc aval = nombre de jetons fournis au franchissement de
la transition
T
2
2
P
1
P
2
P
3
47
47
Modlisation du comportement continu du
modle

Association des quations diffrentielles avec des
quantits communes
Place continue = cercle double
Marquage = valeur continue positive ou nulle
Transition continue = trait double
Arcs amonts = quantit extraite en franchissant la
transition
Arcs avals = quantit fournie en franchissant la transition
0.0 0.1 0.2
Outil de modlisation Rseaux de
Petri continus
T
2
P
1
P
2
P
3
0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 2.0 2.1 2.2 2.3
0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8
3.7 3.5 3.3 3.1 2.9 2.7 2.5 2.3 2.1 1.9 1.7 1.5 1.3 1.1 0.9 0.7 0.5 0.3 0.1
dP2
dt
=1
48
48
Les RdP hybrides
0.0 0.1 0.2
T
2
P
2
P
3
0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8
3.7 3.5 3.3 3.1 2.9 2.7 2.5 2.3 2.1 1.9 1.7 1.5 1.3 1.1 0.9 0.7 0.5 0.3 0.1
P
1
dP2
dt
=1
Synchronisation d'une transition continue par une
place discrte
Reprsentation par un trait double
La place discrte synchronisant la transition comporte un
arc amont et aval de mme poids sur la transition
49
49
Les RdP hybrides
Les arcs inhibiteurs
Les arcs inhibiteurs permettent de synchroniser le
franchissement d'une transition discrte par le marquage
d'une place continue
Aucune quantit n'est retire du marquage de la place
continue
1.8
T
2
P
2
P
3
P
1
P
1
2.0
La condition P12.0 n'est pas vrifie. Le
franchissement de la transition T est
possible.
Inhibition du franchissement
La condition P12.0 est vrifie. Le
franchissement de la transition T n'est pas
possible.
Autorisation de franchissement
2.3
Plan gnral (2)
50
lapproche hybride

51
Modlisation des practionneurs
Dfinir l'tat du practionneur en fonction des
volutions des commandes.
Modle de
practionneur
volution des
commandes
tats du practionneur
= lois de comportement de l'actionneur
Modlisation par un RdP avec une structure
discrte
Transitions associes aux changements de
commandes
Places associes aux tats des
practionneur(s) -> modlisation hybride
52
52
Modlisation de l'actionneur
volution de l'actionneur en fonction de l'tat du
practionneur.
Modle
d'actionneur
tats du
practionneur
Comportement de la variable
physique traite par
lactionneur
1.0
0.0
Modlisation par un RdP avec une structure continue
Transitions synchronises avec les tats de
practionneurs -> modlisation hybride
Place associe la grandeur physique
modlise
53
53
Modlisation des capteurs
Synchronisation des capteurs avec la variable
physique modlise.
Modle d'un
capteur Variable physique
modlise
tats du capteur
Modlisation par un RdP avec une structure discrte
Transitions inhibes par la valeur de la grandeur
physique
-> modlisation hybride
Places associes aux tats du capteur
54
54
Assemblage du modle de la chane
fonctionnelle
Modle de
practionneur(s)

discret
v
o
l
u
t
i
o
n

d
e
s

c
o
m
m
a
n
d
e
s

identification du
comportement du
practionneur

Modle d'actionneur(s)

continu
t
a
t
s

d
e
s

p
r
a
c
t
i
o
n
n
e
u
r
(
s
)

Comportement
2 continu de
l'actionneur
Comportement
1 continu de
l'actionneur
Simulation
de la
variable
physique
traite par
lactionneu
r
Modle de
capteur(s)

discret
g
r
a
n
d
e
u
r

p
h
y
s
i
q
u
e

m
o
d
l
i
s
e

Modle de
comporte-
-ment d'un
capteur
Modle de
comporte-
-ment d'un
capteur
t
a
t
s

d
e
s

c
a
p
t
e
u
r
s

p
a
r
t
i
e

c
o
m
m
a
n
d
e

d
i
s
c
r
e
t

p
a
r
t
i
e

c
o
m
m
a
n
d
e

d
i
s
c
r
e
t

Plan gnral (2)
55
lapproche hybride

56
Application au vrin pneumatique
Distributeur pneumatique
3/2
0 1
variable
position
SORTIR
rentr sorti
Vrin pneumatique simple
effet
2 capteurs de fin de
course
57
Modlisation de la chane
fonctionnelle
modle de
practionneur
SORTIR
SORTI
R
pos

modle
d'actionneur
capteur rentr
capteur sorti
1
dpos
dt
=
1
dpos
dt
=
0
1
Variable de
position
rentr
sorti
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0
SORTIR
rentr
rentr
sorti
sorti
| | ( ) 0 . 0.0, 0.2
dpos
pos
dt
| |
> e
|
\ .
| | ( ) 0 . 0.0, 0.2
dpos
pos
dt
| |
< e
|
\ .
| | ( ) 0 . 0.8,1.0
dpos
pos
dt
| |
< e
|
\ .
| | ( ) 0 . 0.8,1.0
dpos
pos
dt
| |
> e
|
\ .
1
dpos
dt
=
-1
dpos
dt
=
0.2
0.8
modle de
capteurs
| | ( )
. . , .
| |
> e
|
\ .
dpos
0 pos 0 0 0 2
dt
sens du
mouvement
domaine de
changement
d'tat du capteur
Plan gnral (2)
58
lapproche hybride

Simulation de la partie oprative
porte de garage automatise
59
Modlisation du comportement continu de
position de la porte
Simulation sur un poste informatique et interfaage par
OPC avec un Automate Programmable industriel pour
piloter la partie oprative virtuelle
Apport de la dmarche de modlisation dans la prise en
compte des effets dinertie de la porte lors de la descente
Plan gnral (2)
60
lapproche hybride

61
Bilan du travail ralis :
Analyse des modles existants et utilisations
Prsentation de deux approches de modlisation
de la partie oprative
Validation de modles empiriques formels
Application de la modlisation des cas concrets
Extension de la mthodologie lapproche
hybride et application la simulation
reprsentative du systme rel
Perspectives
62
Assemblage des chanes fonctionnelles en
prenant en compte les interactions avec les
produits
Exploitation des donnes des modles de partie
oprative dans le systme dinformation de
lentreprise (ordonnancement, analyse des
performances, cheminement des produits et des
lots, traabilit)

Modle de
chane
fonctionnelle
grandeur physique
maitrise par lactionneur
grandeurs physiques
du produit
grandeurs
physiques
maitrises par
les actionneurs
grandeurs
physiques des
autres produits
capteurs
mesurant
les produits
grandeurs
physiques
des produits
capteurs
positionns sur
lactionneur
Modle dun
produit
commandes de
lactionneur
Perspectives
63
Exploitation dans la modlisation des chanes
fonctionnelles pour la simulation de systmes
automatiss
Intgration dans le logiciel ITS PLC dans le cadre
du partenariat avec Realgames
Exploitatio
n doutils
existants
Apports de
la thse
Questions ?
64
Je vous remercie pour votre
attention

Soutenance 0.33

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Soutenance 0.33

Transféré par

Droits d'auteur :

Formats disponibles

Thse de doctorat en Gnie Informatique,

Automatique, Traitement du Signal

Dfinition des compositions

Vous aimerez peut-être aussi