La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

1 Elaboration de diagnostiqueurs locaux à partir de modèles distribuées de Partie Opérative Alexandre PHILIPPOT Maître de Conférences

Présentations similaires


Présentation au sujet: "1 Elaboration de diagnostiqueurs locaux à partir de modèles distribuées de Partie Opérative Alexandre PHILIPPOT Maître de Conférences"— Transcription de la présentation:

1 1 Elaboration de diagnostiqueurs locaux à partir de modèles distribuées de Partie Opérative Alexandre PHILIPPOT Maître de Conférences Centre de Recherche en Sciences et Technologies de l’Information et de la Communication 20 mars 2009 JD-JN-MACS 2009

2 2 Diagnostic : Contexte Contexte : Systèmes manufacturiers considérés comme des SED Augmentation de la complexité des systèmes  Augmentation du potentiel de pannes Objectif : Comparer le système réel avec un modèle de son comportement (normal ou anormal) Eviter la propagation Aider à la décision Problèmes : correspondance de comportement granularité du modèle explosion combinatoire

3 3 Observateur Partie Opérative Partie Commande Implantée IHM Opérateur Maintenance ?Reconfiguration ? Défaut ? Décision ? Diagnostic : Contexte

4 4 Plan de présentation 1.Terminologie & Littérature 2.Point de vue du CReSTIC 3.Modélisation par EPO 4.Diagnostiqueurs 5.Application – ITS PLC 6.Modélisation par PoP 7.Conclusion et perspectives

5 5 Terminologie & Littérature Selon les techniques utilisées, la détection fait-elle partie du diagnostic ?

6 6 Terminologie & Littérature Diagnostic des SED Outils de représentation Automates à états (Sampath, 95) Réseaux de Petri (Genc, 03) Expressions logiques (Wang, 00) Chroniques (Boufaïed, 03) / Templates (Pandalaï, 00) Modélisation des défauts A base d’événements (Sampath, 95) A base d’états (Zad, 03) Mixte Structure de prise de décision Centralisée (Sampath, 95) Décentralisée inconditionnelle (Wang, 04) Décentralisée conditionnelle (Debouk, 00) Distribuée (Su, 04) Notion de diagnosticabilité Diagnosticabilité (Sampath, 95), (Lin, 94) Co-diagnosticabilité (Wang, 04) Diagnosticabilité collaborative (Qiu, 05) …

7 7 Point de vue du CReSTIC

8 8 Problèmes Systèmes manufacturiers informationnellement et géographiquement décentralisés Exposition à l’explosion combinatoire (SED) Nécessité d’une description détaillée de la PO Expression des spécificités technologiques difficile Proposition : Approche décentralisée Eléments de PO (EPO)  local diagnosers EPO = Actionneur avec détecteurs et pré- actionneurs associés Utilisation de langage et d’outils de composition / projection (automates) Modèles mixtes : event, state, timed models Interprétation de (Balemi, 93) ↑, ↓, contrôlables et incontrôlables

9 9 Principe

10 10 Modélisation de la PO Modélisation :- intuitive (expert) - théorique/structurée (Chandra, 01) - pratique avec prie en compte des spécificités technologiques Un Vérin Double Effet (VDE) piloté par un distributeur pneumatique 5/2 bistable Spécificités technologiques du distributeur associé au vérin : –L’activation puis la désactivation d’un même ordre implique une réaction du vérin. –Priorité sur le premier ordre envoyé

11 11 Modélisation pratique Modèle préactionneur distributeur 5/2 bistable Modèle actionneur d’un VDE avec distributeur 5/2 bistable Demande d’une connaissance experte des spécificités technologiques du matériel Modèle des détecteurs pour 2 positions

12 12 Modèle EPO Elément de Partie Opérative d’un VDE avec distributeur 5/2 bistable Composition synchrone du modèle des détecteurs avec le modèle actionneur Spécificités technologiques : –Priorité sur le premier ordre envoyé (  SO  RE   RE  SO) –  SO  SO entraîne la sortie du vérin

13 13 Spécifications de la commande Informations du cahier des charges à travers un modèle des spécifications La Partie Commande (PC) représente le comportement normal désiré Intégration de cette information par : 1.Spécification de la commande modélisée par GRAFCET - Algorithme d’intersection entre PC et PO 2.Contraintes du modèle de PO jusqu’à son fonctionnement désiré - Contraintes sous forme d’automates ou d’équations logiques

14 14 Algorithme d’intersection 1.Extraction  Sémantique commune avec la PO 2.Restriction  Agréger les états du GE atteints par les événements n’appartenant pas à l’EPOi  Supprimer tout groupe non atteignable ou bloquant 3.Composition synchrone  Elément de PO Commandé (EPOCi)  Comportement désiré de l’EPOi de manière détaillée

15 15 Exemple Equivalent Graph with 28 states 1) Extraction GRAFCET of the sorting system Plant Element of cylinder 2 Events of cylinder 2: {↑Out2, ↓Out2, ↑In2, ↓In2, ↑p2ar, ↓p2ar, ↑ct2, ↓ct2} 3) Local synchronized composition Controlled Plant Element of cylinder 2 Restricted Equivalent Graph for cylinder 2 2) Restriction

16 16 Par contraintes Deux grandes catégories de contraintes : Sécurité → inhibition d’actions Vivacité → agencement de séquences Implique de : n’oublier aucune de ces contraintes ne pas ajouter des contraintes restrictives

17 17 Principe

18 18 Information temporelle Fonction de prévision : FP(α1, α2) = {α1, x1, (α2, [tmin1, tmax2], x2, l1)} Définir le temps de réaction suite à un ordre d’un actionneur Utilisation de la logique floue  Caractériser les défauts de type progressif Zone de détection au plus tôt Zone de détection au plus tard Prise en compte des paramètres d’usures et de frottements

19 19 Information temporelle Exemple sur le vérin A Fonction de prévision de l’état x 3 : (temps de course du vérin) FP x3 = FP(↓a 0, ↑a 1 ) = {↓a 0, x 3, (↑a 1, [5s, 15s], x 4, F4)}

20 20 Diagnostiquer quoi? Observable sensor fault Unexpected change of the sensor value from 0 to 1 Unexpected change of the sensor value from 1 to 0 Non-observable sensor fault Sensor stuck-off Sensor stuck-on Non-observable actuator fault Actuator stuck-off Actuator stuck-on Identifier tous les défauts possibles sur chaque EPO (observables ou non) Sur les détecteurs Sur les actionneurs F1 f1f1 Unexpected change of p2ar from 0 to 1 f2f2 Sensor p2ar stuck-off f3f3 Unexpected change of p2ar from 1 to 0 f4f4 Sensor p2ar stuck-on F2 f5f5 Unexpected change of ct2 from 0 to 1 f6f6 Sensor ct2 stuck-off f7f7 Unexpected change of ct2 from 1 to 0 f8f8 Sensor ct2 stuck-on F3 f9f9 Cylinder 2 stuck-off f 10 Cylinder 2 stuck-on Possible faults on a Plant Element Possible faults on cylinder 10 faulty events defined in 3 partitions Partition  Fj = {f 1, f 2, …, f i } associée à un label “Fj”

21 21 Diagnostiqueurs locaux f 4  a 0 qui reste bloqué à 1 f 9  vérin qui reste bloqué à l’état inactif malgré un ordre A+ f 12  a 1 qui reste bloqué à 0 Non diagnosticables par leur observation où par une FP à partir de x 1 Affectation d’une étiquette de défaut

22 22 Diagnostiqueurs locaux Défauts observables détectés trivialement Diagnostiqueur simplifié aux défauts non observables  automates à 16 états pour le diagnostiqueur du vérin A Hypothèse forte : Une fonction de prévision pour chaque état normal du diagnostiqueur (intervalle d’acceptation obtenu par apprentissage)

23 23 Co-diagnosticabilité Mixte Tout défaut f de П Fi est diagnosticable par au moins un diagnostiqueur D j dans un délai fini n par : Un modèle du procédé G avec son langage L m diagnostiqueurs locaux D j (j  {1, 2, …, m}) Un langage de spécification K Par rapport aux fonctions de projections P Lj (j  {1, 2, …, m}) Pour un ensemble de partition de défauts П Fi (i  {1, 2, …, r}) 2 CNS : - Isoler un défaut avec une décision certaine - Diagnostiquer le défaut dans un temps fini  f  П Fi,  i  {1, 2, …, r},  n  ,  st  (L-K)   (П Fi ),  st  L, |t| ≥ n Le modèle G est alors dit co-diagnosticable (Evénements)  j  {1, 2, …, m},  w  P Lj-1 (P Lj (st))  (L-K)  w  (L-K)   (П Fi ) et/ou (Etats)  x  X j, x’ =  (st, x), x’’ =  (w, x), V’ = V(x’), V’’ = V(x’’)  V’, V’’  H Fi et/ou (Contraintes temporelles) maxFP x = 1 et l x = Fi

24 24 Principe

25 25 Coordinateur Pourquoi ? : Si défauts non diagnosticables localement  nécessité d’un coordinateur Objectif : Garantir les mêmes performances de diagnostic qu’une approche centralisée Deux rôles essentiels : 1)Etablir des contraintes de spécifications globales 2)Régler les cas d’indécision entre les diagnostiqueurs locaux Indécision sur l’occurrence d’un défaut liée aux interactions entre les différents éléments (détecteur commun sur différents actionneurs)

26 26 Coordinateur Soit par règles simples : Règle 1 :  b 0  A+ = 0  Etiquette F2 Soit par table de décision : Cas DD 1 DD 2 DCDF 1 --NF2 2 Fi (i  2) -NF2Fi, NF2 3 -FjNF2Fj, NF2 4 Fi (i  2) FjNF2FiFj, NF2 5 --F2 6 Fi (i  2) -F2Fi, F2 7 -FjF2Fj, F2 8 Fi (i  2) FjF2Fi, Fj, F2 9 F2- 10 F2FjF2, Fj i  {1, 2,…, 5} et j  {6, 7,…, 10}

27 27 Implantation : Filtre / Intégré ? Pb : Délais de communication entre PO et PC :=> 1.Temps de réactivité augmenté 2.Temps de cycle augmenté

28 28 Implantation : Filtre / Intégré ? Partie CommandePartie Opérative EPO 1 EPO 2 EPO 3 EPO n Commande Diag 1 Diag 2 Diag 3 Diag n Intégration du diagnostic au plus près de la commande

29 29 Application ITS PLC ITS PLC Professional Edition : logiciel éducatif adapté à l’apprentissage de la programmation des API Environnement virtuel réaliste : interactivité, animations 3D en temps réel, dynamiques et sons Plusieurs systèmes très réalistes pouvant être connectés à un API bien réel La simulation évite tous les risques de blessure pour les apprenants et la dégradation des équipements. Possibilité de simuler des défaillances Téléchargeable gratuitement en version Fr

30 30 Application ITS PLC

31 31 Avantages et inconvénients Proposition d’une démarche de diagnostic décentralisé avec coordinateur Basée sur la construction de modèles enrichis (PO, PC, réactivité des actionneurs et expertise) Prise en compte de la technologie Constitution d’une bibliothèque d’EPO Evaluation de la démarche sur un outil de simulation Limites et inconvénients de l’approche : Diagnostic des défauts liés uniquement au matériel : Introduire le produit Intégration de l’information temporelle difficile Partage de ressources : Intersection locale difficile Prise en compte de la commande Détails et précision du diagnostic ?

32 32 Plan de présentation 1.Terminologie & Littérature 2.Point de vue du CReSTIC 3.Modélisation par EPO 4.Diagnostiqueurs 5.Application – ITS PLC 6.Modélisation par PoP 7.Conclusion et perspectives

33 33 Evolution de la modélisation

34 34 Part of Plant : PoP Partie Opérative : Composée principalement de 3 familles d’éléments - les pré-actionneurs, - les actionneurs et - les capteurs Chaque famille divisée selon des caractéristiques technologiques Différentiation des comportements distincts  besoin de modélisation détaillée Modélisation distribuée  communication entre modèles à travers un échange de messages, d’informations, suivant un protocole Utilisation des automates de Moore : la sortie d’un automate représentant l’entrée d’un autre Ne plus prendre en compte la commande

35 35 Part of Plant (PoP) Pré-actionneursActionneursCapteurs Contacteur à fermeture, position maintenue Moteur 1 ou 2 sens de rotation Détecteurs Tout Ou Rien (électromécanique, inductif, capacitif, infrarouge, …) Distributeurs 2/2 NF et NO (mono et bistable) Distributeurs 3/2 NF et NO (mono et bistable) Vérin Simple Effet (repos tige rentrée) Distributeurs 4/2 (mono et bistable) Distributeurs 5/2 (mono et bistable) Vérin Simple Effet (repos tige sortie) Distrib. 5/3 Centre Ouvert (tige libre) Distrib. 5/3 Centre Fermé (tige bloquée) Vérin Double Effet Distrib. 5/3 Centre sous pression (tige équilibrée) Total : 15 éléments

36 36 Modélisation des éléments Méthodologie Définir les positions du pré-actionneur en fonction de toutes les possibilités d’entrées Etablir une table de vérité du modèle par l’expert Prendre en compte l’effet « Memory » pour les entrées en cas de non évolution

37 37 Modélisation des éléments Chambre AChambre B Distributeur 5/2 bistable Illustration Out1 Out2 AB /Out1. /Out2MM Out1. /Out210 Out1. Out2MM /Out1. Out201 Table de vérité L’effet « Memory » est représenté par une boucle

38 38 Modélisation des éléments Méthodologie Définir les états de l’actionneur en fonction de toutes les positions du pré-actionneur Etablir une table de vérité du modèle par l’expert Prendre en compte la dynamique du modèle (temps de déplacement d’une situation stable à une autre)

39 39 Modélisation des éléments Vérin double effet Illustration V IN Table de vérité V OUT V -> V <- V IN V -> V OUT V <- A01*10 B100 Dynamique représentée par 1* Temps de course Tc de la tige (selon course, diamètre, débit d’air, taux de charge …)  caractéristiques techniques fournies par la doc ou déterminées par apprentissage Le temps t évolue selon une horloge mesurant l’intervalle entre 2 événements Il est réinitialisé à chaque entrée dans un état dynamique ∆ pour affectation (->) ou test d’égalité (:=)

40 40 Modélisation des éléments Méthodologie Retransmet une information sur la présence d’un produit ou d’un actionneur par sa mise à 1 L’état du détecteur est alors renvoyé à la partie commande.

41 41 Modélisation des éléments Détecteur mécanique Illustration d/d /E01 E10 Table de vérité

42 42 Modélisation des éléments De la bibliothèque des pré-actionneurs : pilotage en monostable ou bistable nombre de positions (2 ou 3) Nombre d’orifices et NO ou NF ne changent en aucun cas la structure des modèles De la bibliothèque des actionneurs : Pour les moteurs - si 1 sens de rotation alors 1 contacteur - si 2 sens de rotation alors 2 contacteurs Pour les vérins, seule particularité, les vérins pilotés par une structure à 3 positions (possibilité de situation stable intermédiaire) Total : 8 modèles (pour 15 éléments) Engendre 3 types de modèles différents - monostable à 2 positions, - bistable à 2 positions et - bistable à 3 positions

43 43 A partir de la chaîne fonctionnelle  Granularité de bas niveau Décomposition de la PO selon :  famille : pré-actionneur, actionneur et détecteur  technologie : électrique, pneumatique, monostable, bistable… Pour :  diminuer l’explosion combinatoire  éviter les outils de composition  diagnostiquer avec précision et indépendamment de la commande Constitution d’une bibliothèque des éléments les plus utilisés et validation sous simulation Perspectives : Prendre en compte les interactions : contraintes physiques de haut niveau  2 vérins avec une zone commune Modéliser le produit Conclusion et perspectives

44 44 Application sur logiciel de simulation de PO avec génération de défauts : ITS PLC (www.realgames.pt)www.realgames.pt Application sur système réel : Cellflex (http://meserp.free.fr/)http://meserp.free.fr/ Projet MOSYP (Mesures des performances et Optimisation des SYstèmes de Production) : Axe CPER ICOS – Tâche « diagnostic et surveillance » Contrôle/commande et ordonnancement d’atelier de Production Thèse Noureddine MALKI : Diagnostic des SDH Travaux en cours


Télécharger ppt "1 Elaboration de diagnostiqueurs locaux à partir de modèles distribuées de Partie Opérative Alexandre PHILIPPOT Maître de Conférences"

Présentations similaires


Annonces Google