Relative predictability of failure event occurrences and its opacity-based test algorithm

DOI10.1080/00207179.2017.1403049MaRDI QIDQ4967673zbMATH OpenOpenAlexFDO

Authors Rui Zhao, Fuchun Liu, Jianxin Tan

Publication date 3 July 2019

Published in International Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207179.2017.1403049

zbMATH Keywords

discrete-event systemspredictabilityopacityrelative predictability

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65)

Recommendations

• Predictability of event occurrences in partially-observed discrete-event systems
• On Fault Predictability in Stochastic Discrete Event Systems
• Predictability of event occurrences in timed systems
• Predictability of fuzzy discrete event systems
• Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability

Cites work

• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Current-State Opacity Formulations in Probabilistic Finite Automata
• Decentralized Prognosis of Failures in Discrete Event Systems
• Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems
• Detectability of Discrete Event Systems
• Diagnosability of discrete event systems subject to permanent sensor failures
• Diagnosability of discrete-event systems
• Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Opacity of discrete event systems and its applications
• Polynomial-time verification of diagnosability of fuzzy discrete event systems
• Predictability of event occurrences in partially-observed discrete-event systems
• State estimation and detectability of probabilistic discrete event systems
• Synthesis of Optimal Insertion Functions for Opacity Enforcement
• The predictability of discrete event systems
• Verification of Infinite-Step Opacity and Complexity Considerations
• Verification of initial-state opacity in security applications of discrete event systems

Cited in

(3)

• Predictability of event occurrences in partially-observed discrete-event systems
• Predictability of event occurrences in timed systems
• Current-state opacity and initial-state opacity of modular discrete event systems

This page was built for publication: Relative predictability of failure event occurrences and its opacity-based test algorithm

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