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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
海外基金