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.