Abstract: Functional electrical stimulation (FES) is a promising technology for activating muscles in spinal cord injured (SCI) patients. The objective of our project is to develop an intuitive user interface and control system that allows high-­‐level tetraplegic patients to regain the use of their own arm.

Abstract: Today, the assembly of safety-critical software involves many distinct agents, including control engineers and software engineers. Due in part to the existing regulatory framework, little, if any, semantic information is passed from control engineers (who specify the real-time software) to software engineers (who implement the specifications). As a result, high-level, system-wide information is lost at the time of software assembly, and only during system validation do software specification and semantics re-appear.

Abstract: The research is along two directions and a number of results have been published or submitted. Physical side: Algorithms have been developed to detect isotopes based on the ideas of group positive Lasso and the total least squares. Two papers have been either published or to appear in Radiation Measurements. Cyber-side: The research focused on detection of unknown sources.

Abstract: Processors in cyber‐physical systems are increasingly being used in applications where they must operate in harsh ambient conditions and a computational workload which can lead to high chip temperatures. Examples include cars, robots, aircraft and spacecraft. High operating temperatures accelerate the aging of the chips, thus increasing transient and permanent failure rates. Current ways to deal with this mostly turn off the processor core or drastically slow it down when some part of it is seen to exceed a given temperature threshold.

Abstract: This project seeks to develop a systemic approach to facilitate the efficient co-design of both the control (physical) and computer (cyber) sides of a cyber-physical system (CPS). Designing a CPS requires substantial inter-disciplinary activity. System design complexity is compounded by this multi-domain nature, precluding model and algorithm development within a single framework. Controlled-plant dynamics are the domain of control theory.

Abstract: The objective of this research is to define programming abstractions and theories of computation with temporal semantics for distributed cyber-­‐physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics and to study the semantics of such a coordination language. The coordination language is a visual modeling language that is based on a rigorous discrete-­‐event concurrent model of computation.

Abstract: Critical infrastructure systems – electricity grids, transportation networks, gas and water distribution networks – serve the needs of millions of people with extraordinary reliability. These large-scale systems comprise 106 − 108 individual elements (humans and hardware) whose actions are inconsequential in isolation but profoundly important in aggregate. This proposal focuses on coordination of these elements in smart infrastructure systems with integrated ubiquitous sensing, communications, computation, and control.

Abstract: Executive Summary

Abstract: A primary objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications.  Under this common theme, the PIs have taken a data analytics perspective to explore rigorous approaches in modeling, optimization, and control of wind generation integration.

Abstract: The goal of this project is to develop fundamental theory, computationally efficient algorithms, and real- world experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. We envision a nearby future in which roads will be populated by networks of smart vehicles that will cooperate with each other, with the surrounding infrastructure, and with their drivers to make transportation safer, more enjoyable, and more efficient.