关于非确定性度量有限状态系统大规模网络的增量设计
On Incremental Design of Large-Scale Networks of Nondeterministic Metric Finite State Systems
AI总结：
研究非确定性度量有限状态系统网络的控制设计问题，采用增量法，从原始网络提取递增序列的网络来寻找解决方案，为工厂设计局部控制器以执行正则语言规范并达期望精度。
AI中文摘要：
本文探讨非确定性和度量有限状态系统网络（NoS）的控制设计，其中一些系统是工厂，一些是控制器，还有一些是无控制过程。NoS的控制架构扩展了分散控制架构。问题在于为相应工厂设计局部控制器，以达到期望精度来执行由工厂状态字母表上的正则语言给出的局部规范。所采用的方法称为增量法，即从原始NoS中提取的NoS递增序列上找到解决方案。
英文摘要：
In this paper, we address control design of Networks of nondeterministic and metric finite state Systems (NoS) where some systems are plants, others act as controllers, and some are uncontrolled processes. The control architecture of NoS extends decentralized control architectures. The problem addressed consists in designing local controllers for enforcing on the corresponding plants, local specifications given by regular languages over plants' state alphabet, up to desired accuracies. The approach used to solve the problem is termed incremental and consists in finding solutions on an increasing sequence of NoS extracted from the original NoS.
