Deductive design, analysis and verification of multi-agent systems for RoboCup

RoboCup多智能体系统的演绎设计、分析与验证

基本信息

  • 批准号:
    5318952
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Priority Programmes
  • 财政年份:
    2001
  • 资助国家:
    德国
  • 起止时间:
    2000-12-31 至 2008-12-31
  • 项目状态:
    已结题

项目摘要

Die Erstellung von Software für kooperierende Teams mobiler Roboter stellt hohe Anforderungen. Zum einen muss eine Reaktion des Systems in Echtzeit garantiert werden und zum anderen erhöht die Kooperation mehrerer Agenten miteinander die Komplexität. Formale Methoden zu Entwurf, Analyse und Verifikation von Multiagenten-Systemen existieren bisher kaum. Wir wollen ein Verfahren entwickeln, welches es erlaubt, Multiagenten-Systeme formal zu entwerfen und diesen Entwurf auch ausführbar zu machen. Hierzu sollen Techniken aus der Deduktion und Logikprogrammierung und Mittel der Unified Modelling Language (UML) eingesetzt werden. Damit ist in einem weiteren Schritt die Analyse und Verifikation von Multiagenten-Systemen durchführbar, indem Temporal- bzw. dynamische Logiken und Methoden aus dem Model Checking für den hier vorgesehenen Zweck (weiter) entwickelt werden. Insgesamt ist so ein Systementwurf möglich, der in Systeme mobiler Roboter integriert werden kann. Dies soll konkret für die RoboCup-Simulation sowie für echte Roboter vom Typ Sony Aibo Dog durchgeführt werden. Am Ende dieses Projekts steht ein System, das neben dem Entwurf und der Implementierung eines Multiagenten-Systems kooperierender mobiler Roboter auch dessen formale Analyse und Verifikation erlaubt.
合作软件团队移动机器人团队位于安福德伦根。因此,一个人必须对系统进行反应,以确保韦尔登的安全,并使合作更加有效地减少复杂性。多智能体系统集成、分析和验证的形式化方法。我们将开始一项新的工作,并将启动多代理系统,正式开始工作,并将继续工作。统一建模语言(UML)的开发、逻辑编程和中间件的高级解决方案是韦尔登的一部分。Damit ist in einem weiteren Schritt die Analyse und Verifikation von Multiagenten-Systemen durchführbar,indem Temporal- bzw.基于模型检验的动态逻辑和方法,可用于韦尔登测试。Insgesamt is so ein Systementwurf möglich,der in Systeme mobiler Roboter integriert韦尔登。Dies soll konkret für die RoboCup-simulation sowie für echte Roboter vom Typ Sony Aibo Dog durchgeführt韦尔登.最后,这个项目是一个系统,它的开发和实施是一个多智能体系统协作的移动机器人,也是一个正式的分析和验证。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Ulrich Furbach其他文献

Professor Dr. Ulrich Furbach的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Ulrich Furbach', 18)}}的其他基金

CORG - Cognitive Reasoning
CORG-- 认知推理
  • 批准号:
    388853480
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Research Grants
RatioLog - Rational Extensions of Logical Reasoning
RatioLog - 逻辑推理的理性扩展
  • 批准号:
    235563983
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Logische Antwortfindung über semantisch strukturierten Wissensbasen
通过语义结构化知识库寻找逻辑答案
  • 批准号:
    48820592
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Model Based Deduction in Predicate Logic for Applications
谓词逻辑中基于模型的演绎应用
  • 批准号:
    5395937
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Hybrid spatial deduction in dynamic environments with application to cooperating agents in the RoboCup
动态环境中的混合空间推导及其在 RoboCup 中合作代理的应用
  • 批准号:
    5227136
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似国自然基金

Applications of AI in Market Design
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国青年学者研 究基金项目
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
在噪声和约束条件下的unitary design的理论研究
  • 批准号:
    12147123
  • 批准年份:
    2021
  • 资助金额:
    18 万元
  • 项目类别:
    专项基金项目
基于贝叶斯网络可靠度演进模型的城市雨水管网整体优化设计理论研究
  • 批准号:
    51008191
  • 批准年份:
    2010
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
协同中继系统跨层资源分配与优化调度的理论及方法
  • 批准号:
    60972070
  • 批准年份:
    2009
  • 资助金额:
    33.0 万元
  • 项目类别:
    面上项目
新型M4受体选择性拮抗剂的研究
  • 批准号:
    30973615
  • 批准年份:
    2009
  • 资助金额:
    32.0 万元
  • 项目类别:
    面上项目
多跳无线 MESH 网络中 QoS 保障算法的研究设计和性能分析
  • 批准号:
    60902041
  • 批准年份:
    2009
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
下一代无线通信系统自适应调制技术及跨层设计研究
  • 批准号:
    60802033
  • 批准年份:
    2008
  • 资助金额:
    16.0 万元
  • 项目类别:
    青年科学基金项目
最优证券设计及完善中国资本市场的路径选择
  • 批准号:
    70873012
  • 批准年份:
    2008
  • 资助金额:
    27.0 万元
  • 项目类别:
    面上项目
无重复析因设计的散度效应分析
  • 批准号:
    10626037
  • 批准年份:
    2006
  • 资助金额:
    3.0 万元
  • 项目类别:
    数学天元基金项目

相似海外基金

Design and Analysis of Structure Preserving Discretizations to Simulate Pattern Formation in Liquid Crystals and Ferrofluids
模拟液晶和铁磁流体中图案形成的结构保持离散化的设计和分析
  • 批准号:
    2409989
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
The mechanism of CELF1 upregulation and its role in the pathogenesis of Myotonic Dystrophy Type 1
CELF1上调机制及其在强直性肌营养不良1型发病机制中的作用
  • 批准号:
    10752274
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
Arlene George F32
阿琳·乔治 F32
  • 批准号:
    10722238
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
Design and Analysis of Holographic Optical Reconfigurable Intelligent Surface for Free-Space Optical Communications
自由空间光通信全息光学可重构智能表面设计与分析
  • 批准号:
    24K17272
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CAREER: Guided Exploration of Multiphysics Design Space for Electric Machines Using Tensorial Analysis (GEOMETRY)
职业:使用张量分析(几何)引导探索电机的多物理场设计空间
  • 批准号:
    2338541
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
CAREER: Modeling, Optimization, and Equilibrium Formulations for the Analysis and Design of Circular Economy Networks
职业:循环经济网络分析和设计的建模、优化和平衡公式
  • 批准号:
    2339068
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Richter - Advancing Construction Design Efficiency through computational analysis: Revolutionising Working Platforms within construction industry
Richter - 通过计算分析提高建筑设计效率:彻底改变建筑行业的工作平台
  • 批准号:
    10089025
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Collaborative R&D
Time series clustering to identify and translate time-varying multipollutant exposures for health studies
时间序列聚类可识别和转化随时间变化的多污染物暴露以进行健康研究
  • 批准号:
    10749341
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
Conference: Design and Analysis of Experiments 2024
会议:2024 年实验设计与分析
  • 批准号:
    2347284
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Strategies for next-generation flavivirus vaccine development
下一代黄病毒疫苗开发策略
  • 批准号:
    10751480
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了