In this paper, we propose decentralized control of networks of discrete-time nonlinear control systems, enforcing complex specifications expressed in terms of regular languages, within any desired accuracy. As discussed in the paper, regular languages are useful to model a rather wide variety of complex specifications for control systems. The design of decentralized controllers is based on formal methods and, in particular, on the use of discrete abstractions. Efficient synthesis of such controllers is derived by resorting to on-the-fly algorithmic techniques that also allow the use of parallel computing architectures. Advantages and disadvantages of the decentralized approach over a centralized one, also in terms of computational complexity, are discussed. An illustrative example is presented, which shows the applicability and effectiveness of the results proposed.

中文翻译：

---

非线性控制系统网络的分散监控

在本文中，我们提出了离散时间非线性控制系统网络的分散控制，在任何所需的精度内执行以常规语言表示的复杂规范。正如论文中所讨论的，正则语言对于模拟控制系统的各种复杂规范非常有用。分散控制器的设计基于形式化方法，特别是基于离散抽象的使用。此类控制器的有效综合是通过采用还允许使用并行计算架构的动态算法技术来获得的。讨论了分散式方法相对于集中式方法的优缺点，以及在计算复杂性方面。给出了一个说明性的例子，