文章基本信息

标题：Instant detectability of discrete-event systems ⁎
本地全文：下载
作者：Kuize Zhang ; Alessandro Giua
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：2137-2142
DOI：10.1016/j.ifacol.2020.12.2537
语种：English
出版社：Elsevier
摘要：AbstractDetectability is a basic property that describes whether an observer can use thecurrentandpastvalues of an observed output sequence produced by a system to reconstruct itscurrentstate. We consider particular properties calledinstant strong detectabilityandinstant weak detectability,where the former implies that for each possible infinite observed output sequence each prefix of the output sequence allows reconstructing the current state, the latter implies that some infinite observed output sequence (if it exists) satisfies that each of its prefixes allows reconstructing the current state. For discrete-event systems modeled by finite-state automata, we give a linear-time verification algorithm for the former in the size of an automaton, and also give a polynomial-time verification algorithm for the latter.
关键词：Keywordsfinite-state automatoninstant strong detectabilityinstant weak detectability