动态多智能体系统的分层控制器综合
人工智能
2023-07-14 v1 计算机科学与博弈论
多智能体系统
摘要
在本文中，我们提出一种用于多智能体控制问题的分层方法，分解为三个阶段，每一阶段都建立在前一阶段结果之上。首先，计算系统粗粒度抽象的高层规划，依赖于带有停表的参数化时间自动机，因为它们能高效建模此类系统的简化动力学。在第二阶段，基于 SMT 公式的高层规划主要处理问题的组合方面，提供更动力学精确的解。这些阶段统称为 SWA-SMT 求解器。它们构造正确但缺乏一个关键特性：无法实时执行。为克服这一点，我们将 SWA-SMT 解用作最后阶段的初始训练数据集，旨在获得神经网络控制策略。我们使用强化学习训练该策略，并表明初始数据集对方法的整体成功至关重要。
引用
@article{arxiv.2307.06758,
title = {Layered controller synthesis for dynamic multi-agent systems},
author = {Emily Clement and Nicolas Perrin-Gilbert and Philipp Schlehuber-Caissier},
journal= {arXiv preprint arXiv:2307.06758},
year = {2023}
}