Show simple item record

dc.contributor.authorRu, Y.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorRu, Y.en
dc.creatorHadjicostis, Christoforos N.en
dc.description.abstractIn 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. ©2008 IEEE.en
dc.sourceProceedings - 9th International Workshop on Discrete Event Systems, WODES' 08en
dc.sourceProceedings - 9th International Workshop on Discrete Event Systems, WODES' 08en
dc.subjectDiscrete event systemsen
dc.subjectPetri netsen
dc.subjectFaulty transitionsen
dc.subjectGraph theoryen
dc.subjectMarine biologyen
dc.subjectTechnical presentationsen
dc.subjectElectric fault currentsen
dc.subjectSensor networksen
dc.subjectPetri net modelsen
dc.subjectFault diagnosisen
dc.subjectOn-line monitoringen
dc.subjectDegree of confidenceen
dc.subjectExecution pathsen
dc.subjectSensing informationen
dc.titleFault diagnosis in discrete event systems modeled by petri nets with outputsen
dc.description.endingpage448Πολυτεχνική Σχολή / Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record