CPS-PI Meeting 2018

file

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

Submitted by Joao Hespanha on Tue, 01/22/2019 - 8:02pm. Contributor:

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

Submitted by Anonymous on Tue, 01/22/2019 - 8:02pm. Contributor:

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 Synergy: Verified Control of Cooperative Autonomous Vehicles

Submitted by Christoffer Heckman on Tue, 01/22/2019 - 8:02pm. Contributors:

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

Submitted by Darko Marinov on Tue, 01/22/2019 - 8:02pm. Contributors:

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

file

Visible to the public Sound Invariant Generation for Continuous and Hybrid Systems

Submitted by Andre Platzer on Tue, 01/22/2019 - 8:02pm. Contributors:

Invariant generation is crucial to the success of rigorous deductive verification tools for cyber-physical system. We develop a dedicated invariant generation toolbox for the KeYmaera X theorem prover which combines many custom invariant generation methods under a unified framework. Additionally, we develop a generalization of the method of barrier certificates (vector barrier certificates), building on R. Bellman's work on vector Lyapunov functions.

file

Visible to the public Smart Wearables with Feedback Control

Submitted by John Stankovic on Tue, 01/22/2019 - 8:02pm. Contributor:

Recently there is an increasing availability of smart wearables including smart watches, bands, buttons and pendants. Many of these devices are part of human-in-the-loop Cyber Physical Systems (CPS). With future fundamental advances in the intersection of communications, control, and computation for these energy and resource limited devices, there is a great potential to revolutionize many CPS applications.