NSF Frontiers Projects
The goal of the CPS program is to develop the core system science needed to engineer complex cyber-physical systems upon which people can depend with high confidence. The program aims to foster a research community committed to advancing research and education in CPS and to transitioning CPS science and technology into engineering practice. By abstracting from the particulars of specific systems and application domains, the CPS program seeks to reveal cross-cutting fundamental scientific and engineering principles that underpin the integration of cyber and physical elements across all application sectors. To expedite and accelerate the realization of cyber-physical systems in a wide range of applications, the CPS program also supports the development of methods, tools, and hardware and software components based upon these cross-cutting principles, along with validation of the principles
Frontier projects must address clearly identified critical CPS challenges that cannot be achieved by a set of smaller projects. Funding may be requested for a total of $1,000,001 to $7,000,000 for a period of 4 to 5 years.
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.
ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
The ROSELINE project seeks to develop new clocking technologies, synchronization protocols, operating system methods, as well as control and sensing algorithms. Cyber physical systems depend on precise knowledge of time to infer location, control communication, and accurately coordinate activities. CPS are critical to real-time situational awareness and control of a broad and growing range of applications, including autonomous cars and aircraft autopilot systems, advanced robotic devices, medical devices, energy-efficient buildings, advanced manufacturing and modern agriculture, among others.
SONYC: A Cyber-Physical System for Monitoring, Analysis and Mitigation of Urban Noise Pollution
This Frontier award supports the SONYC project, a smart cities initiative focused on developing a cyber-physical system (CPS) for the monitoring, analysis and mitigation of urban noise pollution. Noise pollution is one of the topmost quality of life issues for urban residents in the U.S. with proven effects on health, education, the economy, and the environment.
Software Definded Control for Smart Manufacturing Systems
Software-Defined Control (SDC) is a revolutionary methodology for controlling manufacturing systems that uses a global view of the entire manufacturing system, including all of the physical components (machines, robots, and parts to be processed) as well as the cyber components (logic controllers, RFID readers, and networks).
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
This NSF Cyber-Physical Systems (CPS) Frontier project "Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems (VeHICaL)" is developing the foundations of verified co-design of interfaces and control for human cyber-physical systems (h-CPS) --- cyber-physical systems that operate in concert with human operators.