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

DOI10.1109/tac.2022.3202983OpenAlexW4293704267MaRDI QIDQ6080230

Ziyue Ma, Yin Tong

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

state estimationnetworked systemscritical observabilitydiscrete-event systems (DESs)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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