Free choice Petri nets
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Real Time Fault Monitoring of Industrial Processes
Real Time Fault Monitoring of Industrial Processes
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
Replacement of Open Interface Subnets and Stable State Transformation Equivalence
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Centralized Modular Diagnosis and the Phenomenon of Coupling
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Modular Fault Diagnosis Based on Discrete Event Systems
Discrete Event Dynamic Systems
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
Automatica (Journal of IFAC)
A consistency based approach to deal with modeling errors and process failures in D.E.S
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A distributed approach for fault detection and diagnosis based on Time Petri Nets
Mathematics and Computers in Simulation
Coloured Petri net diagnosers for lumped process systems
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Diagnosability of discrete event systems for temporary failures
Computers and Electrical Engineering
Confidence estimation of feedback information for logicdiagnosis
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
The problem of detecting and isolating fault events in dynamic systems modeled as discrete-event systems is considered. The modeling formalism adopted is that of Petri nets with labeled transitions, where some of the transitions are labeled by different types of unobservable fault events. The Diagnoser Approach for discrete-event systems modeled by automata developed in earlier work is adapted and extended to on-line fault diagnosis of systems modeled by Petri nets, resulting in a centralized diagnosis algorithm based on the notion of "Petri net diagnosers". A distributed version of this centralized algorithm is also presented. This distributed version assumes that the Petri net model of the system can be decomposed into two place-bordered Petri nets satisfying certain conditions and that the two resulting Petri net diagnosers can exchange messages upon the occurrence of observable events. It is shown that this distributed algorithm is correct in the sense that it recovers the same diagnostic information as the centralized algorithm. The distributed algorithm provides an approach for tackling fault diagnosis of large complex systems.