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

Cited in

(44)

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

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)