Verification of k-Step and Definite Critical Observability in Discrete-Event Systems

DOI10.1109/TAC.2022.3202983MaRDI QIDQ6080230zbMATH OpenOpenAlexFDO

Authors Yin Tong, Ziyue Ma

Publication date 2 October 2023

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2022.3202983

zbMATH Keywords

critical observabilitydiscrete-event systems (DESs)networked systemsstate estimation

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Recommendations

• Verification of the Observer Property in Discrete Event Systems
• On observability of discrete-event systems
• On verification of D-detectability for discrete event systems
• Verification of Delay Co-Observability for Discrete Event Systems
• Verification complexity of a class of observational properties for modular discrete events systems
• Verifying weak and strong \(k\)-step opacity in discrete-event systems
• Verification of robust diagnosability for partially observed discrete event systems
• Observability of discrete event dynamic systems
• Verification of safe diagnosability of stochastic discrete-event systems
• An improved approach for verifying delayed detectability of discrete-event systems

Cited in

(2)

• Pairs of k-step reachability and m-step observability matrices
• Application of differential privacy in smart building systems

This page was built for publication: Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080230)