Robust predictability of stochastic discrete-event systems and a polynomial-time verification
From MaRDI portal
Publication:2165974
DOI10.1016/j.automatica.2022.110477zbMath1498.93700OpenAlexW4285725510MaRDI QIDQ2165974
Fuchun Liu, Hui Liao, NaiQi Wu
Publication date: 23 August 2022
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110477
Sensitivity (robustness) (93B35) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)
Cites Work
- Predictability of event occurrences in partially-observed discrete-event systems
- Robust diagnosis of discrete event systems against intermittent loss of observations
- Robust diagnosis of discrete-event systems against permanent loss of observations
- Robust prognosability for a set of partially observed discrete event systems
- Verification of robust diagnosability for partially observed discrete event systems
- Stochastic Failure Prognosability of Discrete Event Systems
- Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations
- Diagnosability of discrete-event systems
- Decentralized Diagnosis of Stochastic Discrete Event Systems
- Safe Diagnosability of Stochastic Discrete Event Systems
- Decentralized Prognosis of Failures in Discrete Event Systems
- Robust Fault Diagnosis of Stochastic Discrete Event Systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
- Diagnosability of stochastic discrete-event systems
- Robust nonblocking supervisory control of discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
- State observation and diagnosis of discrete-event systems described by stochastic automata
This page was built for publication: Robust predictability of stochastic discrete-event systems and a polynomial-time verification
