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

(8)

• Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• An improved approach for verifying delayed detectability of discrete-event systems
• Generalized detectability for 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
• Detectability notions for a class of finite labeled Markovian systems

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)