Visible to the public CPS Frontier ProjectsConflict Detection Enabled

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.