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

Content Provider	IEEE Xplore Digital Library
Author	Jun Chen Kumar, R.
Copyright Year	1963
Abstract	This paper studies the online fault detection for stochastic discrete-event systems (DESs) under partial observability of events. Prior works have only studied the verification of the stochastic diagnosability (S-Diagnosability) property. To the best of our knowledge, this is a first paper that investigates the online detection schemes and also introduces the notions of their missed detections (MDs) and false alarms (FAs). Due to the probabilistic nature of the problem, MDs and FAs are possible even for S-Diagnosable systems, and we establish that S-Diagnosability is a necessary and sufficient condition for achieving any desired levels of MD and FA rates. We also provide a detection scheme, that can achieve the specified MD and FA rates, based on comparing a suitable detection statistic, that we define, with a suitable detection threshold, that we algorithmically compute. We also algorithmically compute the corresponding detection delay bound. The detection scheme also works for non-S-Diagnosable systems, with the difference that in this case there exists a lower bound for achievable MD rate, that increases as the FA rate requirement is made more stringent by decreasing it.
Sponsorship	IEEE Control Systems Society
Starting Page	1542
Ending Page	1553
Page Count	12
File Size	1122186
File Format	PDF
ISSN	00189286
Volume Number	60
Issue Number	6
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-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	Delays Detectors Stochastic processes Observers Fault detection Automata Vectors online fault detection Discrete-event systems (DESs) failure 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

Safe Diagnosability of Stochastic Discrete Event Systems

Diagnosability of stochastic discrete-event systems

Decentralized Diagnosis of Stochastic Discrete Event Systems

Stochastic Failure Prognosability of Discrete Event Systems

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Fault diagnosis in discrete-event systems: incorporating timing information

An Efficient Approach for Online Diagnosis of Discrete Event Systems

On Most Permissive Observers in Dynamic Sensor Activation Problems

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

Similar Documents

Safe Diagnosability of Stochastic Discrete Event Systems

Diagnosability of stochastic discrete-event systems

Decentralized Diagnosis of Stochastic Discrete Event Systems

Stochastic Failure Prognosability of Discrete Event Systems

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Fault diagnosis in discrete-event systems: incorporating timing information

An Efficient Approach for Online Diagnosis of Discrete Event Systems

On Most Permissive Observers in Dynamic Sensor Activation Problems

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