期刊
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
卷 70, 期 9, 页码 9357-9367出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TIE.2022.3215812
关键词
Distributed control; predictive control; signal temporal logic (STL)
This article investigates the temporal logic problem for multiagent systems, introducing a two-step distributed model predictive control (DMPC) strategy to maximize the number of satisfied subtasks and minimize the violation degree of unsatisfied ones. The proposed algorithm ensures the satisfaction verification of coupled subtasks and guarantees soundness and feasibility.
This article studies the temporal logic problem for multiagent systems, where each agent is subject to signal temporal logic (STL) tasks with multiple subtasks. In the distributed framework, due to the existence of coupling subtasks, the satisfaction of the conjunction of all subtasks may be conflicting. A two-step distributed model predictive control (DMPC) strategy is proposed to maximize the amount of the satisfied subtasks and minimize the violation degree of those failed subtasks. In step 1, a novel robustness metric of STL is proposed to measure whether each subtask is satisfied or not, and is directly incorporated into the DMPC optimization problem to determine the satisfiability of each subtask. Based on the planning results of step 1, a DMPC optimization problem with a short planning horizon is designed in step 2 to minimize the violation degree of the unsatisfiable subtasks while ensuring the satisfaction of those satisfiable ones. All agents solve their two-step DMPC problems sequentially to realize the satisfaction verification of the coupled subtasks at each time instant. Further, the soundness and feasibility of the two-step DMPC algorithm are formally guaranteed. Simulations and experiments illustrate the effectiveness of the proposed algorithm.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据