Integer and combinatorial optimization
Integer and combinatorial optimization
A new technique for fault detection using Petri nets
Automatica (Journal of IFAC)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Exploring FPGA Structures for Evolving Fault Tolerant Hardware
EH '03 Proceedings of the 2003 NASA/DoD Conference on Evolvable Hardware
A distributed approach for fault detection and diagnosis based on time Petri nets
Mathematics and Computers in Simulation - Special issue: Computational engineering in systems applications (CESA 2003)
Identification of Petri Nets from Knowledge of Their Language
Discrete Event Dynamic Systems
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
On-Line Monitoring of Large Petri Net Models Under Partial Observation
Discrete Event Dynamic Systems
Distributed diagnosis of discrete-event systems using Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Microcontroller-based process monitoring and management using embedded Petri-nets
Robotics and Computer-Integrated Manufacturing
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
Hi-index | 22.15 |
The paper addresses the fault detection problem for discrete event systems in a Petri Net (PN) framework. Assuming that the structure of the PN model and the initial marking are known, faults are modelled by unobservable transitions. Moreover, we assume that there may be additional unobservable transitions associated with the system legal behaviour and that the marking reached after the firing of any transition is unknown. The proposed diagnoser works on-line: it waits for the firing of an observable transition and employs an algorithm based on the definition and solution of some integer linear programming problems to decide whether the system behaviour is normal or exhibits some possible faults. The results characterize the properties that the PN modelling the system fault behaviour has to fulfill in order to reduce the on-line computational effort.