Fault diagnosis in discrete-event systems: Framework and model reduction

Cited In (44)

Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
Output feedback control of asynchronous sequential machines with disturbance inputs
Safe supervisory control under observability failure
Fault Distinguishability of Discrete Event Systems
Fairness of transitions in diagnosability of discrete event systems
Modular fault diagnosis based on discrete event systems
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Analysis of strong and strong periodic detectability of bounded labeled Petri nets
Hierarchical fault diagnosis for discrete-event systems under global consistency
Abstraction-based failure diagnosis for discrete event systems
Fault diagnosis in discrete time hybrid systems -- a case study
The On-Line Diagnosis of Time 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
A language-based diagnosis framework for permanent and intermittent faults
Fault detection and isolation in manufacturing systems with an identified discrete event model
Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems
Fault diagnosis in discrete-event systems: incorporating timing information
State estimation and detection of changes in time interval models
Fault detection for discrete event systems using Petri nets with unobservable transitions
Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
Diagnosis of Petri Nets
Detection of unmodelled anomalous behaviours via localized controllers for condition systems
On-line fault detection in discrete event systems by Petri nets and integer linear programming
Detectability verification of probabilistic Boolean networks
Design of decentralized critical observers for networks of finite state machines: a formal method approach
Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
Fault diagnosis for discrete event systems using partially observed Petri nets
Diagnosability of delay-deadline failures in fair real time discrete event models
An event-based distributed diagnosis framework using structural model decomposition
A discrete event systems approach to network fault management: detection and diagnosis of faults
Diagnosability of discrete event systems with modular structure
On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
Generalized detectability for discrete event systems
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
Robust Fault Diagnosis of Stochastic Discrete Event Systems
Robust diagnosis of discrete event systems against intermittent loss of observations
State Estimation and Fault Detection Using Petri Nets
Computation of minimal diagnosis bases of discrete-event systems using verifiers
Opacity of discrete event systems and its applications
State estimation of max-plus automata with unobservable events
Abstraction-based verification of codiagnosability for discrete event systems
Codiagnosability and coobservability under dynamic observations: transformation and verification

This page was built for publication: Fault diagnosis in discrete-event systems: Framework and model reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5266796)