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

共享控制信息物理系统验证、设计、分析和操作的数值算法

基本信息

  • 批准号:
    RGPIN-2017-04543
  • 负责人:
  • 金额:
    $ 4.95万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2021
  • 资助国家:
    加拿大
  • 起止时间:
    2021-01-01 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

continuous reachability; control verification; cyber-physical systems; human in the loop; level set methods; model checking; robot motion planning; shared control
连续可达性;控制验证;网络物理系统;人在循环中;水平集方法;模型检验;机器人运动规划;共享控制

项目成果

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

Mitchell, Ian其他文献

Trends in thyroid cancer demographics and surgical therapy in the United States
  • DOI:
    10.1016/j.surg.2007.09.011
  • 发表时间:
    2007-12-01
  • 期刊:
  • 影响因子:
    3.8
  • 作者:
    Mitchell, Ian;Livingston, Edward H.;Nwariaku, Fiemu E.
  • 通讯作者:
    Nwariaku, Fiemu E.
Cannabidiol as a Harm Reduction Strategy for People Who Use Drugs: A Rapid Review.
Colorectal cancer metastasis: in the surgeon's hands?
Sodium and Health: Old Myths and a Controversy Based on Denial.
  • DOI:
    10.1007/s13668-021-00383-z
  • 发表时间:
    2022-06
  • 期刊:
  • 影响因子:
    4.9
  • 作者:
    Cappuccio, Francesco P.;Campbell, Norm R. C.;He, Feng J.;Jacobson, Michael F.;MacGregor, Graham A.;Antman, Elliott;Appel, Lawrence J.;Arcand, JoAnne;Blanco-Metzler, Adriana;Cook, Nancy R.;Guichon, Juliet R.;L'Abbe, Mary R.;Lackland, Daniel T.;Lang, Tim;McLean, Rachael M.;Miglinas, Marius;Mitchell, Ian;Sacks, Frank M.;Sever, Peter S.;Stampfer, Meir;Strazzullo, Pasquale;Sunman, Wayne;Webster, Jacqui;Whelton, Paul K.;Willett, Walter
  • 通讯作者:
    Willett, Walter
What risk factors for sudden infant death syndrome are preterm and term medically complex infants exposed to at home?
  • DOI:
    10.1093/pch/pxaa070
  • 发表时间:
    2021-06-11
  • 期刊:
  • 影响因子:
    1.9
  • 作者:
    Mitchell, Ian;Wang, Daniel Y.;Lanctot, Krista
  • 通讯作者:
    Lanctot, Krista

Mitchell, Ian的其他文献

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

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

Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2020
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2019
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2018
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2017
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
"Nonlinear Algorithms for Verification, Control, Design and Analysis of Nonlinear Continuous and Hybrid Systems"
“用于非线性连续和混合系统验证、控制、设计和分析的非线性算法”
  • 批准号:
    298211-2012
  • 财政年份:
    2016
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
"Nonlinear Algorithms for Verification, Control, Design and Analysis of Nonlinear Continuous and Hybrid Systems"
“用于非线性连续和混合系统验证、控制、设计和分析的非线性算法”
  • 批准号:
    298211-2012
  • 财政年份:
    2015
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
"Nonlinear Algorithms for Verification, Control, Design and Analysis of Nonlinear Continuous and Hybrid Systems"
“用于非线性连续和混合系统验证、控制、设计和分析的非线性算法”
  • 批准号:
    298211-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
"Nonlinear Algorithms for Verification, Control, Design and Analysis of Nonlinear Continuous and Hybrid Systems"
“用于非线性连续和混合系统验证、控制、设计和分析的非线性算法”
  • 批准号:
    298211-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
"Nonlinear Algorithms for Verification, Control, Design and Analysis of Nonlinear Continuous and Hybrid Systems"
“用于非线性连续和混合系统验证、控制、设计和分析的非线性算法”
  • 批准号:
    298211-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Algorithms and software for the hamilton-jacobi equation and applications in control, robotics and verification
Hamilton-Jacobi 方程的算法和软件以及在控制、机器人和验证中的应用
  • 批准号:
    298211-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号:
    RGPIN-2016-05527
  • 财政年份:
    2021
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Practical Framework for the Formal Verification of Cooperative Mobile Robots Algorithms
协作移动机器人算法形式化验证的实用框架
  • 批准号:
    21K11748
  • 财政年份:
    2021
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2020
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号:
    RGPIN-2016-05527
  • 财政年份:
    2019
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2019
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号:
    RGPIN-2016-05527
  • 财政年份:
    2018
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2018
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
共享控制信息物理系统验证、设计、分析和操作的数值算法
  • 批准号:
    RGPIN-2017-04543
  • 财政年份:
    2017
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号:
    RGPIN-2016-05527
  • 财政年份:
    2017
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Discovery Grants Program - Individual
Parallel Structure-Preserving Algorithms: Theory and Numerical Verification
并行结构保持算法:理论与数值验证
  • 批准号:
    16K17550
  • 财政年份:
    2016
  • 资助金额:
    $ 4.95万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了