On K-diagnosability of Petri nets via integer linear programming

Authors:
F. Basile;P. Chiacchio;G. De Tommasi
Affiliations:
Dipartimento di Ingegneria Elettronica ed Ingegneria Informatica, Universití degli Studi di Salerno, Salerno, Italy;Dipartimento di Ingegneria Elettronica ed Ingegneria Informatica, Universití degli Studi di Salerno, Salerno, Italy;Dipartimento di Informatica e Sistemistica, Universití degli Studi di Napoli Federico II, Napoli, Italy
Venue:
Automatica (Journal of IFAC)
Year:
2012

Citing 8
Cited 0

Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems

Discrete Event Dynamic Systems
State Observation and Diagnosis of Discrete-Event SystemsDescribed by Stochastic Automata

Discrete Event Dynamic Systems
Liveness and Home States in Equal Conflict Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Reduction of constraints for controller synthesis based on safe Petri Nets

Automatica (Journal of IFAC)
Brief paper: On-line fault detection in discrete event systems by Petri nets and integer linear programming

Automatica (Journal of IFAC)
Brief paper: Fault detection for discrete event systems using Petri nets with unobservable transitions

Automatica (Journal of IFAC)
Safe diagnosability for fault-tolerant supervision of discrete-event systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	22.14

Visualization

Abstract

This paper deals with the problem of diagnosability of a fault after the firing of a finite number events (i.e., K-diagnosability). This problem corresponds to diagnosability of a fault within a finite delay in the context of discrete event systems. The main contribution of this paper is a necessary and sufficient condition for K-diagnosability of bounded nets. The proposed approach exploits the mathematical representation of Petri nets and the Integer Linear Programming optimization tool. In particular no specific assumptions are made on the structure of the net induced by the unobservable transitions, since the proposed approach permits to detect also the undiagnosability due to the presence of unobservable cycles.