Part 1: Upper-limb motor impairments arise from a wide range of clinical conditions including amputations, spinal cord injury, or stroke. Addressing lost hand function, therefore, is a major focus of rehabilitation interventions; and research in robotic hands and hand exoskeletons aimed at restoring fine motor control functions gained significant speed recently. Integration of these robots with neural control mechanisms is also an ongoing research direction. We will develop prosthetic and wearable hands controlled via nested control that seamlessly blends neural control based on human brain activity and dynamic control based on sensors on robots. These Hand Augmentation using Nested Decision (HAND) systems will also provide rudimentary tactile feedback to the user. The HAND design framework will contribute to the assistive and augmentative robotics field. The resulting technology will improve the quality of life for individuals with lost limb function. The project will help train engineers skilled in addressing multidisciplinary challenges. Through outreach activities, STEM careers will be promoted at the K-12 level, individuals from underrepresented groups in engineering will be recruited to engage in this research project, which will contribute to the diversity of the STEM workforce. Part 2: The team previously introduced the concept of human-in-the-loop cyber-physical systems (HILCPS). Using the HILCPS hardware-software co-design and automatic synthesis infrastructure, we will develop prosthetic and wearable HAND systems that are robust to uncertainty in human intent inference from physiological signals. One challenge arises from the fact that the human and the cyber system jointly operate on the same physical element. Synthesis of networked real-time applications from algorithm design environments poses a framework challenge. These will be addressed by a tightly coupled optimal nested control strategy that relies on EEG-EMG-context fusion for human intent inference. Custom distributed embedded computational and robotic platforms will be built and iteratively refined. This work will enhance the HILCPS design framework, while simultaneously making novel contributions to body/brain interface technology and assistive/augmentative robot technology. Specifically we will (1) develop a theoretical EEG-EMG-context fusion framework for agile HILCPS application domains; (2) develop theory for and design novel control theoretic solutions to handle uncertainty, blend motion/force planning with high-level human intent and ambient intelligence to robustly execute daily manipulation activities; (3) further develop and refine the HILCPS domain-specific design framework to enable rapid deployment of HILCPS algorithms onto distributed embedded systems, empowering a new class of real-time algorithms that achieve distributed embedded sensing, analysis, and decision making; (4) develop new paradigms to replace, retrain or augment hand function via the prosthetic/wearable HAND by optimizing performance on a subject-by-subject basis.

This project aims to design algorithmic techniques to perform activity discovery, recognition, and prediction from sensor data. These techniques will form the foundation for the science of Activity- Prediction Cyber-Physical Systems, including potential improvement in the responsiveness and adaptiveness of the systems. The outcome of this work is also anticipated to have important implications in the specific application areas of health care and sustainability, two priority areas of societal importance. The first application will allow for health interventions to be provided that adapt to an individual's daily routine and operate in that person's everyday environment. The second application will offer concrete tools for building automation that improve sustainability without disrupting an individual's current or upcoming activities. The project investigators will leverage existing training programs to involve students from underrepresented groups in this research. Bi-annual tours and a museum exhibit will reach K-12 teachers, students and visitors, and ongoing commercialization efforts will ensure that the designed technologies are made available for the public to use. Deploying activity-predictive cyber-physical systems "in the wild" requires a number of robust computational components for activity learning, knowledge transfer, and human-in- the-loop computing that are introduced as part of this project. These components then create cyber physical systems that funnel information from a sensed environment (the physical setting as well as humans in the environment), to activity models in the cloud, to mobile device interfaces, to the smart grid, and then back to the environment. The proposed research centers on defining the science of activity-predictive cyber-physical systems, organized around the following thrusts: (1) the design of scalable and generalizable algorithms for activity discovery, recognition, and prediction; (2) the design of transfer learning methods to increase the the ability to generalize activity-predictive cyber-physical systems; (3) the design of human-in-the-loop computing methods to increase the sensitivity of activity-predictive cyber-physical systems; (4) the introduction of evaluation metrics for activity-predictive cyber-physical systems; and (5) transition of activity-predictive cyber-physical systems to practical applications including health monitoring/intervention and smart/sustainable cities.

As information technology has transformed physical systems such as the power grid, the interface between these systems and their human users has become both richer and much more complex. For example, from the perspective of an electricity consumer, a whole host of devices and technologies are transforming how they interact with the grid: demand response programs; electric vehicles; "smart" thermostats and appliances; etc. These novel technologies are also forcing us to rethink how the grid interacts with its users, because critical objectives such as stability and robustness require effective integration among the many diverse users in the grid. This project studies the complex interweaving of humans and physical systems. Traditionally, a separation principle has been used to isolate humans from physical systems. This principle requires users to have preferences that are well-defined, stable, and quickly discoverable. These assumptions are increasingly violated in practice: users' preferences are often not well-defined; unstable over time; and take time to discover. Our project articulates a new framework for interactions between physical systems and their users, where users' preferences must be repeatedly learned over time while the system continually operates with respect to imperfect preference information. We focus on the area of power systems. Our project has three main thrusts. First, user models are rethought to reflect the fact this new dynamic view of user preferences, where even the users are learning over time. The second thrust focuses on developing a new system model that learns about users, since we cannot understand users in a "single-shot"; rather, repeated interaction with the user is required. We then focus on the integration of these two new models. How do we control and operate a physical system, in the presence of the interacting "learning loops", while mediating between many competing users? We apply ideas from mean field games and optimal power flow to capture, analyze, and transform the interaction between the system and the ongoing preference discovery process. Our methods will yield guidance for market design in power systems where user preferences are constantly evolving. If successful, our project will usher in a fundamental change in interfacing physical systems and users. For example, in the power grid, our project directly impacts how utilities design demand response programs; how smart devices learn from users; and how the smart grid operates. In support of this goal, the PIs intend to develop avenues for knowledge transfer through interactions with industry. The PIs will also change their education programs to reflect a greater entanglement between physical systems and users.

Computation is everywhere. Greeting cards have processors that play songs. Fireworks have processors for precisely timing their detonation. Computers are in engines, monitoring combustion and performance. They are in our homes, hospitals, offices, ovens, planes, trains, and automobiles. These computers, when networked, will form the Internet of Things (IoT). The resulting applications and services have the potential to be even more transformative than the World Wide Web. The security implications are enormous. Internet threats today steal credit cards. Internet threats tomorrow will disable home security systems, flood fields, and disrupt hospitals. The root problem is that these applications consist of software on tiny low-power devices and cloud servers, have difficult networking, and collect sensitive data that deserves strong cryptography, but usually written by developers who have expertise in none of these areas. The goal of the research is to make it possible for two developers to build a complete, secure, Internet of Things applications in three months. The research focuses on four important principles. The first is "distributed model view controller." A developer writes an application as a distributed pipeline of model-view-controller systems. A model specifies what data the application generates and stores, while a new abstraction called a transform specifies how data moves from one model to another. The second is "embedded-gateway-cloud." A common architecture dominates Internet of Things applications. Embedded devices communicate with a gateway over low-power wireless. The gateway processes data and communicates with cloud systems in the broader Internet. Focusing distributed model view controller on this dominant architecture constrains the problem sufficiently to make problems, such as system security, tractable. The third is "end-to-end security." Data emerges encrypted from embedded devices and can only be decrypted by end user applications. Servers can compute on encrypted data, and many parties can collaboratively compute results without learning the input. Analysis of the data processing pipeline allows the system and runtime to assert and verify security properties of the whole application. The final principle is "software-defined hardware." Because designing new embedded device hardware is time consuming, developers rely on general, overkill solutions and ignore the resulting security implications. The data processing pipeline can be compiled into a prototype hardware design and supporting software as well as test cases, diagnostics, and a debugging methodology for a developer to bring up the new device. These principles are grounded in Ravel, a software framework that the team collaborates on, jointly contributes to, and integrates into their courses and curricula on cyberphysical systems.

This project develops advanced cyber-physical sensing, modeling, control, and optimization methods to significantly improve the efficiency of algal biomass production using membrane bioreactor technologies for waste water processing and algal biofuel. Currently, many wastewater treatment plants are discharging treated wastewater containing significant amounts of nutrients, such as nitrogen, ammonium, and phosphate ions, directly into the water system, posing significant threats to the environment. Large-scale algae production represents one of the most promising and attractive solutions for simultaneous wastewater treatment and biofuel production. The critical bottleneck is low algae productivity and high biofuel production cost. The previous work of this research team has successfully developed an algae membrane bioreactor (A-MBR) technology for high-density algae production which doubles the productivity in an indoor bench-scale environment. The goal of this project is to explore advanced cyber-physical sensing, modeling, control, and optimization methods and co-design of the A-MBR system to bring the new algae production technology into the field. The specific goal is to increase the algal biomass productivity in current practice by three times in the field environment while minimizing land, capital, and operating costs. Specifically, the project will (1) adapt the A-MBR design to address unique new challenges for algae cultivation in field environments, (2) develop a multi-modality sensor network for real-time in-situ monitoring of key environmental variables for algae growth, (3) develop data-driven knowledge-based kinetic models for algae growth and automated methods for model calibration and verification using the real-time sensor network data, and (4) deploy the proposed CPS system and technologies in the field for performance evaluations and demonstrate its potentials. This project will demonstrate a new pathway toward green and sustainable algae cultivation and biofuel production using wastewater, addressing two important challenging issues faced by our nation and the world: wastewater treatment and renewable energy. It will provide unique and exciting opportunities for mentoring graduate students with interdisciplinary training opportunities, involving K-12 students, women and minority students. With web-based access and control, this project will convert the bench-scale and pilot scale algae cultivation systems into an exciting interactive online learning platform to educate undergraduate and high-school students about cyber-physical system design, process control, and renewable biofuel production.

In the recent past the term "Smart Cities" was introduced to mainly characterize the integration into our daily lives of the latest advancements in technology and information. Although there is no standardized definition of Smart Cities, what is certain is that it touches upon many different domains that affect a city's physical and social capital. Smart cities are intertwined with traffic control systems that use advanced infrastructures to mitigate congestion and improve safety. Traffic control management strategies have been largely focused on improving vehicular traffic flows on highways and freeways but arterials have not been used properly and pedestrians are mostly ignored. This work proposes to introduce a novel hierarchical adaptive controls paradigm to urban network traffic control that will adapt to changing movement and interaction behaviors from multiple entities (vehicles, public transport modes, bicyclists, and pedestrians). Such a paradigm will leverage several key ideas of cyber-physical systems to rapidly and automatically pin-point and respond to urban arterial congestion thereby improving travel time and reliability for all modes. Safety will also be improved since advanced warnings actuated by the proposed cyber-physical system will alert drivers to congested areas thereby allowing them to avoid these areas, or to adapt their driving habits. Such findings have a tangible effect on the well-being, productivity, and health of the traveling public. The primary goal is to create a Cyber-Control Network (CCN) that will integrate seamlessly across heterogeneous sensory data in order to create effective control schemes and actuation sequences. Accordingly, this project introduces a Cyber-Physical architecture that will then integrate: (i) a sub-network of heterogeneous sensors, (ii) a decision control substrate, and (iii) a sub-actuation network that carries out the decisions of the control substrate (traffic control signals, changeable message signs). This is a major departure from more prevalent centralized Supervisory Control And Data Acquisition (SCADA), in that the CCN will use a hierarchical architecture that will dynamically instantiate the sub-networks together to respond rapidly to changing cyber-physical interactions. Such an approach allows the cyber-physical system to adapt in real-time to salient traffic events occurring at different scales of time and space. The work will consequently introduce a ControlWare module to realize such dynamic sub-network reconfiguration and provide decision signal outputs to the actuation network. A secondary, complementary goal is to develop a heterogeneous sensor network to reliably and accurately monitor and identify salient arterial traffic events. Other impacts of the project include the integration of the activities with practitioners (e.g., traffic engineers), annual workshops/tutorials, and outreach to K-12 institutions.

Laboratory-on-a-chip (LoC) technology is poised to improve global health through development of low-cost, automated point-of-care testing devices. In countries with few healthcare resources, clinics often have drugs to treat an illness, but lack diagnostic tools to identify patients who need them. To enable low-cost diagnostics with minimal laboratory support, this project will investigate domain-specific LoC programming language and compiler design in conjunction with device fabrication technologies (process flows, sensor integration, etc.). The project will culminate by building a working LoC that controls fluid motion through electronic signals supplied by a host PC; a forensic toxicology immunoassay will be programmed in software and executed on the device. This experiment will demonstrate benefits of programmable LoC technology including miniaturization (reduced reagent consumption), automation (reduced costs and uncertainties associated with human interaction), and general-purpose software-programmability (the device can execute a wide variety of biochemical reactions, all specified in software). Information necessary to reproduce the device, along with all software artifacts developed through this research effort, will be publicly disseminated. This will promote widespread usage of software-programmable LoC technology among researchers in the biological sciences, along with public and industrial sectors including healthcare and public health, biotechnology, water supply management, environmental toxicity monitoring, and many others. This project designs and implements a software-programmable cyber-physical laboratory-on-a-chip (LoC) that can execute a wide variety of biological protocols. By integrating sensors during fabrication, the LoC obtains the capability to send feedback in real-time to the PC controller, which can then make intelligent decisions regarding which biological operations to execute next. To bring this innovative and transformative platform to fruition, the project tackles several formidable research challenges: (1) cyber-physical LoC programming models and compiler design; (2) LoC fabrication, including process flows and cyber-physical sensor integration; and (3) LoC applications that rely on cyber-physical sensory feedback and real-time decision-making. By constructing a working prototype LoC, and programming a representative feedback-driven forensic toxicology immunoassay, the project demonstrates that the proposed system can automatically execute biochemical reactions that require a closed feedback loop. Expected broader impacts of the proposed work include reduced cost and increased reliability of clinical diagnostics, engagement with U.S. companies that use LoC technology, training of graduate and undergraduate students, increased engagement and retention efforts targeting women and underrepresented minorities, student-facilitated peer-instruction at UC Riverside, a summer residential program for underrepresented minority high-school students at the University of Tennessee, collaborations with researchers at the Oak Ridge National Laboratory, and creation, presentation, and dissemination of tutorial materials to promote the adoption and use of software-programmable LoCs among the wider scientific community.

Electricity usage of buildings (including offices, malls and residential apartments) represents a significant portion of a nation's energy expenditure and carbon footprint. Buildings are estimated to consume 72% of the total electricity production in the US. Unfortunately, however, 30% of this energy consumption is wasted. Virtual energy assessment is an approach that can optimize building energy efficiency and minimize waste at a low cost with minimal expert intervention. A virtual energy audit includes a thorough and near real time analysis of different sources of building energy usage, individualized energy footprints of load appliances and devices, and proactive identification of energy holes and air leakages. This project builds a low cost solution that combines the use of non-intrusive single point energy monitoring and low cost IR cameras to provide continuous energy audits. The system will provide continuous virtual audit reports to the landlords or residential users. The system will be deployed in low-income neighborhoods in Baltimore City, Maryland, where poor insulation problems are assumed to be fiscally insurmountable and low cost solutions to determining these issues is important for the landlords. To develop a scalable low cost virtual energy auditing system, this breakthrough research pursues the interfaces of smart building sensing, computing and actuation. The project will be executed under three main research thrust areas. First, it utilizes an autonomous discovery, profiling and rule-based predictive model to capture the relationship between disaggregated power measures and a device's actual usage patterns to pinpoint any abnormal consumption. Second, the PIs develop zero-energy far-infrared imaging sensors for low cost low frequency heat map scanning and air leakage detection. Third, the project engineers and evaluates cyber-physical building sensing system with a control level design perspective for virtual energy auditing that drives the realization of deep energy savings and building efficiency. Additionally, the PIs with collaboration from Constellation will host building energy education projects and workshop where undergraduate, high school, and underrepresented group of students would understand how to design and program energy meters and smart plugs.

Infrastructure networks are the foundation of the modern world. Their continued reliable and efficient function without exhausting finite natural resources is critical to the security, continued growth and technological advancement of the United States. Currently these systems are in a state of rapid flux due to a collision of trends such as growing populations, expanding integration of information technology, and increasing motivation to adopt sustainable practices. These trends beget both exciting potential benefits and dangerous challenges. Added sensing, communication, and computational capabilities hold the promise of increased reliability, efficiency and sustainability from "smart" infrastructure systems. At the same time, new technologies such as renewable energy resources in power systems, autonomous vehicles, and software defined communication networks, are testing the limits of current operational and market policies. The rapidly changing suite of system components can cause new, unforeseen interactions that can lead to instability, performance deterioration, or catastrophic failures. Achieving the full benefits of these systems will require a shift from the existing focus on approaches that analyze each aspect of interest in isolation, to a more holistic view that encompasses all of the relevant factors such as stability, robustness, performance and efficiency, and takes into account the presence of human participants. This project provides a research roadmap to construct analysis, design and control tools that ensure the seamless integration of computational algorithms, physical components and human interactions in next generation infrastructure systems. Although there has been a great deal of research on stability questions in large scale distributed systems, there has been little effort directed toward questions of performance, robustness and efficiency in these systems, especially those with heterogeneous components and human participants. This research employs coupled oscillator systems as a common modeling framework to (i) characterize stability and performance of infrastructure systems, and (ii) develop distributed controllers that guarantee performance, efficiency and robustness by isolating disturbances and optimizing performance objectives. Practical solutions require that the theory be tightly integrated with the economic mechanisms necessary to incentivize users to enhance system stability, efficiency and reliability; therefore the work will also include the design of economic controls. In order to ground the mathematical foundations, theory and algorithms described above, the results will be applied to three target infrastructure networks where coupled oscillator models have played a foundational role in design and control: power, communication, and transportation systems. This approach allows the development of cross-cutting, fundamental principles that can be applied across problem specific boundaries and ensures that the research makes an impact on these specific infrastructure networks. This project will also incorporate concepts into existing undergraduate and graduate courses.

Infrastructure networks are the foundation of the modern world. Their continued reliable and efficient function without exhausting finite natural resources is critical to the security, continued growth and technological advancement of the United States. Currently these systems are in a state of rapid flux due to a collision of trends such as growing populations, expanding integration of information technology, and increasing motivation to adopt sustainable practices. These trends beget both exciting potential benefits and dangerous challenges. Added sensing, communication, and computational capabilities hold the promise of increased reliability, efficiency and sustainability from "smart" infrastructure systems. At the same time, new technologies such as renewable energy resources in power systems, autonomous vehicles, and software defined communication networks, are testing the limits of current operational and market policies. The rapidly changing suite of system components can cause new, unforeseen interactions that can lead to instability, performance deterioration, or catastrophic failures. Achieving the full benefits of these systems will require a shift from the existing focus on approaches that analyze each aspect of interest in isolation, to a more holistic view that encompasses all of the relevant factors such as stability, robustness, performance and efficiency, and takes into account the presence of human participants. This project provides a research roadmap to construct analysis, design and control tools that ensure the seamless integration of computational algorithms, physical components and human interactions in next generation infrastructure systems. Although there has been a great deal of research on stability questions in large scale distributed systems, there has been little effort directed toward questions of performance, robustness and efficiency in these systems, especially those with heterogeneous components and human participants. This research employs coupled oscillator systems as a common modeling framework to (i) characterize stability and performance of infrastructure systems, and (ii) develop distributed controllers that guarantee performance, efficiency and robustness by isolating disturbances and optimizing performance objectives. Practical solutions require that the theory be tightly integrated with the economic mechanisms necessary to incentivize users to enhance system stability, efficiency and reliability; therefore the work will also include the design of economic controls. In order to ground the mathematical foundations, theory and algorithms described above, the results will be applied to three target infrastructure networks where coupled oscillator models have played a foundational role in design and control: power, communication, and transportation systems. This approach allows the development of cross-cutting, fundamental principles that can be applied across problem specific boundaries and ensures that the research makes an impact on these specific infrastructure networks. This project will also incorporate concepts into existing undergraduate and graduate courses.