Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
基本信息
- 批准号:RGPIN-2017-05267
- 负责人:
- 金额:$ 3.35万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2021
- 资助国家:加拿大
- 起止时间:2021-01-01 至 2022-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
concurrency; discrete-event systems (DES); fault detection; fault tolerance; formal methods; hierarchical verification; implementation; optimization; supervisory control; timed DES
并发;离散事件系统(DES);故障检测;容错;形式化方法;分级验证;实现;优化;监督控制;定时DES
项目成果
期刊论文数量(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 }}
Leduc, Ryan其他文献
Leduc, Ryan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Leduc, Ryan', 18)}}的其他基金
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2020
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2019
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2018
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2017
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2015
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2014
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2013
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2012
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Extending the hierarchical interface-based supervisory control platform
扩展基于分层接口的监控平台
- 批准号:
250315-2006 - 财政年份:2010
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Extending the hierarchical interface-based supervisory control platform
扩展基于分层接口的监控平台
- 批准号:
250315-2006 - 财政年份:2009
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2020
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2019
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2018
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Complexity and Implementation for Discrete-Event Systems
离散事件系统的复杂性和实现
- 批准号:
RGPIN-2017-05267 - 财政年份:2017
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Design and Implementation of Si-based Optical Discrete Fourier Transformer
硅基光学离散傅里叶变换器的设计与实现
- 批准号:
16K06345 - 财政年份:2016
- 资助金额:
$ 3.35万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2015
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2014
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2013
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Scalability and Implementation Issues for Discrete-Event Systems
离散事件系统的可扩展性和实施问题
- 批准号:
250315-2012 - 财政年份:2012
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual
Design, analysis and implementation of discrete algorithms for graph and computational geometry problems
图和计算几何问题的离散算法的设计、分析和实现
- 批准号:
195732-2006 - 财政年份:2010
- 资助金额:
$ 3.35万 - 项目类别:
Discovery Grants Program - Individual