NDLI: Decentralized Prognosis of Failures in Discrete Event Systems

Content Provider	IEEE Xplore Digital Library
Author	Kumar, R. Takai, S.
Copyright Year	1963
Abstract	We study the prognosis of failures, i.e., their prediction prior to their occurrence, in discrete event systems in a decentralized setting where multiple prognosers use their local observations to issue local prognosis decisions. We define the notion of correctness of a decentralized set of prognosers in terms of ?no missed detections? (each failure is prognosed prior to its occurrence) and ?no false alarms? (an incorrect prognostic decision is never issued), and introduce the notion of coprognosability as an existence condition. When specialized to the centralized case (i.e., the case of a single prognoser), this condition turns out to be weaker than the one introduced by Genc and Lafortune in 2006 since a uniform bound on the number of steps within which a failure will occur is not required. For comparison, we also introduce the stronger notion of ?uniformly bounded coprognosability? and identify the subclass of decentralized prognosers for which it serves as an existence condition. We show that the two notions coincide when the underlying system and its nonfailure specification possess finite-state representations, and present a verification algorithm whose complexity is polynomial in the sizes of the system being prognosed and its nonfailure specification, and is exponential in the number of the local prognosers. We also introduce the notion of reaction bound for coprognosis as the earliest time beyond a prognostic decision when a failure can occur, and present an algorithm for computing it. The complexity of this algorithm is identical to that of the verification algorithm. An algorithm with complexity linear in the size of the specification and the number of local prognosers is also presented for an online prognosis of failures. We show that the notions of coprognosability and its uniformly bounded version are in general incomparable with the notion of codiagnosability (that guarantees a uniformly bounded delay detection of a failure by a local diagnoser). When the system cannot execute an unbounded sequence of unobservable events, uniformly bounded coprognosability implies codiagnosability, whereas coprognosability and codiagnosability remain incomparable.
Sponsorship	IEEE Control Systems Society
Starting Page	48
Ending Page	59
Page Count	12
File Size	448534
File Format	PDF
ISSN	00189286
Volume Number	55
Issue Number	1
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-01-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	Discrete event systems Polynomials Delay Decision making Protocols Communication system software Hardware Statistical analysis Failure analysis failure prognosis Coprognosability decentralized decision making discrete event systems (DESs)
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

Inference-Based Decentralized Prognosis in Discrete Event Systems

Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications

Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks

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

On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication

On Solvability of a Decentralized Supervisory Control Problem With Communication

Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems

Stochastic Failure Prognosability of Discrete Event Systems

Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems

Decentralized Prognosis of Failures in Discrete Event Systems

Similar Documents

Inference-Based Decentralized Prognosis in Discrete Event Systems

Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications

Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks

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

On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication

On Solvability of a Decentralized Supervisory Control Problem With Communication

Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems

Stochastic Failure Prognosability of Discrete Event Systems

Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems

Decentralized Prognosis of Failures in Discrete Event Systems