课题基金 / 基金详情

Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering

Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering
混合控制系统的数学、逻辑和计算基础及其在控制工程设计和综合问题中的应用
批准号：
DP0208553
负责人：
Dr Jennifer Davoren
金额：
$11.28万
依托单位：
The University of Melbourne
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2003
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2003-01-01 至 2006-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP0208553
关键词：
Mathematicallogicalcomputationalfoundationshybrid

项目摘要

项目成果

Dr Jennifer Davoren的其他基金

相似基金

相关文献

中文摘要
翻译
混杂控制系统是由实时与连续物理过程相互作用的数字计算机部件组成的异质系统的数学模型。它们的许多工程应用包括空中交通管制、医疗技术
英文摘要
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)
会议论文
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering
Expressive power and complexity of temporal logics for model-checking
  • 批准号：
    ARC : LX0242359
  • 项目类别：
    Linkage - International
  • 资助金额：
    $1.1万
  • 财政年份：
    2002
  • 负责人：
    Dr Jennifer Davoren
  • 依托单位：
    Australian National University
国内基金
海外基金
基于观测角度的汉语名词性隐喻逻辑释义和评价方法研究
  • 批准号：
    61075058
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2010
  • 负责人：
    苏畅
  • 依托单位：
    厦门大学