Detectability Measure for State Estimation of Discrete Event Systems

DOI10.1109/TAC.2018.2843723MaRDI QIDQ4615330zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

Cited in

(7)

• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• Online prognosis of stochastic discrete event systems with guaranteed performance bound
• 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)