Pages that link to "Item:Q1049168"
From MaRDI portal
The following pages link to On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168):
Displayed 18 items.
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Stochastic DES fault diagnosis with coloured interpreted Petri nets (Q1665297) (← links)
- Model-based fault identification of discrete event systems using partially observed Petri nets (Q1716461) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Detection of temporal anomalies for partially observed timed PNs (Q1992544) (← links)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets (Q2063093) (← links)
- Specification governor for fault tolerant control of large-scale manufacturing systems (Q2068600) (← links)
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach (Q2665691) (← links)
- Fault detection and isolation in manufacturing systems with an identified discrete event model (Q2935079) (← links)
- Adaptive control and signal processing literature survey (No. 16) (Q4981798) (← links)
- Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships (Q5213917) (← links)