Skip to main content
SpringerLink
Log in

Polynomial-time verification of diagnosability of fuzzy discrete event systems

  • Research Paper
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

Abstract

A fuzzy approach to perform diagnosis of fuzzy discrete event systems (FDESs) is proposed by constructing diagnosers, which may more effectively cope with the problems of vagueness and fuzziness arising from failure diagnosis of fuzzy systems. However, the complexity of constructing this kind of diagnosers is exponential in the state space and the number of fuzzy events of the system. In this paper, we present an algorithm for verifying the diagnosability of FDESs based on the construction of a nondeterministic automaton called F-verifier instead of diagnosers. Both the construction of F-verifiers and the verification of diagnosability of FDESs can be realized with a polynomial-time complexity.

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.

Institutional subscriptions

Similar content being viewed by others

References

  1. Lin F, Ying H. Modeling and control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2002, 32: 408–415

    Article  Google Scholar 

  2. Cassandras C G, Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer Science Business Media, 2008

    Book  MATH  Google Scholar 

  3. Qiu D W. Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Trans Syst Man Cybern B, 2005, 35: 72–88

    Article  Google Scholar 

  4. Cao Y Z, Ying M S. Supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2005, 35: 366–371

    Article  Google Scholar 

  5. Cao Y Z, Ying M S. Observability and decentralized control of fuzzy discrete-event systems. IEEE Trans Fuzzy Syst, 2006, 14: 202–216

    Article  Google Scholar 

  6. Cao Y Z, Ying M S, Chen G Q. State-based control of fuzzy discrete-event systems. IEEE Trans Syst Man Cybern B, 2007, 37: 410–424

    Article  Google Scholar 

  7. Qiu D W, Liu F C. Fuzzy discrete event systems under fuzzy observability and a test-algorithm. IEEE Trans Fuzzy Syst, 2009, 17: 578–589

    Article  MathSciNet  Google Scholar 

  8. Liu F C, Dziong Z. Reliable decentralized control of fuzzy discrete event systems and a test algorithm. IEEE Trans Cybern, 2013, 43: 321–331

    Article  Google Scholar 

  9. Ying H, Lin F, MacArthur R D, et al. A fuzzy discrete event system approach to determining optimal HIV/AIDS treatment regimens. IEEE Trans Inf Technol Biomed, 2006, 10: 663–676

    Article  Google Scholar 

  10. Lin F, Ying H, MacArthur R D, et al. Decision making in fuzzy discrete event systems. Inf Sci, 2007, 177: 3749–3763

    Article  Google Scholar 

  11. Jayasiri A, Mann G K I, Gosine R G. Behavior coordination of mobile robotics using supervisory control of fuzzy discrete event systems. IEEE Trans Syst Man Cybern B, 2011, 41: 1224–1238

    Article  Google Scholar 

  12. Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete-event systems. IEEE Trans Automat Contr, 1995, 40: 1555–1575

    Article  MATH  MathSciNet  Google Scholar 

  13. Debouk R, Lafortune S, Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynam Syst, 2000, 10: 33–79

    Article  MATH  MathSciNet  Google Scholar 

  14. Jiang S, Huang Z, Chandra V, et al. A polynomial-time algorithm for diagnosability of discrete event systems. IEEE Trans Automat Contr, 2001, 46: 1318–1321

    Article  MATH  MathSciNet  Google Scholar 

  15. Liu F C, Qiu D W, Xing H Y, et al. Decentralized diagnosis of stochastic discrete event systems. IEEE Trans Automat Contr, 2008, 53: 535–546

    Article  MathSciNet  Google Scholar 

  16. Paoli A, Lafortune S. Safe diagnosability for fault-tolerant supervision of discrete event systems. Automatica, 2005, 41: 1335–1347

    Article  MATH  MathSciNet  Google Scholar 

  17. Thorsley D, Teneketzis D. Diagnosability of stochastic discrete-event systems. IEEE Trans Automat Contr, 2005, 50: 476–492

    Article  MathSciNet  Google Scholar 

  18. Yoo T-S, Lafortune S. Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Automat Contr, 2002, 47: 1491–1495

    Article  MathSciNet  Google Scholar 

  19. Liu F C, Qiu D W. Diagnosability of fuzzy discrete event systems: a fuzzy approach. IEEE Trans Fuzzy Syst, 2009, 17: 372–384

    Article  MathSciNet  Google Scholar 

  20. Cormen T H, Leiserson C E, Rivest R L. Introduction to Algorithms. Cambridge: MIT Press, 1990

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computers, Guangdong University of Technology, Guangzhou, 510006, China

    FuChun Liu

Authors
  1. FuChun Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to FuChun Liu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Liu, F. Polynomial-time verification of diagnosability of fuzzy discrete event systems. Sci. China Inf. Sci. 57, 1–10 (2014). https://doi.org/10.1007/s11432-013-4945-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-013-4945-z

Keywords

Search

Navigation