The problem studied in this paper is that of distributed controller design for interconnected systems using abstraction-based techniques. Controller synthesis for each subsystem uses local distributed sensor information from other subsystems. Such partial information in an abstraction will be characterized in terms of ranking functions which can be deemed as level sets of Lyapunov functions. An effective procedure is proposed for the computation of ranking functions in the case of reach and stay specifications. A step-by-step algorithmic procedure implementing the proposed approach is presented for controller synthesis based on partial information. A numerical example is provided to illustrate the implementation.

本文研究的问题是使用基于抽象的技术为互连系统设计分布式控制器。每个子系统的控制器综合使用来自其他子系统的本地分布式传感器信息。抽象中的这些部分信息将根据可以被视为 Lyapunov 函数的水平集的排序函数来表征。在到达和停留规范的情况下，提出了一种计算排名函数的有效程序。针对基于部分信息的控制器合成，提出了实现所提出方法的逐步算法过程。提供了一个数值示例来说明实现。