CPS Frontier Projects

BioCPS for Engineering Living Cells
The goal of the CPS grant is to create a next-generation Cyber Physical System in which we can engineer populations of bacterial (E.coli) and mammalian (Chinese hamster ovary and human-induced pluripotent stem) cells to form "desired" patterns. This can be achieved through two emerging technologies, Synthetic Biology and Micron-Scale Mobile Robotics.

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
This collaborative project, led by Scott Smolka at Stony Brook University, will develop "Cyberheart"--a platform for virtual, patient-specific human heart models and associated device therapies that can be used to improve and accelerate medical-device development and testing.

Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
The vision of this project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics.

Foundations of Resilient CybEr-Physical Systems (FORCES)
(FORCES) focuses on the resilient design of large-scale networked CPS systems that directly interface with humans. FORCES aims to provide comprehensive tools that allow the CPS designers and operators to combine resilient control (RC) algorithms with economic incentive (EI) schemes. The project is developing RC tools to withstand a wide-range of attacks and faults; learning and control algorithms which integrate human actions with spatio-temporal and hybrid dynamics of networked CPS systems; and model-based design to assure semantically consistent representations across all branches of the project.