Visible to the public Data-Driven Cyberphysical Systems Provably Correct Control in Data Rich/Labels Scarce Scenarios

The overall goal of this project is to develop theory, methods and tools necessary to take advantage of data in the design, certification, manufacturing and operation of cyberphysical systems. The central question we ask is "How can we, in a data-rich world, design and operate cyberphysical systems differently?" Data-driven techniques will help transform the design process of cyberphysical systems into one in which data and models--and human designers and operators--continuously and fluently interact.