Fault detection for discrete event systems using Petri nets with unobservable transitions
From MaRDI portal
(Redirected from Publication:710706)
Recommendations
- Model-based fault identification of discrete event systems using partially observed Petri nets
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Fault diagnosis for discrete event systems using partially observed Petri nets
- Distributed diagnosis of discrete-event systems using Petri nets
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
Cites work
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Active diagnosis of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Diagnosability of discrete-event systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Marking Estimation of Petri Nets With Silent Transitions
- Real time identification of discrete event systems using Petri nets
Cited in
(52)- Current-state opacity modelling and verification in partially observed Petri nets
- Supervisory control of discrete-event systems under external attacks
- Fault model identification and synthesis in Petri nets
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- State observer for DES under partial observation with time Petri nets
- Relative predictability of failure event occurrences and its opacity-based test algorithm
- Model identification of unobservable behavior of discrete event systems using Petri nets
- Fault detection filtering for nonlinear switched systems via event-triggered communication approach
- Verification of C-detectability using Petri nets
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets
- Distributed diagnosis of discrete-event systems using Petri nets
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- Diagnosis on a sliding window for partially observable Petri nets
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- On-line monitoring of large Petri net models under partial observation
- Marking diagnosability verification in labeled Petri nets
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Diagnosability of Petri nets with observation graphs
- Diagnosis of partially observed Petri net based on analytical redundancy relationships
- Fault detection based on parity checks in Petri net controller
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosability of fault patterns with labeled stochastic Petri nets
- Symbolic state estimation in bounded timed labeled Petri nets
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- Time variant dynamic models in diagnosing of real-time computer systems
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- Stochastic DES fault diagnosis with coloured interpreted Petri nets
- Diagnosis of Petri Nets
- Identification of stochastic timed discrete event systems with st-IPN
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach
- Editorial: Deadlock analysis and control in resource allocation systems
- Fault diagnosis for discrete event systems using partially observed Petri nets
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
- Modeling, simulation, estimation and boundedness analysis of discrete event systems
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- \(H_{\infty}\) fault estimation with randomly occurring uncertainties, quantization effects and successive packet dropouts: the finite-horizon case
- Model-based fault identification of discrete event systems using partially observed Petri nets
- Diagnosability verification using LTL model checking
- Discrete-event diagnostic model for a distributed computational system. Independent chains
- State Estimation and Fault Detection Using Petri Nets
- Computation of minimal event bases that ensure diagnosability
- Fault diagnosis for discrete event systems modeled by bounded Petri nets
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
This page was built for publication: Fault detection for discrete event systems using Petri nets with unobservable transitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710706)
