A language-based diagnosis framework for permanent and intermittent faults

DOI10.1016/J.AUTOMATICA.2023.111077zbMATH Open1520.93322OpenAlexW4377090510MaRDI QIDQ6175604FDOQ6175604

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

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

zbMATH Keywords

verificationdiagnosabilitypartial observationfault diagnosispermanent faultsintermittent faults

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cites Work

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

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)