Synthesis of invariant controllers
Synthesis of invariant controllers
批准号:
41803-1999
负责人:
StDenis, Richard
金额:
$1.22万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2000
资助国家:
加拿大
项目状态:
已结题
起止时间:
2000-01-01 至 2001-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
-
批准号:41803-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2017
-
负责人:StDenis, Richard
-
依托单位:
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
-
批准号:41803-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2016
-
负责人:StDenis, Richard
-
依托单位:
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
-
批准号:41803-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2015
-
负责人:StDenis, Richard
-
依托单位:
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
-
批准号:41803-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2014
-
负责人:StDenis, Richard
-
依托单位:
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
-
批准号:41803-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2013
-
负责人:StDenis, Richard
-
依托单位:
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
-
批准号:41803-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.43万
-
财政年份:2012
-
负责人:StDenis, Richard
-
依托单位:
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
-
批准号:41803-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.43万
-
财政年份:2011
-
负责人:StDenis, Richard
-
依托单位:
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
-
批准号:41803-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.43万
-
财政年份:2010
-
负责人:StDenis, Richard
-
依托单位:
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
-
批准号:41803-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.43万
-
财政年份:2009
-
负责人:StDenis, Richard
-
依托单位:
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
-
批准号:41803-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.43万
-
财政年份:2008
-
负责人:StDenis, Richard
-
依托单位:
Virtual manufacturing processes/procédés de fabrication virtuels
-
批准号:41803-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2007
-
负责人:StDenis, Richard
-
依托单位:
Virtual manufacturing processes/procédés de fabrication virtuels
-
批准号:41803-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2006
-
负责人:StDenis, Richard
-
依托单位:
Equipments for developing software synthesis methods
-
批准号:345180-2007
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$2.31万
-
财政年份:2006
-
负责人:StDenis, Richard
-
依托单位:
Virtual manufacturing processes/procédés de fabrication virtuels
-
批准号:41803-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2005
-
负责人:StDenis, Richard
-
依托单位:
Virtual manufacturing processes/procédés de fabrication virtuels
-
批准号:41803-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2004
-
负责人:StDenis, Richard
-
依托单位:
Virtual manufacturing processes/procédés de fabrication virtuels
-
批准号:41803-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2003
-
负责人:StDenis, Richard
-
依托单位:
Synthesis of invariant controllers
-
批准号:41803-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:2002
-
负责人:StDenis, Richard
-
依托单位:
Synthesis of invariant controllers
-
批准号:41803-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:2001
-
负责人:StDenis, Richard
-
依托单位:
Synthesis of invariant controllers
-
批准号:41803-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.22万
-
财政年份:1999
-
负责人:StDenis, Richard
-
依托单位:
Méthode de conception et validation de spécifications basées sur les connaissances du domaine d'application
-
批准号:41803-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.66万
-
财政年份:1994
-
负责人:StDenis, Richard
-
依托单位:
国内基金
海外基金
Lienard系统的不变代数曲线、可积性与极限环问题研究
-
批准号:12301200
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:钱欣洁
-
依托单位:
VIP对树突状细胞DC-SIGN、Ii的影响在胃癌免疫逃逸中的作用
-
批准号:30960429
-
项目类别:地区科学基金项目
-
资助金额:24.0万元
-
批准年份:2009
-
负责人:李国华
-
依托单位:
辛几何中的开“格罗莫夫-威腾”不变量
-
批准号:10901084
-
项目类别:青年科学基金项目
-
资助金额:16.0万元
-
批准年份:2009
-
负责人:赫海龙
-
依托单位: