对于一类黑箱线性系统，我们提供给定集合的受控不变性的样本外证书。具体来说，我们考虑线性时不变模型，由于某些参数的量化可能不精确，其状态空间矩阵仅属于某个族。通过利用这些未确定参数的实现集，验证给定集合的受控不变性等于线性程序，其可行性使我们能够针对该集合的受控不变性建立后验概率证明。标称线性时不变动力学。所提出的框架适用于具有未知加权图的网络化多智能体系统的控制。



"点击查看英文标题和摘要"