Current learning algorithms cannot be easily applied in CPS due to their need for continuous and expensive updates, with the current triggered frameworks having fundamental limitations. Such limitations lead to the following questions. How can we incorporate and fully adapt to totally unknown, dynamic, and uncertain environments? How do we co-design the action and the intermittent schemes? How can we provide quantifiable real-time performance, stability and robustness guarantees by design? And how do we solve congestion and guarantee security?

Future power grids will incorporate a large number of distributed energy resources, which motivates research on real-time online algorithms that optimally control large networked systems. This poster introduces two algorithms for the real-time control of time-varying physical systems, based on recent development in time-varying optimization. The two algorithms take advantage of real-time feedback measurements of the system, are computationally efficient, and are theoretically guaranteed to have bounded suboptimality under certain conditions.

The goal of this research is to enable a broad spectrum of programmers to successfully create apps for distributed computing systems including smart and connected communities, or for systems that require tight coordination or synchronization of time. Creating an application for, say, a smart intersection necessitates gathering information from multiple sources, e.g., cameras, traffic sensors, and passing vehicles; performing distributed computation; and then triggering some action, such as a warning.

Inexpensive computation and ubiquitous embedded sensing, actuation, and communication provide tremendous opportunities for societal impact, but also great challenges in the design of networked control systems, because the traditional unity feedback loop that operates in continuous time or at a fixed sampling rate is not adequate when sensor data arrives from multiple sources, asynchronously, delayed, possibly corrupted, and — especially important for this project — the different entities that participate in the control system do not share a common clock.

Wearable electronics are widely used in health monitoring and wearable computing. The needs for comfort, biocompatibility, and operability call for special attention to new generation technologies.

The goal of this research is to gain a fundamental understanding of the integrated actuation, embedded sensing, reactive control, and distributed control needs of a cyber-physical, synthetic, distributed sensing, soft and modular tissue (sTISSUE). Realizing this cyber-physical, physiological testbed will enable surgically relevant tasks, procedures, and devices to be much more refined ahead of animal testing, which can be dramatically reduced with such high-fidelity simulators.

Verified control algorithms will be developed for the control of autonomous vehicles. Autonomous vehicles are used to perform increasingly complex tasks, safely and reliably, under changing environmental conditions. They promise to fundamentally transform our society in areas such as transportation, logistics, telecommunications, remote sensing and defense.

This project is a collaborative grant involving the University of Michigan (Award number CNS-1646392) and the University of Illinois at Urbana-Champaign (Award number CNS-1646305).