论文标题
通过假设合同对约束线性系统的分散控制
Decentralized Control of Constrained Linear Systems via Assume-Guarantee Contracts
论文作者
论文摘要
我们考虑对状态和输入轨迹的外源性干扰和多面体约束的离散时间线性系统的分散控制。基础系统由动态耦合子系统的有限集合组成,其中每个子系统都被认为具有专用的本地控制器。信息的权力下放是根据每个本地控制器可以访问的状态测量的稀疏性约束表示的。在这种情况下,我们研究了在其测量历史记录中被参数化的分散控制器的设计。对于部分嵌套信息结构的问题,已知对此类策略空间的优化是凸。但是,在更通用(非经典)信息结构下,不能保证凸度,其中可用的一个本地控制器的信息可以受到无法访问或重建的控制操作的影响。为了减轻此类问题出现的非概念性的目的,我们提出了一种用于分散控制设计设计的方法,在该方法中,信息耦合状态被有效地将其视为干扰,其轨迹被限制为在椭圆形合同集中的价值,其位置,规模和方向与基础亲本式的无效控制策略进行了优化。我们在允许合同的空间上建立了自然的结构条件,以促进对控制政策的关节优化以及通过半决赛编程设定的合同。
We consider the decentralized control of a discrete-time, linear system subject to exogenous disturbances and polyhedral constraints on the state and input trajectories. The underlying system is composed of a finite collection of dynamically coupled subsystems, where each subsystem is assumed to have a dedicated local controller. The decentralization of information is expressed according to sparsity constraints on the state measurements that each local controller has access to. In this context, we investigate the design of decentralized controllers that are affinely parameterized in their measurement history. For problems with partially nested information structures, the optimization over such policy spaces is known to be convex. Convexity is not, however, guaranteed under more general (nonclassical) information structures in which the information available to one local controller can be affected by control actions that it cannot access or reconstruct. With the aim of alleviating the nonconvexity that arises in such problems, we propose an approach to decentralized control design where the information-coupling states are effectively treated as disturbances whose trajectories are constrained to take values in ellipsoidal contract sets whose location, scale, and orientation are jointly optimized with the underlying affine decentralized control policy. We establish a natural structural condition on the space of allowable contracts that facilitates the joint optimization over the control policy and the contract set via semidefinite programming.