异构多机器人系统设计需要跨领域(机器人设计、编队组成、规划)紧密耦合的决策,但现有工作多集中于单一领域的孤立优化,缺乏考虑任务需求与权衡的系统级协同设计(co-design)。
基于单调协同设计理论(monotone co-design theory),将机器人、编队、规划器、执行器和评估器抽象为具有明确定义接口的互联设计问题(interconnected design problems),这些接口对实现和任务均不可知(agnostic),从而实现机器人设计、编队组成和规划在任务特定性能约束下的联合优化。
提出一种形式化(formal)且组合式(compositional)的框架,能够无缝集成新机器人类型、任务配置和概率传感目标,并系统性地揭示非直观的设计替代方案,同时提供最优性保证(optimality guarantees)。
为异构多机器人系统的任务驱动协同设计提供了灵活、可扩展且可解释的形式化框架,实现了跨领域决策的原则性推理(principled reasoning),填补了系统级协同设计的研究空白。