Proposal for a Hybrid Systems Workshop

该奖项提供资金，部分支持HSCC'06第九届国际研讨会的组织混合系统：计算和控制，将在圣巴巴拉，加州，从2006年3月29日至3月31日举行。 关于混合系统的年度研讨会吸引了来自学术界和工业界的研究人员，他们对涉及离散和连续行为的动态和反应系统的建模，分析和实施感兴趣。代表性的主题包括建模和表示，分析和验证，可计算性和复杂性，综合和设计，控制和优化，以及混合系统的识别和估计，以及在科学和工程学科中的应用，如生物学，航空电子学，汽车控制，嵌入式系统，制造业和机器人。该研讨会是跨学科的，汇集了来自计算机科学，应用数学和控制工程的研究人员。 该奖项还支持一个名为计算和控制主题的额外活动，该活动将在HSCC'06之前两天（3月27日和28日）举行。在这次活动中，在计算和控制的交叉领域工作的著名研究人员将提供深入的教程演示，涵盖控制和计算的理论和实践方面，特别强调（1）混合系统的计算效率分析方法和（2）新兴的应用领域，如系统生物学和通信与控制之间的相互作用。

This award provides funds to partially support the organization of HSCC'06 Ninth International Workshop on Hybrid Systems: Computation and Control, to be held in Santa Barbara, California, from March 29 to March 31, 2006. 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. Representative topics include modeling and representation, analysis and verification, computability and complexity, synthesis and design, control and optimization, and identification and estimation for hybrid systems, and applications to sciences and engineering disciplines, such as biology, avionics, automotive control, embedded systems, manufacturing, and robotics. The workshop is interdisciplinary and brings together researchers from computer science, applied mathematics, and control engineering. This award also supports an additional event entitled Topics in Computation and Control,which will be held in the two days preceding HSCC'06 (March 27 and 28). In this event, renowned researchers working in domains at the intersection of computation and control will give in depth tutorial presentations covering both theoretical and practical aspects of control and computation, with special emphasis on (1) computationally efficient analysis methods for hybrid systems and (2) emerging application domains such as systems biology and the mutual interaction between communication and control.