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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
SHF: AF: SMALL: Scalable Symbolic Analysis of Hybrid Systems
-
批准号:0915777
-
项目类别:Standard Grant
-
资助金额:$37.64万
-
财政年份:2009
-
负责人:Rajeev Alur
-
依托单位:
SHF: Medium: Formal Analysis of Concurrent Software on Relaxed Memory Models
-
批准号:0905464
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2009
-
负责人:Rajeev Alur
-
依托单位:
Behavioral Interfaces for Software Components
-
批准号:0541149
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2006
-
负责人:Rajeev Alur
-
依托单位:
Synthesis of Embedded Software from Hybrid Models
-
批准号:0410662
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2004
-
负责人:Rajeev Alur
-
依托单位:
WORKSHOP ON EMBEDDED SOFTWARE
-
批准号:0318299
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2003
-
负责人:Rajeev Alur
-
依托单位:
GAMES FOR FORMAL DESIGN AND VERIFICATION OF REACTIVE SYSTEMS
-
批准号:0306382
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Rajeev Alur
-
依托单位:
ITR/SY: Formal Design and Analysis of Hybrid Systems
-
批准号:0121431
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Rajeev Alur
-
依托单位:
Specification, Analysis, and Testing of Scenario-Based Requirements
-
批准号:9970925
-
项目类别:Continuing Grant
-
资助金额:$21.5万
-
财政年份:1999
-
负责人:Rajeev Alur
-
依托单位:
CAREER: Computer-Aided Verification of Reactive Systems
-
批准号:9734115
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:1998
-
负责人:Rajeev Alur
-
依托单位:
国内基金
海外基金
登录
查看更多内容
一种经心房覆膜血管支架植入 Hybrid Fontan 手术的 临床新技术研究
-
批准号:20Y11910600
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2020
-
负责人:殷猛
-
依托单位:
基于深度压缩技术的Hybrid像素探测器读出系统原型机研制
-
批准号:11875146
-
项目类别:面上项目
-
资助金额:62.0万元
-
批准年份:2018
-
负责人:王东
-
依托单位:
模拟胰岛“hybrid”修饰抗原诱导tolDC免疫保护1型糖尿病β细胞研究
-
批准号:81770777
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2017
-
负责人:顾愹
-
依托单位:
PSMA靶向Hybrid-SiO2基纳米诊疗剂用于前列腺癌HIFU治疗及增效机制研究
-
批准号:81601499
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2016
-
负责人:姚明华
-
依托单位:
穿戴式步行辅助的Hybrid控制体系及其据需辅助效应研究
-
批准号:51505048
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2015
-
负责人:张霞
-
依托单位:
波-流-植被耦合环境下射流Hybrid RANS/LES数值模拟研究
-
批准号:51509075
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2015
-
负责人:鲁俊
-
依托单位:
基于Hybrid数据的复杂系统辨识与优化设计及在低渗透油井中的应用
-
批准号:61572084
-
项目类别:面上项目
-
资助金额:67.0万元
-
批准年份:2015
-
负责人:廖锐全
-
依托单位:
Hybrid加速结构的理论及预制研究
-
批准号:11475201
-
项目类别:面上项目
-
资助金额:100.0万元
-
批准年份:2014
-
负责人:裴士伦
-
依托单位:
基于BGM法结合Hybrid同化开展暴雨短期集合预报方法研究
-
批准号:41205073
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:陈超辉
-
依托单位:
基于Hybrid方法的大型冗余驱动机构控制策略研究
-
批准号:51205392
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:沈刚
-
依托单位: