This project's objective is to enable assertion-driven development and debugging of cyber-physical systems (CPS), in which required conditions are formalized as part of the design. In contrast with traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project uses mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.

Cyber physical systems (CPSs) are merging into major mobile systems of our society, such as public transportation, supply chains, and taxi networks. Past researchers have accumulated significant knowledge for designing cyber physical systems, such as for military surveillance, infrastructure protection, scientific exploration, and smart environments, but primarily in relatively stationary settings, i.e., where spatial and mobility diversity is limited.

This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level.

This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network -- through the use of traffic controls, route advisories and road pricing -- to jointly optimize drivers' mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply.

This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network ? through the use of traffic controls, route advisories and road pricing ? to jointly optimize drivers? mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply.

The goal of this research is to develop a new framework to control teams of mobile robots, cooperating in a beamforming fashion, to transmit information between multiple source-destination pairs, while meeting quality-of-service constraints and consuming minimum power. The approach of this project ensures robust communications and longevity in challenging environments, arising during the transmission of high-rate data, such as video or images, or in environments where there is no line-of-sight.

This project aims to achieve key technology, infrastructure, and regulatory science advances for next generation medical systems based on the concept of medical application platforms (MAPs). A MAP is a safety/security-critical real-time computing platform for: (a) integrating heterogeneous devices and medical IT systems, (b) hosting application programs ("apps") that provide medical utility through the ability to both acquire information and update/control integrated devices, IT systems, and displays.

Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid. The project integrates ideas from economics and behavioral science into frameworks grounded in control theory and power systems.

1239257 (Wu). Traditionally, buildings have been viewed as mere energy consumers; however, with the new power grid infrastructure and distributed energy resources, buildings can not only consume energy, but they can also output energy. As a result, this project removes traditional boundaries between buildings in the same cluster or between the cluster and power grids, transforming individual smart buildings into NetZero building clusters enabled by cyber-support tools.

Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems. Unfortunately, when such systems have safety-critical components, multicore platforms are rarely used. The reason is a lack of predictability associated with hardware components such as caches, memory controllers, etc., that are shared among cores. With current technology, very conservative estimates concerning the usage of these shared resources must be made, to certify that overuse violations do not occur at runtime.