模块化监控中监控器的分布式计算
On a Distributed Computation of Supervisors in Modular Supervisory Control
摘要：
在本文中，我们讨论了模块化离散事件系统的监督控制问题，允许一个分布式计算的监督员。我们提供了一个特征和算法来计算监督。如果规范不满足的属性，我们利用放松协调控制计算子语言的规范，监督员可以计算在一个分布式的方式。
英文摘要：
In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
