In Cyber-Physical Systems (CPS), a physical process is controlled by a pervasive network of embedded computers. In this environment, computation, communication, and the physical environment are so tightly coupled that process dynamics blends into the behavior of computation. A proper design of such systems requires understanding the joint dynamics of computers, software, networks, and physical processes. The project investigates the creation of a foundational theory and a design methodology for Cyber-Physical Systems.