Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events

[摘要] Predictability is a discrete-event system property that aims to foresee some specific event occurrence, usually seen as failures. Two common assumptions in most existing works are the absence of cycles of states that are connected with unobservable events and language liveness, which could be restrictive in some system cases. In this paper, we revisit the problem of predictability in a more general scenario, in which we remove the above assumptions, present a necessary and sufficient condition for a language to be predictable and a diagnoser-based algorithm for its verification.

[学科分类] 自动化工程

[关键词] Discrete-event systems;Automaton;Predictability;Failure prognosis;Predictability verification