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

Journal of control, automation and electrical systems

article

Barcelos, Raphael J.¹  Corrêa, Maurício A.¹  Basilio, João Carlos¹ 

[1] Department of Electrical Engineering, Federal University of Rio de Janeiro

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

DOI  :  10.1007/s40313-020-00594-9

学科分类：自动化工程

来源: Springer

【 摘 要 】

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.

【 授权许可】

CC BY