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

DOI10.1109/TAC.2004.829616zbMath1365.93294OpenAlexW2007588592MaRDI QIDQ5273787

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)

Related Items (17)

Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ 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 ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Detection of unmodelled anomalous behaviours via localized controllers for condition systems ⋮ Diagnosability analysis of patterns on bounded labeled prioritized Petri nets ⋮ Computation of minimal event bases that ensure diagnosability ⋮ On Fault Predictability in Stochastic Discrete Event Systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ On-line monitoring of large Petri net models under partial observation ⋮ Predictability of event occurrences in partially-observed discrete-event systems ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ 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

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