Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Design of a Simulation System for Cross-Eye Dynamic Jamming Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Safe Diagnosis of Stochastic Discrete Event Systems by Constructing Safe Verifier

Authors : Fuchun Liu, Pengbiao Yang

Published in: Proceedings of 2017 Chinese Intelligent Automation Conference

Publisher: Springer Singapore

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Safe diagnosis was viewed as the first necessary step of fault-tolerant supervision of discrete event systems (DESs), and a method of safe diagnosis for stochastic DESs was proposed by constructing safe diagnosers in the literature. However, the complexity of constructing such safe diagnosers is exponential. In this paper, we present an algorithm to perform safe diagnosis of stochastic DESs by constructing a nondeterministic automaton called the safe verifier. The necessary and sufficient condition for safe diagnosability of stochastic DESs is proposed. It is worth noting that the complexity of constructing the safe verifier is polynomial in the number of states and events of the system.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Study on Optimal Setting of Decomposing Furnace Temperature Based on Soft Measurement
next chapter An Example for Extension Strategy of Tourism Industry Integration in Guizhou Province
Literature
1.
Paoli A, Lafortune S (2005) Safe diagnosability for fault-tolerant supervision of discrete-event systems. IEEE Trans Autom Control 41(8):1335–1347MATHMathSciNet
2.
Qiu W, Kumar R (2006) Decentralized failure diagnosis of discrete event systems. IEEE Transaction on Systems, Man, and Cybernetics-part A: Systems and Humans 36(2):384–395CrossRef
3.
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555–1575CrossRefMATHMathSciNet
4.
5.
Liu F, Qiu D, Xing H, Fan Z (2008) Decentralized diagnosis of stochastic discrete event systems. IEEE Trans Autom Control 53(2):535–546CrossRefMATHMathSciNet
6.
Yoo T, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans Autom Control 47(9):1491–1495CrossRefMATHMathSciNet
7.
Chen J, Kumar R (2012) Polynomial test for stochastic diagnosability of discrete-event systems. IEEE Trans Autom Sci Eng 10(4):969–979CrossRef
8.
Luo M, Sun F, Li Y (2011) A polynomial algorithm for testing diagnosability of stochastic discrete event systems. In: 8th Asian Control Conference (ASCC). pp 1048–1053
9.
Moreira MV, Jesus TC, Basilio JC (2011) Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE Trans Autom Control 56(7):1679–1684CrossRefMATHMathSciNet
10.
Liu F (2015) Safe Diagnosability of fuzzy discrete-event systems and a polynomial-time verification. IEEE Trans Fuzzy Syst 23(5):1534–1544CrossRef
11.
Metadata
Title
Safe Diagnosis of Stochastic Discrete Event Systems by Constructing Safe Verifier
Authors
Fuchun Liu
Pengbiao Yang
Copyright Year
2018
Publisher
Springer Singapore
Book
Proceedings of 2017 Chinese Intelligent Automation Conference

Print ISBN: 978-981-10-6444-9

Electronic ISBN: 978-981-10-6445-6

Copyright Year: 2018

DOI
https://doi.org/10.1007/978-981-10-6445-6_57