A language-based diagnosis framework for permanent and intermittent faults

DOI10.1016/J.AUTOMATICA.2023.111077MaRDI QIDQ6175604zbMATH OpenOpenAlexFDO

Authors Rong Su

Publication date 24 July 2023

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2023.111077

zbMATH Keywords

verificationdiagnosabilitypartial observationfault diagnosispermanent faultsintermittent faults

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Recommendations

• Diagnosis of intermittent faults
• Diagnosability of intermittent sensor faults in discrete event systems
• Diagnosability of fair transition systems
• Diagnosability of repairable faults
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches

Cites work

• scientific article; zbMATH DE number 7354705 (Why is no real title available?)
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Diagnosability of discrete event systems with modular structure
• Diagnosability of discrete-event systems
• Diagnosability of repairable faults
• Diagnosis of discrete event systems using decentralized architectures
• Diagnosis of intermittent faults
• Distributed supervisory control of discrete-event systems with communication delay
• Estimation and inference in discrete event systems. A model-based approach with finite automata
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Fault tolerant task scheduling on computational grid using checkpointing under transient faults
• Fault-tolerant resource reasoning
• Global and local consistencies in distributed fault diagnosis for discrete-event systems
• Hierarchical fault diagnosis for discrete-event systems under global consistency
• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems

This page was built for publication: A language-based diagnosis framework for permanent and intermittent faults

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