课题基金 / 基金详情

Probabilistic Model Checking Techniques for Drone Swarms

Probabilistic Model Checking Techniques for Drone Swarms
无人机群概率模型检验技术
批准号：
1979782
负责人：
金额：
$0.0万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2017
资助国家：
英国
项目状态：
已结题
起止时间：
2017 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-1979782
关键词：
ProbabilisticModelCheckingTechniquesDrone

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
我们将研究使用概率模型检查技术来验证无人机群系统。这将涉及扩展这些技术，使系统的大小可能是无限的，在设计时未知的建模。我们还将开发实现这些技术的工具，并展示它们在群机器人协议上的适用性。机器人和建模
英文摘要
We will investigate the use of probabilistic model checking techniques to verify drone swarm systems. This will involve extending these techniques to enable modelling of systems where the size is potentially unbounded and not known at design-time. We will also develop tools that implement these techniques and demonstrate their applicability on protocols from swarm robotics.Robotics and modelling
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
概率多智能体系统中策略属性的参数化验证
DOI： --
发表时间： 2020
期刊：
影响因子： --
作者： [A Lomuscio]
通讯作者： A Lomuscio
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
概率群体系统验证的反抽象技术
DOI： --
发表时间： 2019
期刊：
影响因子： --
作者： [Lomuscio A]
通讯作者： Lomuscio A
Verifying Fault-Tolerance in Probabilistic Swarm Systems
验证概率群体系统中的容错能力
DOI： 10.24963/ijcai.2020/46
发表时间： 2020
期刊：
影响因子： --
作者： [Lomuscio A]
通讯作者： Lomuscio A
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
验证概率群体系统中有限时间属性的出现
DOI： 10.24963/ijcai.2018/56
发表时间： 2018
期刊：
影响因子： --
作者： [Lomuscio A]
通讯作者： Lomuscio A
国内基金
海外基金
基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    居维竹
  • 依托单位：
    江苏省人民医院
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    40万元
  • 批准年份：
    2020
  • 负责人：
    Vikrant Gupta
  • 依托单位：
    南方科技大学
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
  • 批准号：
    81771933
  • 项目类别：
    面上项目
  • 资助金额：
    50.0万元
  • 批准年份：
    2017
  • 负责人：
    周全红
  • 依托单位：
    上海交通大学
基于Multilevel Model的雷公藤多苷致育龄女性闭经预测模型研究