Summer School on Cyber-Physical Systems

该奖项支持于2009年6月22日至25日在佐治亚州亚特兰大的佐治亚理工学院举办的第一届网络物理系统暑期学校。NSF基金支持推广，并使美国研究生和早期职业教师能够参与这一国际活动。网络物理系统(CPS)是依赖于计算、通信和控制的紧密集成的系统，其操作和与部署它们所在的物理环境的交互。这样的系统必须能够在潜在的高度不确定或非结构化环境中安全、可靠、可靠、高效和实时地运行。CPS有望在不久的将来产生巨大的技术、经济和社会影响。佐治亚理工学院网络物理系统暑期学校的目标是为来自工业界和学术界的研究人员建立一个关于CPS科学和技术的智力交流论坛。暑期班的形式是为期五天的会议，围绕网络物理系统的不同方面组织。涵盖的主题领域包括：形式化方法、分布式嵌入式系统、网络控制系统、嵌入式软件、调度、平台和应用程序。

This award supports the first Summer School on Cyber-Physical Systems, held at the Georgia Institute of Technology, Atlanta, Georgia, June 22-25, 2009. NSF funds support outreach and enable the participation of US graduate students and early career faculty in this international event.Cyber Physical Systems (CPS) are systems that rely on a tight integration of computation, communication, and controls, for their operation and interaction with the physical environment in which they are deployed. Such systems must be able to operate safely, dependably, securely, efficiently and in real-time, in potentially highly uncertain or unstructured environments. CPS are expected to have great technical, economic and societal impacts in the near future.The objective of the Georgia Tech Summer School on Cyber-Physical Systems is to establish a forum for intellectual exchange on CPS science and technology for researchers from industry and academia. The format of the Summer School is a five-day meeting, organized around the different aspects of Cyber Physical Systems. The topical areas covered include: formal methods, distributed embedded systems, networked control systems, embedded software, scheduling, platforms, and applications.