文章基本信息

标题：Predictability for Finite State Machines: a set-membership approach
本地全文：下载
作者：Gabriella Fiore ; Elena De Santis ; Maria Domenica Di Benedetto 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：355-360
DOI：10.1016/j.ifacol.2018.06.325
语种：English
出版社：Elsevier
摘要：AbstractIn this paper we investigate how to predict the future occurrence of specific discrete states of a finite state system on the basis of the observations. Predictability property is defined with respect to a subset of discrete states, called critical set, representing for example faulty states or, more generally, any subset of states which is of particular interest from the system’s behavior point of view. We define and characterize eventual and critical predictability properties by means of a set-membership-based formalism. Using the proposed framework, it is possible to check predictability properties with polynomial time algorithms.
关键词：KeywordsDiscrete Event SystemsFinite State Machinesobservabilitypredictabilitydiagnosability