课题基金 / 基金详情

Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems

Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
批准号:
RGPIN-2017-04543
负责人:
Mitchell, Ian
金额:
$4.95万
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2021
资助国家:
加拿大
项目状态:
已结题
起止时间:
2021-01-01 至 2022-12-31

项目摘要

项目成果

Mitchell, Ian的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
continuous reachability; control verification; cyber-physical systems; human in the loop; level set methods; model checking; robot motion planning; shared control
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
  • 批准号:
    RGPIN-2017-04543
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.48万
  • 财政年份:
    2020
  • 负责人:
    Mitchell, Ian
  • 依托单位:
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
  • 批准号:
    RGPIN-2017-04543
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.48万
  • 财政年份:
    2019
  • 负责人:
    Mitchell, Ian
  • 依托单位:
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
  • 批准号:
    RGPIN-2017-04543
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.48万
  • 财政年份:
    2018
  • 负责人:
    Mitchell, Ian
  • 依托单位:
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
  • 批准号:
    RGPIN-2017-04543
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.48万
  • 财政年份:
    2017
  • 负责人:
    Mitchell, Ian
  • 依托单位:
海外基金