Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications

信息物理网络:基础、构造修正控制设计和应用

基本信息

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

项目摘要

control systems; control theory; correct-by-construction control design; cyber-physical systems; formal methods; hybrid systems; networks; power systems; robotics; temporal logic synthesis
控制系统;控制理论;按构校正控制设计;cyber-physical系统;正式的方法;混合动力系统;网络;电力系统;机器人技术;时间逻辑综合

项目成果

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

Liu, Jun其他文献

Carbon as a hard template for nano material catalysts
碳作为纳米材料催化剂的硬模板
  • DOI:
    10.1016/s1003-9953(11)60357-5
  • 发表时间:
    2012-05
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Zhu, Kake;Sun, Junming;Zhang, He;Liu, Jun;Wang, Yong
  • 通讯作者:
    Wang, Yong
Cooperative microbial interactions drive spatial segregation in porous environments.
  • DOI:
    10.1038/s41467-023-39991-4
  • 发表时间:
    2023-07-15
  • 期刊:
  • 影响因子:
    16.6
  • 作者:
    Wu, Yichao;Fu, Chengxia;Peacock, Caroline L.;Sorensen, Soren J.;Redmile-Gordon, Marc A.;Xiao, Ke-Qing;Gao, Chunhui;Liu, Jun;Huang, Qiaoyun;Li, Zixue;Song, Peiyi;Zhu, Yongguan;Zhou, Jizhong;Cai, Peng
  • 通讯作者:
    Cai, Peng
Direct-current triboelectricity generation by a sliding Schottky nanocontact on MoS2 multilayers
  • DOI:
    10.1038/s41565-017-0019-5
  • 发表时间:
    2018-02-01
  • 期刊:
  • 影响因子:
    38.3
  • 作者:
    Liu, Jun;Goswami, Ankur;Thundat, Thomas
  • 通讯作者:
    Thundat, Thomas
Reversible low-field magnetocaloric effect in Ni-Mn-In-based Heusler alloys
Ni-Mn-In基Heusler合金中的可逆低场磁热效应
  • DOI:
    10.1103/physrevmaterials.3.084409
  • 发表时间:
    2019-08-14
  • 期刊:
  • 影响因子:
    3.4
  • 作者:
    Liu, Jun;You, Xinmin;Bruck, Ekkes
  • 通讯作者:
    Bruck, Ekkes
Dietary Palygorskite Clay-Adsorbed Nano-ZnO Supplementation Improves the Intestinal Barrier Function of Weanling Pigs.
  • DOI:
    10.3389/fnut.2022.857898
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    5
  • 作者:
    Yu, Lihuai;Liu, Jun;Mao, Junzhou;Peng, Zhong;Zhong, Zhaoxing;Wang, Hongrong;Dong, Li
  • 通讯作者:
    Dong, Li

Liu, Jun的其他文献

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

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

Formal Methods for Control of Cyber-Physical Systems: Theory, Algorithms, and Implementations
信息物理系统控制的形式化方法:理论、算法和实现
  • 批准号:
    RGPIN-2022-03363
  • 财政年份:
    2022
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Hybrid Systems and Control
混合系统和控制
  • 批准号:
    CRC-2021-00106
  • 财政年份:
    2022
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Canada Research Chairs
Hybrid Systems And Control
混合系统和控制
  • 批准号:
    CRC-2016-00118
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Canada Research Chairs
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
信息物理网络:基础、构造修正控制设计和应用
  • 批准号:
    RGPIN-2016-04139
  • 财政年份:
    2020
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Hybrid Systems and Control
混合系统和控制
  • 批准号:
    CRC-2016-00118
  • 财政年份:
    2020
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Canada Research Chairs
Hybrid Systems and Control
混合系统和控制
  • 批准号:
    CRC-2016-00118
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Canada Research Chairs
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
信息物理网络:基础、构造修正控制设计和应用
  • 批准号:
    RGPIN-2016-04139
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Design and implementation of shared autonomy protocols for unmanned ground vehicles
无人地面车辆共享自主协议的设计与实现
  • 批准号:
    544041-2019
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Engage Grants Program
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
信息物理网络:基础、构造修正控制设计和应用
  • 批准号:
    RGPIN-2016-04139
  • 财政年份:
    2018
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Hybrid Systems and Control
混合系统和控制
  • 批准号:
    CRC-2016-00118
  • 财政年份:
    2018
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Canada Research Chairs

相似国自然基金

面向智能电网基础设施Cyber-Physical安全的自治愈基础理论研究
  • 批准号:
    61300132
  • 批准年份:
    2013
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: CPS: Medium: Real-time Criticality-Aware Neural Networks for Mission-critical Cyber-Physical Systems
合作研究:CPS:中:用于关键任务网络物理系统的实时关键性感知神经网络
  • 批准号:
    2038658
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Standard Grant
Studentship in Cyber Physical Community Energy Networks
网络物理社区能源网络学生奖学金
  • 批准号:
    2600319
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Studentship
Cyber physical security of Congestion Management in Distribution Networks using Demand Side Management
使用需求侧管理的配电网络拥塞管理的网络物理安全
  • 批准号:
    534672-2019
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Collaborative Research: CPS: Medium: Real-time Criticality-Aware Neural Networks for Mission-critical Cyber-Physical Systems
合作研究:CPS:中:用于关键任务网络物理系统的实时关键性感知神经网络
  • 批准号:
    2038817
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Standard Grant
Collaborative Research: CPS: Medium: Real-time Criticality-Aware Neural Networks for Mission-critical Cyber-Physical Systems
合作研究:CPS:中:用于关键任务网络物理系统的实时关键性感知神经网络
  • 批准号:
    2038923
  • 财政年份:
    2021
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Standard Grant
CIF: Small: Strategic Information Provision for the Control of Cyber-Socio-Physical Transportation Networks
CIF:小型:控制网络-社会-物理运输网络的战略信息提供
  • 批准号:
    2007604
  • 财政年份:
    2020
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Standard Grant
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
信息物理网络:基础、构造修正控制设计和应用
  • 批准号:
    RGPIN-2016-04139
  • 财政年份:
    2020
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Networks: Foundations, Correct-by-Construction Control Design, and Applications
信息物理网络:基础、构造修正控制设计和应用
  • 批准号:
    RGPIN-2016-04139
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber physical security of Congestion Management in Distribution Networks using Demand Side Management
使用需求侧管理的配电网络拥塞管理的网络物理安全
  • 批准号:
    534672-2019
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
CPS: Small: Trajectory-Based Cyber-Physical Networks: Theoretical Foundation and a Practical Implementation
CPS:小型:基于轨迹的网络物理网络:理论基础和实际实现
  • 批准号:
    1932326
  • 财政年份:
    2019
  • 资助金额:
    $ 2.62万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了