课题基金 / 基金详情

Proposal for Hybrid Systems Workshop; March 25-28, 2004, Philadelphia, PA

Proposal for Hybrid Systems Workshop; March 25-28, 2004, Philadelphia, PA
混合系统研讨会提案;
批准号:
0401049
负责人:
Rajeev Alur
金额:
$2.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-04-15 至 2005-03-31

项目摘要

项目成果

Rajeev Alur的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The HSCC 2004 {Seventh International Workshop on Hybrid Systems: Computation and Control, and a satellite workshop devoted to foundations and applications of Robustness, Abstractions and Computations, were held March 25-28, 2004 in Philadelphia on the campus of the University of Pennsylvania. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The emphasis is on the interdisciplinary nature of the topic, bringing together researchers in computer science and control engineering. HSCC 2004 includes tracks on the use of hybrid systems in computational biology and a special session devoted to foundations of Robustness, Abstractions and Computation. NSF support enables participation by U.S. graduate and undergraduate students in hybrid systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning
  • 批准号:
    2331783
  • 项目类别:
    Standard Grant
  • 资助金额:
    $150.0万
  • 财政年份:
    2023
  • 负责人:
    Rajeev Alur
  • 依托单位:
CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data
  • 批准号:
    1763514
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2018
  • 负责人:
    Rajeev Alur
  • 依托单位:
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
  • 批准号:
    1703791
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2017
  • 负责人:
    Rajeev Alur
  • 依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
  • 批准号:
    1138996
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $375.0万
  • 财政年份:
    2012
  • 负责人:
    Rajeev Alur
  • 依托单位:
国内基金
海外基金
一种经心房覆膜血管支架植入 Hybrid Fontan 手术的 临床新技术研究
基于深度压缩技术的Hybrid像素探测器读出系统原型机研制
  • 批准号:
    11875146
  • 项目类别:
    面上项目
  • 资助金额:
    62.0万元
  • 批准年份:
    2018
  • 负责人:
    王东
  • 依托单位:
模拟胰岛“hybrid”修饰抗原诱导tolDC免疫保护1型糖尿病β细胞研究
  • 批准号:
    81770777
  • 项目类别:
    面上项目
  • 资助金额:
    56.0万元
  • 批准年份:
    2017
  • 负责人:
    顾愹
  • 依托单位:
PSMA靶向Hybrid-SiO2基纳米诊疗剂用于前列腺癌HIFU治疗及增效机制研究
  • 批准号:
    81601499
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    17.0万元
  • 批准年份:
    2016
  • 负责人:
    姚明华
  • 依托单位: