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

93B30: System identification

93C65: Discrete event control/observation systems

93E12: Identification in stochastic control theory

Related Items

Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system, Diagnosis of Petri Nets, The On-Line Diagnosis of Time Petri Nets, A language-based diagnosis framework for permanent and intermittent faults, 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, Fault diagnosis for discrete event systems using partially observed Petri nets, 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-based fault diagnosis of discrete-event systems with partially observable outputs, 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, State estimation of max-plus automata with unobservable events, 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