This project explores balancing performance considerations and power consumption in cyber-physical systems, through algorithms that switch among different modes of operation (e.g., low-power/high-power, on/off, or mobile/static) in response to environmental conditions. The main theoretical contribution is a computational, hybrid optimal control framework that is connected to a number of relevant target applications where physical modeling, control design, and software architectures all constitute important components.

A wide range of health outcomes is affected by air pollution. In March 2014 the World Health Organization (WHO) released a report that in 2012 alone, a staggering 7 million people died as a result of air pollution exposure, one in eight of total global deaths. A major component of this pollution is airborne particulate matter, with approximately 50 million Americans have allergic diseases. This project will develop and field the first integrated IoT in-situ sensor package tracking pollution and pollen to provide airborne particulate mapping for Chattanooga.

The proposal is to enable students from educational institutions in the United States to attend the CPSWeek 2015 collection of conferences, which are to be held April 13-17, 2015, in Seattle, Washington. CPSWeek is an annual international multi-conference for Cyber-Physical Systems, comprising five major multi-day conferences, multiple one-day workshops and tutorials. It moves from country to country each year.

The project investigates a formal verification framework for artificial pancreas (AP) controllers that automate the delivery of insulin to patients with type-1 diabetes (T1D). AP controllers are safety critical: excessive insulin delivery can lead to serious, potentially fatal, consequences. The verification framework under development allows designers of AP controllers to check that their control algorithms will operate safely and reliably against large disturbances that include patient meals, physical activities, and sensor anomalies including noise, delays, and sensor attenuation.

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.

Water is a critical resource and a lifeline service to communities worldwide; the generation, treatment, distribution and maintenance of water workflows is typically managed by local governments and water districts. Recent events such as water supply disruptions caused by Hurricane Sandy in 2012 and the looming California drought crisis clearly indicate society's dependence on critical lifeline services such as water and the far-reaching impacts that its disruption can cause. Over the years, these critical infrastructures have become more complex and often more vulnerable to failures.

Water is a critical resource and a lifeline service to communities worldwide; the generation, treatment, distribution and maintenance of water workflows is typically managed by local governments and water districts. Recent events such as water supply disruptions caused by Hurricane Sandy in 2012 and the looming California drought crisis clearly indicate society's dependence on critical lifeline services such as water and the far-reaching impacts that its disruption can cause. Over the years, these critical infrastructures have become more complex and often more vulnerable to failures.

The concept of a "smart city" is ubiquitous with data; however, most urban data today lacks the spatial and temporal resolution to understand processes that unfold on timescales of seconds or minutes, such as the dispersion of pollutants. A better understanding of these dynamics can provide information to residents, cyclists or pedestrians who may wish to use air quality data as they navigate urban spaces. This project leverages existing street furniture, integrating air quality and environmental sensors into commercial solar powered, networked waste stations.

The objective of this research is to understand the complexities associated with integration between humans and cyber-physical systems (CPS) at large scales. For this purpose, the team will develop and demonstrate the application of Smart City Hubs focusing on intelligent transportation services in urban settings. Ultimately, this project will produce innovative tools and techniques to configure and deploy large-scale scale experiments enabling the study of how humans affect the control loops in large CPS such as smart cities.

Many critical infrastructures, such as the power grid, are complex cyber physical systems (CPS). Protecting these systems against cyber-attacks is of paramount importance to national security and economic well-being. Risk assessment considering cyber-attacks against critical infrastructures is not well understood due to ever growing, dynamic threat landscape coupled with complex cyber-physical interactions in these systems.