Résumé de section

    • Ce chapitre 10 présente l'utilisation des SED dans le cadre du diagnostic. Le diagnostic est une méthode qui permet d'identifier, de localiser et analyser un défaut par rapport à un comportement normal. Cette séquence présente des approches proches du diagnostic telle que l'opacité et autres extensions. Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_Diag.pdf



    • Équipe pédagogique

      Contributeurs : Mohamed Ghazel, Dimitri Lefevre, Hervé Marchand, Ramla Saddem, Armand Toguyéni
      Intervenant :  Ramla Saddem, Armand Toguyéni

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Entraves à la sûreté de fonctionnement


    • Les étudiants doivent
      Marquer comme terminé

      Moyens pour la tolérance aux fautes


    • Les étudiants doivent
      Marquer comme terminé

      Diagnostiqueur


    • Les étudiants doivent
      Marquer comme terminé

      Diagnosticabilité


    • Les étudiants doivent
      Marquer comme terminé

      Vérification de la diagnosticabilité


    • Les étudiants doivent
      Marquer comme terminé

      Pronostic


    • Les étudiants doivent
      Marquer comme terminé

      Opacité


    • Les étudiants doivent
      Marquer comme terminé

      Diagnostic des SED basés sur les Réseaux de Petri


    • Les étudiants doivent
      Marquer comme terminé

      Extensions de la diagnosticabilité


    • Mise en application

      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant
      • et la vidéo :


    • Références

      Laprie J.-C. (1995) . Guide de la sûreté de fonctionnement, Cépaduès, 369 pages, Toulouse, mai 1995,
      Li, B., Basilio, J. C., Khlif-Bouassida, M., & Toguyéni, A. (2017). Polynomial time verification of modular
      diagnosability of discrete event systems. IFAC-PapersOnLine, 50(1), 13618-13623.
      Liu, B. (2014). An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets,
      Untimed and Timed Contexts (Doctoral dissertation, Ecole Centrale de Lille).
      Moreira, M. V., Jesus, T. C., & Basilio, J. C. (2011). Polynomial time verification of decentralized
      diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 56(7), 1679-1684
      Saboori, A., & Hadjicostis, C. N. (2007, December). Notions of security and opacity in discrete event
      systems. In 2007 46th IEEE Conference on Decision and Control (pp. 5056-5061). IEEE.
      Zaytoon J., On Fault Diagnosis Methods of Discrete Event Systems, Plenière
      https://unidad.gdl.cinvestav.mx/wodes-12/downloads/slides/plenaryProfZaytoon.pdf
      Zwingelstein G (1995). Diagnostic des défaillances : théorie et pratique pour les systèmes industriels,
      Edition Hermès, Traité des Nouvelles Technologies “Série Diagnostic et Maintenance”, 601 pages, Paris, 1995,

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions d'automates à états et langages ne sont pas claires, vous pouvez suivre les vidéos : FRM_Aut_AutomatesAEtats.mp4, FRM_Aut_AutLangages.mp4 et FRM_Aut_AutOperations.mp4. Si les notions d'automates temporisés ne sont pas claires, vous pouvez suivre les vidéos : UTL_Verif_Modelchecking.mp4 et UTL_Verif_Proprietes.mp4.

    • Formation et École soutenues par :