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

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

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

Publication date: 20 June 2017

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

Mathematics Subject Classification ID

93B30: System identification

93C65: Discrete event control/observation systems

93E12: Identification in stochastic control theory

Related Items

Diagnosis of Petri Nets, The On-Line Diagnosis of Time Petri Nets, State estimation and detection of changes in time interval models, An event-based distributed diagnosis framework using structural model decomposition, Computation of minimal diagnosis bases of discrete-event systems using verifiers, 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, On-line monitoring of large Petri net models under partial observation, 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, Codiagnosability and coobservability under dynamic observations: transformation and verification, Output feedback control of asynchronous sequential machines with disturbance inputs, Abstraction-based failure diagnosis for discrete event systems, On-line fault detection in discrete event systems by Petri nets and integer linear programming, 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, State Estimation and Fault Detection Using Petri Nets, 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, Diagnosability of delay-deadline failures in fair real time discrete event models, Detection of unmodelled anomalous behaviours via localized controllers for condition systems, Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems