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

混合系统研讨会提案；

• 批准号: 0401049
• 负责人: Rajeev Alur
• 金额: $ 2万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-04-15 至 2005-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0401049&HistoricalAwards=false
• 关键词: Proposal; Hybrid; Systems; Workshop; March

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.

2004年3月25日至28日，在费城宾夕法尼亚大学校园内举行了HSCC 2004（第七届混合系统国际研讨会：计算和控制，以及一个专门讨论鲁棒性、抽象和计算的基础和应用的卫星研讨会）。关于混合系统的年度研讨会吸引了来自学术界和工业界的研究人员，他们对涉及离散和连续行为的动态和反应系统的建模，分析和实施感兴趣。重点是该主题的跨学科性质，汇集了计算机科学和控制工程的研究人员。HSCC 2004包括在计算生物学中使用混合系统的轨道，以及专门讨论鲁棒性，抽象和计算基础的特别会议。 NSF的支持使美国研究生和本科生能够参与混合动力系统。