Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

DOI10.1109/TAC.2004.829616MaRDI QIDQ5273787zbMATH OpenOpenAlexFDO

Authors Shengbing Jiang, Ratnesh Kumar

Publication date 12 July 2017

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

Full work available at URL https://doi.org/10.1109/tac.2004.829616

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Recommendations

• Diagnosis of temporal faults in discrete-event systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• Modelling and hierarchical diagnosis of timed discrete-event systems
• Abstraction-based failure diagnosis for discrete event systems
• Diagnosis of discrete-event systems from uncertain temporal observations
• Safe diagnosability of timed discrete-event systems
• Discrete-event systems fault diagnosis
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Fault Diagnosis of Discrete Event Systems Under Unknown Initial Conditions
• Fault diagnosis for timed automata

Cited in

(21)

• Predictability of event occurrences in partially-observed discrete-event systems
• Stochastic DES fault diagnosis with coloured interpreted Petri nets
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
• Diagnosability verification using LTL model checking
• Robust prognosability for a set of partially observed discrete event systems
• Online minimization of sensor activation for supervisory control
• Correctability of fault-tolerant stochastic discrete-event systems
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability
• Abstraction-based verification and synthesis for prognosis of discrete event systems
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Detection of unmodelled anomalous behaviours via localized controllers for condition systems
• Template languages for fault monitoring of timed discrete event processes
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
• Fault diagnosis in discrete-event systems: incorporating timing information
• On Fault Predictability in Stochastic Discrete Event Systems
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems
• Silent closure based pair verifier for fault pattern diagnosis of discrete event systems
• Computation of minimal event bases that ensure diagnosability
• On-line monitoring of large Petri net models under partial observation
• Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective

This page was built for publication: Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

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