Detectability Measure for State Estimation of Discrete Event Systems

DOI10.1109/TAC.2018.2843723zbMath1423.93383OpenAlexW2805246536WikidataQ129733223 ScholiaQ129733223MaRDI QIDQ4615330

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

Mathematics Subject Classification ID

Markov processes: estimation; hidden Markov models (62M05) Formal languages and automata (68Q45) Estimation and detection in stochastic control theory (93E10)

Related Items (5)

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Verification and enforcement of current-state opacity based on a state space approach ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ State estimation in labeled time Petri net systems using observed modified state class graph

This page was built for publication: Detectability Measure for State Estimation of Discrete Event Systems