CAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical Systems

设计能够正确和安全地与物理世界交互的软件是一个重要的网络物理系统设计挑战。拟议的工作包括开发一种新的方法来设计高性能网络物理系统的规划和控制算法。新方法的灵感来自统计力学和随机几何。它将(I)识别网络物理系统中的相变等行为，以及(Ii)利用这种行为来设计具有可证明的正确性和性能保证的实用算法。通过这项研究开发的算法具有立即对工业产生影响的潜力，特别是在实时机器人系统的开发中。这些算法可能会加强快速发展的美国机器人产业。拟议中的研究活动也将使皮？S的教育计划充满活力。将开发对麻省理工学院嵌入式系统教育做出重大贡献的本科生和研究生课程。这些课程将专注于网络物理系统的控制器综合，这是可证明是正确的，这在麻省理工学院目前还没有考虑到。本科生将参与研究活动。

Designing software that can properly and safely interact with the physical world is an important cyber-physical systems design challenge. The proposed work includes the development of a novel approach to designing planning and control algorithms for high-performance cyber physical systems. The new approach was inspired by statistical mechanics and stochastic geometry. It will (i) identify behavior such as phase transitions in cyber-physical systems and (ii) capitalize this behavior in order to design practical algorithms with provable correctness and performance guarantees. The algorithms developed through this research effort hold the potential for immediate industrial impact, particularly in the development of real-time robotic systems. These algorithms may strengthen the rapidly developing U.S. robotics industry. The proposed research activity will also vitalize the PI?s educational plans. Undergraduateand graduate courses that make substantial contributions to the embedded systems educationat MIT will be developed. The classes will focus on provably-correct controller synthesis for cyber-physical systems, which is currently not thought at MIT. Undergraduate students will be involved in research activities.