Fault Diagnosis and Prognosis With Partially Observed Petri Nets

Lefebvre, Dimitri

doi:10.1109/tsmc.2014.2311760

Cited by 66 publications

(19 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Dimitri L. presented a formal method with the partially observed petri nets for discrete event systems and defined formal observation sequence. By computing the degree of confidence of past and future states and events, the authors estimated diagnosability, detectability, and predictability [123].…”

Section: Observability and Traceabilitymentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

Section: Observability and Traceabilitymentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

show abstract

“…(i) For any timed measured trajectory TR with measurements, the set of timed trajectories that are consistent with TR are first computed with an integer linear programming approach developed in our previous work [23,27].…”

Section: Temporal Specifications Checkingmentioning

confidence: 99%

“…Let us define as the matrix of the reachability graph of the unobservable part of the PN where all transitions that are observable or whose firing changes the measured part of the marking have been removed and assume that this graph is acyclic (Assumption C). In that case, the maximal number of consecutive silent events is upper bounded by ℎ max − 1 [23] with…”

Section: Untimed Trajectories Consistent With Trmentioning

confidence: 99%

“…POTPNs take into consideration some measurable events that correspond to dated and labeled transition firings and also to partial measurements of the marking vector that is dated. This formalism, fully described in [23], is useful to represent incomplete history of dated measurements collected by SCADA systems. In the present work, this model is extended by adding temporal constraints that give upper and lower bounds for each transition duration.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Detection of Temporal Anomalies for Partially Observed Timed PNs

Lefebvre

2017

Mathematical Problems in Engineering

Self Cite

View full text Add to dashboard Cite

This article concerns faults detection and isolation for timed stochastic discrete event systems modeled with partially observed timed Petri nets. Events occur according to arbitrary probability density functions. The models include the sensors used to measure events and markings and also the temporal constraints to be satisfied by the system operations. These temporal constraints are defined according to tolerance intervals specified for each transition. A fault is an operation that ends too early or too late. The set of trajectories consistent with a given timed measured trajectory is first computed. Then, the probability that the temporal specifications are unsatisfied is estimated for any sequence of measurements and the probability that a temporal fault has occurred is obtained as a consequence.

show abstract

“…The Petri Nets (PN) model offers a twofold representation: rigorous mathematical foundation and intuitive graphical representation, so the Petri Nets model is widely used in the DES [9][10] [13] [14][15][16]. Fault detection and diagnosis methods for the DES based on Petri Nets in current research mainly includes P-invariants [1], the basic reachability graph (BRG) [8], labeled PN [11], the compiled diagnoser [4], the interpreted diagnoser [3], the unfolding approach, integer linear programming (ILP) method [12], and so on.…”

Section: Introductionmentioning

confidence: 99%

Online Fault Diagnoser for Partially Observed Petri Nets

Peng¹,

Liu²,

Jiancheng³

et al. 2016

dteees

View full text Add to dashboard Cite

Abstract. This paper investigates the fault detection problem for Discrete Event Systems which can be modeled by Partially Observed Petri Nets (POPN). To overcome the shortage of the low diagnosability of the currently POPN online fault diagnoser, we propose an improved on-line fault diagnosis algorithm that integrates Generalized Mutual Exclusion Constraints(GMEC) and Integer Linear Programming (ILP). We assume that the POPN structure and its initial markings are known, the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. The ILP problem of POPN is solved for elementary diagnosis for the system behavior. While the system is diagnosed that some faults may have happened, we use the GMEC for the further diagnosis. Finally, a real discrete event system is taken as an example, we model and analyse the discrete event system, the proposed algorithm increases the diagnosablity remarkably.

show abstract

Fault Diagnosis and Prognosis With Partially Observed Petri Nets

Cited by 66 publications

References 38 publications

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Detection of Temporal Anomalies for Partially Observed Timed PNs

Online Fault Diagnoser for Partially Observed Petri Nets

Contact Info

Product

Resources

About