This project explores a new vision of cyber-physical systems (CPSs) in which computing power and control methods are jointly considered. The approach is carried out through exploration of new theories for the modeling, analysis, and design of CPSs that operate under computational constraints. The tight coupling between computation, communication, and control pervades the design and application of CPSs. Due to the complexity of such systems, advanced design procedures that cope with the variability and uncertainty introduced by computing resources are mandatory, though the design choices are across many disciplines, which may result in over-design of a system. The project will have significant impact through the reduction in design and development time for complex cyber physical systems including ground, air, and maritime vehicles.