This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications. The vision of the 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. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.

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. The fundamental research in this program advances state-of-the-art along four different dimensions, namely (1) real-time, hybrid optimal control algorithms for power management, (2) power-management in mobile sensor networks, (3) distributed power-aware architectures for infrastructure management, and (4) power-management in embedded multi-core processors. The expected outcome, which is to enable low-power devices to be deployed in a more effective manner, has implications on a number of application domains, including distributed sensor and communication networks, and intelligent and efficient buildings. The team represents both a research university (Georgia Institute of Technology) and an undergraduate teaching university (York College of Pennsylvania) in order to ensure that the educational components are far-reaching and cut across traditional educational boundaries. The project involves novel, inductive-based learning modules, where graduate students team with undergraduate researchers.

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. Longer term it is hoped that the data collection approach and initial visualization tools developed in Chattanooga can be used to support a nationwide, open access dissemination platform on the order of Google's StreetView, but called PollutionView. Such scaling of the project's pilot results through a PollutionView tool will contribute significantly to a transformation of the Environmental Public Health field in the United States. The project involves real-time big data analysis at a fine-grain geographic level. This will involve trades with sensing and computing especially if the sensor package is to be deployed at scale. The project will help determine if real-time allergen collection and visualization can improve health and wellness. Thus, this project will combine Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A working demonstration of this project will be presented during the Global City Teams meeting in June 2015 with an update in June 2016. Airborne particulate matter particularly affects the citizens of Chattanooga, TN. The objectives of this project are twofold: first, to develop and deploy an array of Internet of Things (IoT) in-situ sensors within Chattanooga capable of comprehensively characterizing air quality in real time, including location, temperature, pressure, humidity, the abundance of 6 criterion pollutants (O3, CO, NO, NO2, SO2, and H2S), and the abundance of airborne particulates (10-40 µm), both pollen-sized and smaller PM2.5 (<2.5 µm) particles; and second, to have a pollen validation campaign by deploying an in-situ pollen air sampler in Chattanooga to identify specific pollen types.

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. Differently, mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available. This unique feature calls for new solutions to seamlessly integrate mobile computing with the physical world, including dynamic access to multiple wireless technologies. The required solutions are addressed by (i) creating a network control architecture based on novel predictive hierarchical control and that accounts for characteristics of wireless communication, (ii) developing formal network control models based on in-situ network system identification and cross-layer optimization, and (iii) designing and implementing a reference implementation on a small scale wireless and vehicular test-bed based on law enforcement vehicles. The results can improve all mobile transportation systems such as future taxi control and dispatch systems. In this application advantages are: (i) reducing time for drivers to find customers; (ii) reducing time for passengers to wait; (iii) avoiding and preventing traffic congestion; (iv) reducing gas consumption and operating cost; (v) improving driver and vehicle safety, and (vi) enforcing municipal regulation. Class modules developed on mobile computing and CPS will be used at the four participating Universities and then be made available via the Web.

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. Sensors embedded in BigBelly waste stations in Chicago and other cities will collect data that will allow researchers to explore critical questions that must be understood in order to begin to develop and drive policies, measurement strategies, and predictive computational models related to the feedback loop between traffic flow and air quality. The partnership with BigBelly, with nearly 30,000 waste stations in place globally, provides a channel through which sensors can be deployed in many cities. The project brings together computer science, cyber-physical systems, distributed systems, and sensor systems expertise to explore technical and societal challenges and opportunities of urban-scale embedded systems in the public sphere, initially related to understanding and ultimately managing urban air quality. Sensors embedded in BigBelly waste stations in Chicago and other cities will explore (1) the spatial and temporal dynamics of air quality in urban canyons, informing the sensor network resolution needed to drive traffic change policies and to provide healthy air quality routing information to cyclists and pedestrians; and (2) how urban topology (natural and built) affects these dynamics and associated required measurement resolutions. These are critical questions that must be understood in order to begin to develop and drive policies, measurement strategies, and predictive computational models related to the feedback loop between traffic flow and air quality. Critical challenges include (1) power management with respect to sensor sampling, in-situ processing, and transmission; (2) ensuring data quality; and (3) providing data in forms that are actionable and understandable to policy makers and the general public. All data will be published in near-real time with web-based analysis tools for use by scientists, educators, policy makers, and residents, and with application programming interfaces (API's) for application development. By developing an open source, readily deployed urban embedded systems infrastructure leveraging a widely deployed commercial platform, the project can enable science, education, and outreach in many cities, national parks, and educational institutions worldwide.

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. This work covers several design concerns that are specific to human-CPS such as human computer interfaces, decision support systems and incentives engineering to keep humans engaged with the system. The technology base will include a novel integration platform for allowing (1) integration of spatially and temporally distributed sensor streams; (2) integration of simulation-based decision support systems, (3) development and execution of experiments to understand how advanced decision support tools combined with incentive mechanisms improve the utilization of the transportation infrastructure and user experience. A key aspect of this research will be development of data-driven rider models that can be subsequently used by city engineers for planning purposes. The proposed system will enable a new generation of human-CPS systems where sensing, wireless communication, and data-driven predictive analytics is combined with human decision-making and human-driven actuation (driving and physical infrastructure utilization) to form a control loop. The Smart City Hub provides a generic platform for a number of other services beyond traffic and public transportation, including maps and way finding, municipal communication, emergency management and others. The tools that will be developed will allow researchers and practitioners to more quickly prototype, deploy and experiment with these CPS. To ensure these benefits, the research team will make its research infrastructure freely available as an open-source project. It will also develop educational materials focused on modeling, prototyping and evaluating these applications at scale. In addition, the studies the team will perform will provide new data and new scientific understanding of large-scale human interaction with CPS, which it expects will yield long-term benefits in the design and analysis of such applications.

Smart Cities are complex cyber-physical systems with large human populations adding additional complexity. Instrumentation and modeling are components of a smart city. Regardless, however, of the ubiquity of instrumentation and precision of models, in the end, humans and human teams will make decisions about citywide operations and management, especially in crisis. We contend that the hierarchical nature of contemporary command and control systems can create virtual blind spots in which opportunities or dangers may be invisible to the hierarchy because the necessary information is obscured as it moves between levels of abstraction in the hierarchy. This project will involve teaming with crisis management experts and researchers to develop intelligent agents designed to minimize cognitive load on decision makers, exploit semantic relationships in reports and sensor data to advise of otherwise invisible occurrences, and sequence the actions of ground-level assets to refine causal relationship models to better reflect ongoing developments during crisis and/or event management. This project addresses the following technology gap(s) as it translates from research discovery toward commercial application - a) demonstration of the effectiveness of information presentation and transparency in situations where agents can support and enhance human decision-making without increasing the cognitive workload of the human; b) transfer state-of-the-art foundational research in semantic data and information integration to the complex disaster scenario; c) development of model consistency maintenance tools for automatic update of causal models of various disaster and/or emergency situations. In addition, personnel involved in this project, e.g., graduate students, will receive innovation experiences through the design, development and testing of the model developed. This project will explore transferability of the research results into tools in other application areas such as Pararescuer training, AFRL disaster response system RIPPLE, and Clark County Emergency Management Agency. This project will also have outreach efforts with mentoring high school and undergraduate students at Discovery Lab, Tec^Edge through the Summer at the Edge/Year at the Edge Programs (SATE/YATE).

It is expected that in 25 years, Americans who are 65 years or older will account for about 20% of the whole population. As smart cities are also expected to become a reality within the same timeframe, starting to address the needs and concerns of such a large group becomes an essential part of the design of a future smart city. Here we specifically address the mobility needs of the elderly and those with limited means of transportation. We consider multiple small vehicle options that might provide on-demand or scheduled means of door-to-door transportation. The NSF-EAGER project focuses on examining basic research aspects of sensing and tracking potential sources of vehicle pedestrian collisions in densely crowded situations and socially acceptable distance for collision avoidance. The project will be providing input to the OSU/Columbus Global City Teams Challenge activity SMOOTH (Smart Mobile Operation: OSU Transportation Hub) and related demonstrations and help develop a working system. The key innovative contributions of this EAGER project are: development of a unifying framework for sensing and tracking in mixed traffic situations, acceptable automated driving within pedestrian zones, and evasive road maneuvering to avoid colliding with conventional human driven vehicles.

Millions of mobile applications (apps) are being developed in domains such as energy, health, security, and entertainment. The US FDA expects that there will be 500 million smart phone users downloading healthcare related apps by the end of 2015. Many of these apps will perform interventions to control human physiological parameters such as blood pressure and heart rate. The intervention aspects of the apps can cause dependency problems, e.g., multiple interventions of multiple apps can increase or decrease each other's effects, some of which can be harmful to the user. Detecting and resolving these dependencies are the main goals of this project. Success in this research can significantly improve the safety of home health care. This project will develop EyePhy, a completely new approach to primary and secondary dependency analysis for wellness and mobile medical apps based on smart phones. The approach offers personalized dependency analysis and accounts for time dependent interventions such as time interval for which a drug or other intervention is effective. To do that, EyePhy uses a physiological simulator called HumMod which was developed by the medical community to model the complex interactions of the human physiology using over 7800 variables. Among the goals of EyePhy are the reduction of app developers' effort in specifying dependency metadata compared to state of the art solutions, offering personalized dependency analysis for the user, and identifying problems in real time, as medical app products are being used. Such dependency problems occur mainly because (i) each app is developed independently without knowing how other apps work and (ii) when an app performs an intervention to control its target parameters (e.g., blood pressure), it may affect other physiological parameters (e.g., kidney) without even knowing it. A priori proofs that individual cyber-physical systems (CPS) app devices are safe cannot guarantee how it will be used and with which other (future) apps it may be run concurrently. It is becoming more common for people to use multiple apps. The average person will not understand how multiple apps might affect his health due to hidden dependencies among a large number of parameters. Consequently, a tool such as EyPhy is critical to future deployments of safe mobile medical apps.