刷新
{{item.name}}会员
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering
混合控制系统的数学、逻辑和计算基础及其在控制工程设计和综合问题中的应用
基本信息
- 批准号：DP0208553
- 负责人：
- 金额：$ 11.28万
- 依托单位：
- 依托单位国家：澳大利亚
- 项目类别：Discovery Projects
- 财政年份：2003
- 资助国家：澳大利亚
- 起止时间：2003-01-01 至 2006-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technol
混杂控制系统是由实时与连续物理过程相互作用的数字计算机部件组成的异质系统的数学模型。它们的许多工程应用包括空中交通管制、医疗技术
项目成果
期刊论文数量（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 }}
Dr Jennifer Davoren其他文献
Dr Jennifer Davoren的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Dr Jennifer Davoren', 18)}}的其他基金
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering
混合控制系统的数学、逻辑和计算基础及其在控制工程设计和综合问题中的应用
- 批准号：
ARC : DP0208553 - 财政年份：2003
- 资助金额：
$ 11.28万 - 项目类别：
Discovery Projects
Expressive power and complexity of temporal logics for model-checking
用于模型检查的时序逻辑的表达能力和复杂性
- 批准号：
ARC : LX0242359 - 财政年份：2002
- 资助金额：
$ 11.28万 - 项目类别：
Linkage - International
相似国自然基金
基于观测角度的汉语名词性隐喻逻辑释义和评价方法研究
- 批准号：61075058
- 批准年份：2010
- 资助金额：25.0 万元
- 项目类别：面上项目
相似海外基金
Computational LOINC to Support Biomedical Research at Scale
计算 LOINC 支持大规模生物医学研究
- 批准号：
10395413 - 财政年份：2021
- 资助金额：
$ 11.28万 - 项目类别：
Computational LOINC to Support Biomedical Research at Scale
计算 LOINC 支持大规模生物医学研究
- 批准号：
10610911 - 财政年份：2021
- 资助金额：
$ 11.28万 - 项目类别：
Computational LOINC to Support Biomedical Research at Scale
计算 LOINC 支持大规模生物医学研究
- 批准号：
10093337 - 财政年份：2021
- 资助金额：
$ 11.28万 - 项目类别：
computational modelling of the entrainment of the mammalian cell cycle by the circadian clock
生物钟对哺乳动物细胞周期影响的计算模型
- 批准号：
24710230 - 财政年份：2012
- 资助金额：
$ 11.28万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Computational and logical foundations of privacy and security
隐私和安全的计算和逻辑基础
- 批准号：
138744-2010 - 财政年份：2010
- 资助金额：
$ 11.28万 - 项目类别：
Discovery Grants Program - Individual
Computational Logical Verification Method for Cryptographic Protocols
密码协议的计算逻辑验证方法
- 批准号：
21700023 - 财政年份：2009
- 资助金额：
$ 11.28万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
A study of computational architecture using control by fluctuations in nonlinear systems
利用非线性系统波动控制的计算体系结构研究
- 批准号：
21800089 - 财政年份：2009
- 资助金额：
$ 11.28万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering
混合控制系统的数学、逻辑和计算基础及其在控制工程设计和综合问题中的应用
- 批准号：
ARC : DP0208553 - 财政年份：2003
- 资助金额：
$ 11.28万 - 项目类别：
Discovery Projects
Computational and Logical Analysis of Pressuposition
压力假设的计算和逻辑分析
- 批准号：
14580406 - 财政年份：2002
- 资助金额：
$ 11.28万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Logical Study of Interactive Computational Problems Understood as Games
理解为游戏的交互式计算问题的逻辑研究
- 批准号：
0208816 - 财政年份：2002
- 资助金额：
$ 11.28万 - 项目类别：
Standard Grant