刷新
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
相似国自然基金
基于CRISPR-CAS系统和微流控技术的DNA计算逻辑门模型
- 批准号：
- 批准年份：2022
- 资助金额：53 万元
- 项目类别：面上项目
忆阻存内逻辑计算多目标综合映射方法研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
忆阻存内逻辑计算多目标综合映射方法研究
- 批准号：62202483
- 批准年份：2022
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
基于V/R-R新结构的忆阻器存内逻辑计算研究
- 批准号：
- 批准年份：2022
- 资助金额：52 万元
- 项目类别：面上项目
基于V/R-R新结构的忆阻器存内逻辑计算研究
- 批准号：62274070
- 批准年份：2022
- 资助金额：52.00 万元
- 项目类别：面上项目
相似海外基金
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