Fault detection for discrete event systems using Petri nets with unobservable transitions
From MaRDI portal
Publication:710706
DOI10.1016/J.AUTOMATICA.2010.06.013zbMATH Open1201.93074OpenAlexW2160792115MaRDI QIDQ710706FDOQ710706
C. Seatzu, Maria Paola Cabasino, Alessandro Giua
Publication date: 22 October 2010
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11584/100146
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
Discrete event control/observation systems (93C65) Fault detection; testing in circuits and networks (94C12)
Cites Work
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- A distributed approach for fault detection and diagnosis based on time Petri nets
- 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 (44)
- Supervisory control of discrete-event systems under external attacks
- Current-state opacity modelling and verification in partially observed Petri nets
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
- Relative predictability of failure event occurrences and its opacity-based test algorithm
- Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems
- Model identification of unobservable behavior of discrete event systems using Petri nets
- H∞fault estimation with randomly occurring uncertainties, quantization effects and successive packet dropouts: The finite-horizon case
- 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
- 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”
- Diagnosis on a sliding window for partially observable Petri nets
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- 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
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata
- Diagnosability of fault patterns with labeled stochastic Petri nets
- Symbolic state estimation in bounded timed labeled Petri nets
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Diagnosability enforcement in labeled Petri nets using supervisory control
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- Diagnosis of Petri Nets
- Time variant dynamic models in diagnosing of real-time computer systems
- Stochastic DES fault diagnosis with coloured interpreted 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
- Model-based fault identification of discrete event systems using partially observed Petri nets
- Diagnosability verification using LTL model checking
- State Estimation and Fault Detection Using Petri Nets
- Discrete-event diagnostic model for a distributed computational system. Independent chains
- Computation of minimal event bases that ensure diagnosability
- 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)
