On-line fault detection in discrete event systems by Petri nets and integer linear programming
From MaRDI portal
Publication:1049168
DOI10.1016/j.automatica.2009.07.021zbMath1180.93066OpenAlexW2094370340MaRDI QIDQ1049168
Agostino Marcello Mangini, Walter Ukovich, Maria Pia Fanti, Mariagrazia Dotoli
Publication date: 8 January 2010
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2009.07.021
Integer programming (90C10) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (19)
Diagnosability of Petri nets with observation graphs ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ Fault detection and isolation in manufacturing systems with an identified discrete event model ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Model-based fault identification of discrete event systems using partially observed Petri nets ⋮ Detection of temporal anomalies for partially observed timed PNs ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets ⋮ Adaptive control and signal processing literature survey (No. 16) ⋮ Specification governor for fault tolerant control of large-scale manufacturing systems ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ Fault model identification and synthesis in Petri nets ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On-line monitoring of large Petri net models under partial observation
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Real time identification of discrete event systems using Petri nets
- Identification of Petri nets from knowledge of their language
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Introduction to Discrete Event Systems
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
- Diagnosability of discrete-event systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Algebraic approaches for fault identification in discrete-event systems
- Marking Estimation of Petri Nets With Silent Transitions
This page was built for publication: On-line fault detection in discrete event systems by Petri nets and integer linear programming
