Skip to main content
SpringerLink
Log in

Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure

  • Control Theory and Applications
  • Published:
International Journal of Control, Automation and Systems Aims and scope Submit manuscript

Abstract

Most research in fault diagnosis of discrete event systems has been focused on permanent failures. However, experience with monitoring of dynamic systems shows that intermittent faults are predominant, and that their diagnosis constitutes one of the most challenging tasks for surveillance activities. Among the main existing approaches to deal with permanent faults, two were widely investigated while considering different settings: the Diagnoser based approach, and the Twin-plant based approach. The latter was developed to cope with some complexity limitations of the former. In the present paper, we propose a twin-plant based approach to deal with diagnosability of intermittent faults. Firstly, we discuss various notions of diagnosability, while considering the occurrence of faults, their recovery, and the identification of the system status. Then, we establish the necessary and sufficient conditions for each notion, and develop on-the-fly algorithms to check these properties. The discussed approach is implemented in a prototype tool that is used to conduct experiments on a railway control benchmark.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Springer Science & Business Media, 2009.

  2. J. Zaytoon and S. Lafortune, “Overview of fault diagnosis methods for discrete event systems,” Annual Reviews in Control, vol. 37, no. 2, pp. 308–320, 2013.

    Article  Google Scholar 

  3. M. Sampath, R. Sengupta, and S. Lafortune, “Diagnosability of discrete-event systems,” Transactions on Automatic Control, vol. 40, no. 9, pp. 1555–1575, 1995.

    Article  MathSciNet  MATH  Google Scholar 

  4. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, “A polynomial algorithm for testing diagnosability of discrete-event systems,” IEEE Transactions on Automatic Control, vol. 46, no. 8, pp. 1318–1321, 2001.

    Article  MathSciNet  MATH  Google Scholar 

  5. T. S. Yoo and S. Lafortune, “Polynomial-time verification of diagnosability of partially observed discrete-event systems,” IEEE Transactions on Automatic Xontrol, vol. 47, no. 9, pp. 1491–1495, 2002.

    Article  MathSciNet  MATH  Google Scholar 

  6. J. Liu, Z. Zhou, and Z. Wang, “Online fault diagnosis in discrete event systems with partially observed petri nets,” International Journal of Control, Automation and Systems, vol. 16, no. 1, pp. 217–224, 2018.

    Article  Google Scholar 

  7. A. Zimmermann, Stochastic Discrete Event Systems, Springer, 2007.

  8. D. Thorsley and D. Teneketzis, “Diagnosability of stochastic DESs,” IEEE Transactions on Automatic Control, vol. 50, no. 4, pp. 476–492, 2005.

    Article  MathSciNet  MATH  Google Scholar 

  9. F. Liu and D. Qiu, “Safe diagnosability of stochastic discrete event systems,” IEEE Transactions on Automatic Control, vol. 53, no. 5, pp. 1291–1296, 2008.

    Article  MathSciNet  MATH  Google Scholar 

  10. F. Liu, D. Qiu, H. Xing, and Z. Fan, “Decentralized diagnosis of stochastic discrete event systems,” IEEE Transactions on Automatic Control, vol. 53, no. 2, pp. 535–546, 2008.

    Article  MathSciNet  MATH  Google Scholar 

  11. D. Qiu, “Supervisory control of fuzzy discrete event systems: a formal approach,” IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), vol. 35, no. 1, pp. 72–88, 2005.

    Article  Google Scholar 

  12. W. Deng and D. Qiu, “Bifuzzy discrete event systems and their supervisory control theory,” IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, pp. 2107–2121, 2015.

    Article  Google Scholar 

  13. D. Qiu and F. Liu, “Fuzzy DESs under fuzzy observability and a test algorithm,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 3, pp. 578–589, 2009.

    Article  Google Scholar 

  14. F. Liu and D. Qiu, “Diagnosability of fuzzy discrete-event systems: A fuzzy approach,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 2, pp. 372–384, 2009.

    Article  Google Scholar 

  15. W. Deng and D. Qiu, “State-based decentralized diagnosis of bi-fuzzy discrete event systems,” IEEE Transactions on Fuzzy Systems, vol. 25, no. 4, pp. 854–867, 2017.

    Article  Google Scholar 

  16. W. Deng and D. Qiu, “Supervisory control of fuzzy discrete-event systems for simulation equivalence,” IEEE Transactions on Fuzzy Systems, vol. 23, no. 1, pp. 178–192, 2015.

    Article  Google Scholar 

  17. O. Contant, S. Lafortune, and D. Teneketzis, “Diagnosis of intermittent faults,” Discrete Event Dynamic Systems: Theory and Applications, vol. 14, no. 2, pp. 171–202, 2004.

    Article  MathSciNet  MATH  Google Scholar 

  18. A. Correcher, E. Garcia, F. Morant, and E. Quiles, “Intermittent failure diagnosis in industrial processes,” Proc. of IEEE International Symposium on Industrial Electronics, vol. 2, pp. 723–728, 2003.

    Google Scholar 

  19. S. Biswas, “Diagnosability of discrete event systems for temporary failures,” Computers & Electrical Engineering, vol. 38, no. 6, pp. 1534–1549, 2012.

    Article  Google Scholar 

  20. L. K. Carvalho, M. V. Moreira, and J. Basilio, “Diagnosability of intermittent sensor faults in discrete event systems,” Automatica, vol. 79, pp. 315–325, 2017.

    Article  MathSciNet  MATH  Google Scholar 

  21. E. Fabre, L. Hélouët, E. Lefaucheux, and H. Marchand, “Diagnosability of repairable faults,” Discrete Event Dynamic Systems, vol. 28, no. 2, pp. 183–213, Jnue 2018.

    Article  MathSciNet  MATH  Google Scholar 

  22. A. Boussif, B. Liu, and M. Ghazel, “A twin-plant based approach for diagnosability analysis of intermittent failures,” Proc. of International Workshop on Discrete Event Systems, IEEE, pp. 237–244, 2016.

  23. M. Moreira, T. Jesus, and J. Basilio, “Polynomial time verification of decentralized diagnosability of discrete event systems,” IEEE Transactions on Automatic Control, vol. 56, no. 7, pp. 1679–1684, 2011.

    Article  MathSciNet  MATH  Google Scholar 

  24. P. Mateti and N. Deo, “On algorithms for enumerating all circuits of a graph,” Journal on Computing, vol. 5, no. 1, pp. 90–99, 1976.

    MathSciNet  MATH  Google Scholar 

  25. D. B. Johnson, “Finding all the elementary circuits of a directed graph,” Journal on Computing, vol. 4, no. 1, pp. 77–84, 1975.

    MathSciNet  MATH  Google Scholar 

  26. A. Boussif and M. Ghazel, “DIAG-IPF: a software tool for fault diagnosis of discrete event systems,” Proc. of the 11th Colloque sur la Modélisation des Systèmes Réactifs, 2017.

  27. B. Liu, M. Ghazel, and A. Toguyéni, “Model-based diagnosis of multi-track level crossing plants,” IEEE Transactions on Intelligent Transportation Systems, vol. 17, no. 2, pp. 546–556, 2016.

    Article  Google Scholar 

  28. M. Ghazel and B. Liu, “A customizable railway benchmark to deal with fault diagnosis issues in DES,” Proc. of Intern. Work. on Discrete Event Systems, pp. 177–182, 2016.

  29. S. Jiang, R. Kumar, and H. E. Garcia, “Diagnosis of repeated/intermittent failures in discrete event systems,” IEEE Transactions on Robotics and Automation, vol. 19, no. 2, pp. 310–323, 2003.

    Article  Google Scholar 

  30. T. S. Yoo and H. E. Garcia, “Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays,” Proc. of American Control Conference, vol. 6, pp. 5102–5107, 2004.

    Google Scholar 

  31. S. Jiang and R. Kumar, “Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications,” IEEE Transactions on Automation Science and Engineering, vol. 3, no. 1, pp. 47–59, 2006.

    Article  Google Scholar 

  32. C. Zhou and R. Kumar, “Computation of diagnosable fault-occurrence indices for systems with repeatable-faults,” IEEE Transactions on Automatic Control, vol. 54, no. 7, pp. 1477–1490, 2009.

    Article  MathSciNet  MATH  Google Scholar 

  33. A. Boussif and M. Ghazel, “A diagnoser-based approach for intermittent fault diagnosis of discrete-event systems,” Proc. of American Control Conference (ACC), IEEE, pp. 3860–3867, 2017.

  34. S. Hashtrudi Zad, R. H. Kwong, and W. M. Wonham, “Fault diagnosis in discrete-event systems: Framework and model reduction,” IEEE Transactions on Automatic Control, vol. 48, no. 7, pp. 1199–1212, 2003.

    Article  MathSciNet  MATH  Google Scholar 

  35. A. Boussif and M. Ghazel, “Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking,” International Journal of Critical Computer-Based Systems, vol. 8, no. 2, pp. 193–213, 2018.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Lille Nord de France, F-59000, Lille, France

    Abderraouf Boussif & Mohamed Ghazel

  2. IFSTTAR, Cosys/Estas, F-59666, Villeneuve d’Ascq, France

    Abderraouf Boussif & Mohamed Ghazel

Authors
  1. Abderraouf Boussif
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Ghazel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abderraouf Boussif.

Additional information

Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Recommended by Associate Editor Jiuxiang Dong under the direction of Editor Guang-Hong Yang. The authors acknowledge the support of the ELSAT2020 project. ELSAT2020 is co-financed by the European Union with the European Regional development Fund, the French state and the Hauts de France Region Council.

Abderraouf Boussif received his B.Eng. degree in system control engineering from the Polytechnic High School, Algeria, in 2012, his master degree in complex systems engineering from the École Normale Supérieure de Cachan, Paris, in 2013, and a Ph.D. degree in safety system engineering from the University of Lille, France, in 2016. He is currently a Researcher with the France’s Railway Technological Research Institute-Railenium. His research interests are mainly in formal methods, modelbased safety analysis, and fault diagnosis of safety-critical systems, with a particular emphasis on railway control systems.

Mohamed Ghazel is a Research Director with the COSYS/ESTAS team at IF-STTAR (The French Institute of Science and Technology for Transport, Development and Networks). He received his Master’s and Ph.D. degrees in automatic control and industrial computer sciences from École Centrale de Lille/University of Lille, in 2002 and 2005, respectively; and the HDR (Habilitation à Diriger des Recherches) from University Lille Nord de France in 2014. His research mainly focuses on the engineering, safety and interoperability of transportation systems using discrete event models and formal methods. Dr. Ghazel is a member of the IFAC TC 7.4 on Transportation Systems, he has been involved in several national and European research projects and acts as expert for the European Commission in the framework of innovation programs.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Boussif, A., Ghazel, M. Diagnosability Analysis of Intermittent Faults in Discrete Event Systems Using a Twin-plant Structure. Int. J. Control Autom. Syst. 18, 682–695 (2020). https://doi.org/10.1007/s12555-018-0682-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12555-018-0682-9

Keywords

Search

Navigation