...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Industrial Electronics >Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks
【24h】

Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

机译：Multiple Subformulae Cooperative Control for Multiagent Systems Under Conflicting Signal Temporal Logic Tasks

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相关主题

摘要

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.

著录项

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号