Posters (Sessions 8 & 11)

file

Visible to the public Towards an Intermittent Learning Framework for Smart and Efficient Cyber-Physical Autonomy

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?

file

Visible to the public Towards Dependable Self-Powered Things for the IoT

The IoT requires rethinking of traditional ways of providing power. The environment is a source of mechanical energy that could be converted into electrical energy via the direct piezoelectric effect. In order to have a reliable and sustainable energy supply for low power sensing systems in buildings, vibrational energy harvesting is being pursued. Lead based materials in a piezoelectric compliant mechanism energy harvester can provide up to 3.9 mWcm-2g2 (H.G. Yeo, 2016).

file

Visible to the public Time-Varying Optimization and Real-Time Optimal Power Flow

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.

file

Visible to the public TickTalk: Timing API for Federated Cyber-Physical Systems

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.

file

Visible to the public The Impact of QoT on Estimation and Control

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.

file

Visible to the public System-on-Cloth- A Cloud Manufacturing Framework for Embroidered Wearable Electronics

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.

file

Visible to the public Synthetic, Distributed Sensing, Soft and Modular Tissue (sTISSUE)

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.

file

Visible to the public Synergy: Verified Control of Cooperative Autonomous Vehicles

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.

file

Visible to the public Support for security and safety of programmable IoT systems

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).