期刊
AUTOMATICA
卷 125, 期 -, 页码 -出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2020.109430
关键词
Petri-Nets; Supervisory control; Deadlock; Fault-tolerant systems; Discrete-event dynamic systems; Discrete-event systems
资金
- Office of Naval Research, United States of America [N00014-20-1-2249]
A Discrete Event System modeled by a Petri Net is considered live if any transition can be fired from any reachable marking. A Liveness Enforcing Supervisory Policy enforces liveness by preventing certain transitions from firing. The study explores the existence and synthesis of LESPs for arbitrary PNs in the presence of faults.
A Discrete Event System (DES) modeled by a Petri Net (PN) is live if it is possible to fire any transition, although not necessarily immediately, from any marking that is reachable from the initial marking. A Liveness Enforcing Supervisory Policy (LESP) for a PN enforces liveness by preventing the firing of a subset of transitions called the controllable transitions, which correspond to the preventable events in a DES. In this paper, we consider the existence and synthesis of LESPs for arbitrary PNs in the presence of faults, where a subset of controllable transitions become temporarily uncontrollable, for a finite number of event occurrences. Following the formal specification of the fault model, we present a necessary and sufficient condition for the existence of Fault-Tolerant LESPs (FT-LESPs) for arbitrary PNs. We show that, even when an LESP is given, the existence of an FT-LESP for an arbitrary PN is undecidable. We then identify a class of PNs for which the existence of FT-LESPs is decidable. We conclude with some suggestions for future research. (C) 2021 Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据