Detectability Measure for State Estimation of Discrete Event Systems
DOI10.1109/TAC.2018.2843723zbMATH Open1423.93383OpenAlexW2805246536WikidataQ129733223 ScholiaQ129733223MaRDI QIDQ4615330FDOQ4615330
Authors: Pei Zhao, Shaolong Shu, Feng Lin, Bo Zhang 
Publication date: 28 January 2019
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2018.2843723
Markov processes: estimation; hidden Markov models (62M05) Formal languages and automata (68Q45) Estimation and detection in stochastic control theory (93E10)
Cited In (7)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
- Verification and enforcement of current-state opacity based on a state space approach
- State estimation in labeled time Petri net systems using observed modified state class graph
- An improved approach for verifying delayed detectability of discrete-event systems
- Generalized detectability for discrete event systems
- Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
This page was built for publication: Detectability Measure for State Estimation of Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4615330)
