Fault detection for discrete event systems using Petri nets with unobservable transitions
From MaRDI portal
Publication:710706
DOI10.1016/j.automatica.2010.06.013zbMath1201.93074OpenAlexW2160792115MaRDI QIDQ710706
Carla 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
Discrete event control/observation systems (93C65) Fault detection; testing in circuits and networks (94C12)
Related Items (38)
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Diagnosability of Petri nets with observation graphs ⋮ Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ H∞fault estimation with randomly occurring uncertainties, quantization effects and successive packet dropouts: The finite-horizon case ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Time variant dynamic models in diagnosing of real-time computer systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Model-based fault identification of discrete event systems using partially observed Petri nets ⋮ Identification of stochastic timed discrete event systems with st-IPN ⋮ Fault detection filtering for nonlinear switched systems via event-triggered communication approach ⋮ Discrete-event diagnostic model for a distributed computational system. Independent chains ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Current-state opacity modelling and verification in partially observed Petri nets ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Fault detection for discrete event systems using Petri nets with unobservable transitions ⋮ Verification of C-detectability using Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets ⋮ Diagnosis of Petri Nets ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ Diagnosability verification using LTL model checking ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems ⋮ Diagnosis on a sliding window for partially observable Petri nets
Cites Work
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Real time identification of discrete event systems using Petri nets
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Marking Estimation of Petri Nets With Silent Transitions
This page was built for publication: Fault detection for discrete event systems using Petri nets with unobservable transitions
