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

DOI10.1109/TAC.2003.814099zbMath1364.93464MaRDI QIDQ5266796

Shahin Hashtrudi Zad, W. Murray Wonham, Raymond H. Kwong

Publication date: 20 June 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

System identification (93B30) Discrete event control/observation systems (93C65) Identification in stochastic control theory (93E12)

Related Items

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