NDLI: Decentralized Diagnosis of Stochastic Discrete Event Systems

Content Provider	IEEE Xplore Digital Library
Author	Fuchun Liu Daowen Qiu Hongyan Xing Zhujun Fan
Copyright Year	1963
Abstract	We investigate the decentralized diagnosis of stochastic discrete event systems (SDESs) by using multiple local stochastic diagnosers, each possessing its own sensors to deal with different information. We formalize the notions of decentralized diagnosis for SDESs by defining the concept of codiagnosability for stochastic automata, in which any communication among the local stochastic diagnosers or to any coordinators is not involved. These notions are weaker than the corresponding notions of decentralized diagnosis of classical DESs. A stochastic system being codiagnosable means that a fault can be detected by at least one local stochastic diagnoser within a finite delay. We construct a codiagnoser from a given stochastic system with a finite number of projections whose each diagnosis component uses the complete model of the system. We also deal with a number of basic properties of the codiagnoser. In particular, a necessary and sufficient condition of the codiagnosability for SDESs is presented, which generalizes the corresponding results of centralized diagnosis for SDESs. Also, we give a computing method in detail to check the codiagnosability of SDESs. As an application of our results, some examples are described.
Sponsorship	IEEE Control Systems Society
Starting Page	535
Ending Page	546
Page Count	12
File Size	277644
File Format	PDF
ISSN	00189286
Volume Number	53
Issue Number	2
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-03-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Stochastic systems Discrete event systems Fault diagnosis Stochastic processes Automata Delay Fault detection Automatic control Computer science Sensor systems stochastic automata Codiagnosability decentralized diagnosis discrete event systems fault diagnosis
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Diagnosability of stochastic discrete-event systems

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

The Complexity of Codiagnosability for Discrete Event and Timed Systems

Safe Diagnosability of Stochastic Discrete Event Systems

Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

Fault diagnosis in discrete-event systems: incorporating timing information

An Efficient Approach for Online Diagnosis of Discrete Event Systems

Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures

Decentralized Diagnosis of Stochastic Discrete Event Systems

Similar Documents

Diagnosability of stochastic discrete-event systems

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

The Complexity of Codiagnosability for Discrete Event and Timed Systems

Safe Diagnosability of Stochastic Discrete Event Systems

Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

Fault diagnosis in discrete-event systems: incorporating timing information

An Efficient Approach for Online Diagnosis of Discrete Event Systems

Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures

Decentralized Diagnosis of Stochastic Discrete Event Systems