NDLI: Fault diagnosis in discrete event systems modeled by Petri nets with outputs

Content Provider	IEEE Xplore Digital Library
Author	Yu Ru Hadjicostis, C.N.
Copyright Year	2008
Description	Author affiliation: Dept. of Electr. & Comput. Eng., Univ. of Illinois at Urbana-Champaign, Urbana, IL (Yu Ru; Hadjicostis, C.N.)
Abstract	In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided into different types. We assume that the Petri net model is accompanied by a description of the likelihood of each transition at any particular marking. Given a sequence of observations from place and transition sensors, our goal is to calculate the belief (namely, the degree of confidence) regarding the occurrence of faults belonging to each type. We first focus on the computation of beliefs in Petri nets with only transition sensors (i.e., labeled Petri nets) and we construct an online monitor that produces these beliefs by tracking the existence of faulty transitions in execution paths that match the sequence of labels observed so far. To handle place sensors, we transform a given Petri net with outputs into an equivalent labeled Petri net that translates the sensing information into a sequence of labels in the equivalent labeled Petri net. Using this transformation of Petri net and observation sequence, we can then compute the belief for each fault type in the same way as in labeled Petri nets.
Starting Page	443
Ending Page	448
File Size	230844
Page Count	6
File Format	PDF
ISBN	9781424425921
DOI	10.1109/WODES.2008.4605987
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-05-28
Publisher Place	Sweden
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Conferences Discrete event systems
Content Type	Text
Resource Type	Article

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

Fault diagnosis and identification of discrete event systems using Petri nets

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets

Multiple fault diagnosis of discrete event systems using Petri Nets

Fault model identification with Petri nets

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

Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status

Fault diagnosis of manufacturing systems using continuous Petri nets

Petri net based fault diagnosis of discrete event systems

Fault diagnosis of a production and distribution system with Petri nets

Fault diagnosis in discrete event systems modeled by Petri nets with outputs

Similar Documents

Fault diagnosis and identification of discrete event systems using Petri nets

Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets

Multiple fault diagnosis of discrete event systems using Petri Nets

Fault model identification with Petri nets

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

Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status

Fault diagnosis of manufacturing systems using continuous Petri nets

Petri net based fault diagnosis of discrete event systems

Fault diagnosis of a production and distribution system with Petri nets

Fault diagnosis in discrete event systems modeled by Petri nets with outputs