Relative predictability of failure event occurrences and its opacity-based test algorithm
From MaRDI portal
Publication:4967673
DOI10.1080/00207179.2017.1403049zbMATH Open1417.93208OpenAlexW2769406375MaRDI QIDQ4967673FDOQ4967673
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
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
- Predictability of event occurrences in partially-observed discrete-event systems
- Decentralized Prognosis of Failures in Discrete Event Systems
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Opacity of discrete event systems and its applications
- Synthesis of Optimal Insertion Functions for Opacity Enforcement
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Verification of Infinite-Step Opacity and Complexity Considerations
- Detectability of Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
- Verification of initial-state opacity in security applications of discrete event systems
- State estimation and detectability of probabilistic discrete event systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Polynomial-time verification of diagnosability of fuzzy discrete event systems
- Diagnosability of discrete event systems subject to permanent sensor failures
- The predictability of discrete event systems
- Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems
Cited In (3)
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)
