Decentralized supervisory control and communication for reactive discrete-event systems
Decentralized supervisory control and communication for reactive discrete-event systems
复制标题
反应式离散事件系统的分散式监控和通信
DOI：
10.1109/acc.2006.1657690
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
P. Gohari
中科院分区：
文献类型：
--
作者：
Liang Du;S. Ricker;P. Gohari
提出了一类用于无功系统建模的分散监督控制问题。为了捕捉反应系统的行为，其中与不可预测的环境的相互作用必须考虑在内，离散事件系统的输入/输出自动机建模。提供了用于实施安全规范的控制策略-在分散的监督者之间进行通信和不进行通信。这类新的问题的必要和充分条件也制定。提供了一种用于指定最小通信的算法
A class of decentralized supervisory control problems for modeling reactive systems is presented. To capture the behavior of a reactive system, where interaction with an unpredictable environment must be taken into consideration, the discrete-event systems are modeled by input/ouput automata. Control strategies - with and without communication between decentralized supervisors - for implementing safety specifications are provided. Necessary and sufficient conditions for this new class of problems are also formulated. An algorithm is provided for designating minimal communication