Pages that link to "Item:Q710706"
From MaRDI portal
The following pages link to Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706):
Displayed 38 items.
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- Discrete-event diagnostic model for a distributed computational system. Independent chains (Q507111) (← links)
- Computation of minimal event bases that ensure diagnosability (Q692381) (← links)
- Fault detection for discrete event systems using Petri nets with unobservable transitions (Q710706) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Fault diagnosis for discrete event systems using partially observed Petri nets (Q779501) (← links)
- Time variant dynamic models in diagnosing of real-time computer systems (Q895302) (← 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)
- Identification of stochastic timed discrete event systems with st-IPN (Q1719235) (← links)
- Fault detection filtering for nonlinear switched systems via event-triggered communication approach (Q1737743) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- State-based fault diagnosis of discrete-event systems with partially observable outputs (Q2023248) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems (Q2109177) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach (Q2665691) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- <i>H</i><sub><i>∞</i></sub>fault estimation with randomly occurring uncertainties, quantization effects and successive packet dropouts: The finite-horizon case (Q3465698) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- Diagnosis on a sliding window for partially observable Petri nets (Q5878514) (← links)
- Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)