CONtext-aware VerifIable dyNamiC dEliberation

上下文感知的可验证动态审议

基本信息

  • 批准号:
    10042096
  • 负责人:
  • 金额:
    $ 72.13万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    EU-Funded
  • 财政年份:
    2022
  • 资助国家:
    英国
  • 起止时间:
    2022 至 无数据
  • 项目状态:
    未结题

项目摘要

In recent years, robots are being increasingly deployed outside strictly controlled environments. When faced with unexpected situations, these robots are often incapable of taking appropriate action and require human intervention. The goal of CONVINCE is to advance the capabilities of robots to perform complex tasks robustly and safely within unstructured environments via autonomous and unsupervised adaptation to the environment and operational context. More specifically, the key contribution is to develop cognitive deliberation capabilities that ensure safe robot operation over extended periods of time without human intervention. These capabilities will be integrated into a model-driven software toolchain to allow developers to build application-specific deliberation systems able to i) determine robot’s behaviors required to fulfill a given task, also taking into account the context in which the robot operates and the experience gained during previous executions of the same task, ii) deploy and configure the components that are required to execute these behaviors, iii) automate the analysis of behaviors to ensure that they are safe and secure, leveraging on formal models and tools for design-time and run-time verification. The toolchain shall be based on proven system modeling concepts, particularly from the EU-funded project RobMoSys. Major parts shall be open-sourced with adapters to relevant robotics frameworks like the Robot Operating System (ROS). To ensure real-world applicability, CONVINCE will demonstrate the technology developed in the project on three different realworld use cases, each of which presents unique technical difficulties and utilizes robotic systems of increasing complexity, in different application domains: vacuum cleaner robot, assembly robot, and robotic museum guide.
近年来,机器人越来越多地部署在严格控制的环境之外。当面对意外情况时,这些机器人往往无法采取适当的行动,需要人工干预。该项目的目标是通过自主和无监督的适应环境和操作环境,提高机器人在非结构化环境中稳健、安全地执行复杂任务的能力。更具体地说,关键贡献是开发认知审议能力,确保机器人在没有人为干预的情况下长时间安全运行。这些功能将集成到模型驱动的软件工具链中,允许开发人员构建特定于应用程序的审议系统,能够i)确定完成给定任务所需的机器人行为,同时考虑机器人操作的环境和以前执行相同任务时获得的经验,ii)部署和配置执行这些行为所需的组件。Iii)自动化行为分析,以确保它们是安全可靠的,利用正式的模型和工具进行设计时和运行时验证。工具链将基于经过验证的系统建模概念,特别是来自欧盟资助的项目RobMoSys。主要部件应该是开源的,带有相关机器人框架(如机器人操作系统(ROS))的适配器。为了确保在现实世界的适用性,CONVINCE将在三个不同的现实用例中演示项目中开发的技术,每个用例都有独特的技术难点,并在不同的应用领域中使用越来越复杂的机器人系统:真空吸尘器机器人、装配机器人和机器人博物馆导游。

项目成果

期刊论文数量(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 }}

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

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

{{ truncateString('', 18)}}的其他基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Studentship

相似国自然基金

动态无线传感器网络弹性化容错组网技术与传输机制研究
  • 批准号:
    61001096
  • 批准年份:
    2010
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
基于计算和存储感知的运动估计算法与结构研究
  • 批准号:
    60803013
  • 批准年份:
    2008
  • 资助金额:
    18.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Situation-aware Multi-sided Personalised Analytics in Spatial Crowdsourcing
空间众包中的态势感知多边个性化分析
  • 批准号:
    DP240100356
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Discovery Projects
CBET-EPSRC: TECAN - Telemetry-Enabled Carbon Aware Networking
CBET-EPSRC:TECAN - 支持遥测的碳感知网络
  • 批准号:
    EP/X040828/1
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Research Grant
RII Track-4:NSF: HEAL: Heterogeneity-aware Efficient and Adaptive Learning at Clusters and Edges
RII Track-4:NSF:HEAL:集群和边缘的异质性感知高效自适应学习
  • 批准号:
    2327452
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Standard Grant
Traversing the Gray Zone with Scale-aware Turbulence Closures
通过尺度感知的湍流闭合穿越灰色区域
  • 批准号:
    2337399
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Standard Grant
Collaborative Research: An Integrated Framework for Learning-Enabled and Communication-Aware Hierarchical Distributed Optimization
协作研究:支持学习和通信感知的分层分布式优化的集成框架
  • 批准号:
    2331710
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Standard Grant
Collaborative Research: An Integrated Framework for Learning-Enabled and Communication-Aware Hierarchical Distributed Optimization
协作研究:支持学习和通信感知的分层分布式优化的集成框架
  • 批准号:
    2331711
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Standard Grant
CAREER: A Universal Framework for Safety-Aware Data-Driven Control and Estimation
职业:安全意识数据驱动控制和估计的通用框架
  • 批准号:
    2340089
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Standard Grant
CAREER: Psychology-aware Human-in-the-Loop Cyber-Physical-System (HCPS): Methodologies, Algorithms, and Deployment
职业:具有心理学意识的人在环网络物理系统 (HCPS):方法、算法和部署
  • 批准号:
    2339266
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Continuing Grant
CAREER: Robust, Fair, and Culturally Aware Commonsense Reasoning in Natural Language
职业:用自然语言进行稳健、公平和具有文化意识的常识推理
  • 批准号:
    2339746
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Continuing Grant
CAREER: Integrated and end-to-end machine learning pipeline for edge-enabled IoT systems: a resource-aware and QoS-aware perspective
职业:边缘物联网系统的集成端到端机器学习管道:资源感知和 QoS 感知的视角
  • 批准号:
    2340075
  • 财政年份:
    2024
  • 资助金额:
    $ 72.13万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了