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