COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
批准号:
402956354
负责人:
Professor Dr. Wolfgang Reif
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2018
资助国家:
德国
项目状态:
已结题
起止时间:
2017-12-31 至 2023-12-31
中文摘要
移动多机器人系统越来越受到学术界和工业界的关注。在其他方面,这一发展是由这样一个事实推动的,即最近通过先进的电子产品、小型化以及更强大的车载控制系统,控制这些设备变得更加容易,这些系统可以负担得起的价格提供。尽管多年来搜索和救援(SAR)领域的应用程序从来自不同环境的众多项目中受益,但多机器人应用程序的潜力现在已在许多其他领域得到承认。这些包括环境研究、关键基础设施的分布式监视或处理重大灾难(例如,化学事故、洪水、重大火灾)等。我们确定了与所有这些应用程序相关的共同步骤,并将其称为涉及搜索、持续观察和反应任务的SCORE任务。现有的方法表明,空中机器人(UAV)和地面车辆的组合适合于应对SCORE任务。然而,这些方法往往侧重于一项任务的孤立任务,或者是为特定应用量身定做的。由于对机器人在专用应用或环境中的能力的特定要求,这种专业化是必要的。除了不同的任务要求外,乐团在处理SCORE任务时还面临着不确定性。常见不确定性的例子是机器人在运行时的缺陷,对于合奏必须在其中工作的初始(环境)设置缺乏清晰度,以及在运行时的发展。这些不确定性使得预先计算每个机器人的完整计划(包括任务调度和分配)变得困难。复杂的得分任务显然需要在运行时进行适应。我们的项目旨在为机器人集合开发一个参考系统架构,以处理此类任务,重点是空中机器人和移动地面车辆。因此,我们的项目遵循了将经典规划方法与自组织机制相结合的想法,使机器人能够适应集合以及环境中的不可预见的变化,并做出适当的反应,而不需要耗时的重新规划阶段,并在SCORE任务的所有任务中尽可能自主。为了给机器人集成提供必要的自由度,我们建议用语义知识增强现有的模块化硬件组件,使它们具有自我感知能力。这允许集合通过在运行时启动硬件和软件级别的重新配置来对当前情况进行推理和优化。
英文摘要
Mobile multi-robot systems gain increasing attention in research and industry. Among others, this development was driven by the fact that controlling these devices had become much easier recently through advanced electronics, miniaturization and thus more powerful onboard control systems, available at affordable prices.While applications in the domain of Search and Rescue (SAR) have profited from this development for years in a multitude of projects from different environments, the potential of multi-robot applications now is recognized in many other domains. These include environmental research, distributed surveillance of critical infrastructure, or dealing with major catastrophes (e.g., chemical accidents, flood, major fires), among others.We identified common steps, relevant in all of these applications, and call them ScORe missions involving Search, continuously Observe and React tasks. Existing approaches have shown that ensembles of aerial robots (UAVs) and ground vehicles are suitable for coping with ScORe missions. However, those approaches often focus on isolated tasks of one ScORe mission or are tailored to particular applications. This specialization is necessary due to specific requirements to the robots’ capabilities in dedicated applications or environments. Besides different task requirements, the ensemble is faced with uncertainties when dealing with ScORe missions. Examples for common uncertainties are defects of robots at run-time, lack of clarity regarding the initial (environmental) setting the ensemble has to work in, and its development during run-time. These uncertainties make it hard to calculate a complete plan (including task scheduling and allocation) for each robot of the ensemble in advance. Complex ScORe missions clearly call for adaptation at run-time.Our project aims at developing a reference system architecture for robot ensembles to handle such missions with focus on aerial robots and mobile ground vehicles. Therefore our project follows the idea of combining classic planning approaches with self-organization mechanisms to enable the robot ensemble to adapt to unforeseen changes in the ensembles as well as in the environment and to react appropriately, without time-intensive re-planning phases, and as autonomous as possible throughout all tasks of a ScORe mission. To equip a robot ensemble with the necessary degree of freedom, we propose to enhance existing modular hardware components with semantic knowledge, to make them self-aware. This allows the ensemble to reason about and optimize the current situation by initiating reconfigurations on the hardware and the software level at run-time.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
-
批准号:387652208
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2017
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Flashix II: Incremental verification of non-local refinements
-
批准号:175408244
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Verifikation Lock-freier Algorithmen
-
批准号:165974113
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Developing Systems with Secure Information Flow
-
批准号:183481129
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
-
批准号:115342850
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Coordination
-
批准号:115506196
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Modellgetriebene Softwareentwicklung für sichere Systeme
-
批准号:77575322
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
-
批准号:5454659
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Interoperabilität von Kalkülen zur Systemmodellierung
-
批准号:5327570
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formale Methoden für den sicheren Einsatz von Java Chipkarten
-
批准号:5201618
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
-
批准号:5134877
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Correct translation of abstract specifications to C-Code
-
批准号:503992399
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
海外基金