Visible to the public CAREER: Practical Algorithms and Fundamental Limits for Complex Cyber-Physical SystemsConflict Detection Enabled

Project Details
Lead PI:Sertac Karaman
Performance Period:03/01/14 - 02/29/20
Institution(s):Massachusetts Institute of Technology
Sponsor(s):National Science Foundation
Award Number:1350685
956 Reads. Placed 409 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract: 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. Undergraduate and graduate courses that make substantial contributions to the embedded systems education at 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.