CPS: Synergy: Collaborative Research: A Cyber-Physical Infrastructure for the "Smart City"

该项目旨在通过交通控制、高效停车服务和电动汽车充电等新的城市活动等工程流程，让城市变得更智能。为此，该研究将研究为城市环境建立网络物理基础设施所需的组件，并解决涉及数据收集、资源分配、实时决策、安全和安保的基本问题。因此，这项研究沿着两个主要方向进行：(I)使用为城市环境设计的新的移动传感器网络范例进行传感和数据获取；(Ii)依靠正式的验证和认证方法以及用于决策和资源分配的创新动态优化技术，为“智慧城市”提供决策支持。这项工作将汇集和建立在不确定条件下的优化、计算机模拟、离散事件和混合系统、控制和博弈、系统安全以及形式验证和安全方面的方法论进步。目标应用包括：停车位优化分配和预留的智能停车系统，以及车辆交通监管。这项研究有可能彻底改变人们对城市的看法：从被动的生活和工作环境转变为高度动态的环境，以新的方式处理交通、能源和安全问题。研究团队与波士顿后湾社区、波士顿市政府和私营行业的利益相关者合作，希望在大学和城市团体之间建立新的合作模式，将尖端研究嵌入到令人兴奋的技术、经济和社会学发展的部署中。

The project aims at making cities "smarter" by engineering processes such as traffic control, efficient parking services, and new urban activities such as recharging electric vehicles. To that end, the research will study the components needed to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security. Accordingly, the research is organized along two main directions: (i) Sensing and data acquisition using a new mobile sensor network paradigm designed for urban environments; and (ii) Decision Support for the "Smart City" relying on formal verification and certification methods coupled with innovative dynamic optimization techniques used for decision making and resource allocation. The work will bring together and build upon methodological advances in optimization under uncertainty, computer simulation, discrete event and hybrid systems, control and games, system security, and formal verification and safety. Target applications include: a "Smart Parking" system where parking spaces are optimally assigned and reserved, and vehicular traffic regulation.The research has the potential of revolutionizing the way cities are viewed: from a passive living and working environment to a highly dynamic one with new ways to deal with transportation, energy, and safety. Teaming up with stakeholders in the Boston Back Bay neighborhood, the City of Boston, and private industry, the research team expects to establish new collaborative models between universities and urban groups for cutting-edge research embedded in the deployment of an exciting technological, economic, and sociological development.