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
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
