Computer systems are increasingly coming to be relied upon to augment or replace human operators in controlling mechanical devices in contexts such as transportation systems, chemical plants, and medical devices, where safety and correctness are critical. A central problem is how to verify that such partially automated or fully autonomous cyber-physical systems (CPS) are worthy of our trust. One promising approach involves synthesis of the computer implementation

A smart and connected community (S&CC) will utilize distributed sensors and embedded computing to seamlessly generate meaningful interpretations that would be of great benefit to individuals, the community, and society, in general. Although rapidly emerging mobile health technology is already tapping into widely used smartphone infrastructure, data collection using smartphone mobile devices is currently limited by the availability of few integrated sensors (e.g., Inertial measurement unit (IMU), camera, optical sensors, temperature sensor, and GPS).

Robotic devices are excellent candidates for delivering repetitive and intensive practice that can restore functional use of the upper limbs, even years after a stroke. Rehabilitation of the wrist and hand in particular are critical for recovery of function, since hands are the primary interface with the world.  However, robotic devices that focus on hand rehabilitation are limited due to excessive cost, complexity, or limited functionality. A design and control strategy for such devices that bridges this gap is critical.

A general model is developed to study how network routing can be reconfigured quickly without incurring transient congestion. Assuming both initial and target configurations are congestion-free, it is known that transient congestion may still occur during the reconfiguration process if links contain a mix of traffic flows following old and new routing rules, resulting from variation of switch reaction time and propagation delay differences among paths. We consider these factors by explicitly incorporating timing uncertainty intervals into the model.

This project concerns real-time implementations of networked control strategies on distributed embedded systems.  Co-design of the implementation platform and control strategies for multiple control applications is addressed. Limited and shared resources among control and non-control applications introduce delays in transmitted messages. Various aspects of these delays are efficiently addressed in this research. Overrun strategies that accommodate variations in the delays have been developed.

This poster presents the Pulsar platform, which can achieve better than 5 nanosecond clock synchronization in an indoor environment combining wireless ultra-wideband communication with a chip-scale atomic clock. We discuss the various challenges in synchronization at nanosecond scales then propose and evaluate a proof-of-concept protocol for the same.

INTRODUCTION

This project aims to create a Holonic Multiagent System (HMAS) architecture to support transactive energy market of “active consumers” engaged in buying and selling electricity (locally generated from resources such as rooftop solar photovoltaic) in response to real time electricity pricing.  The architecture should require little change to the existing investment in power distribution systems while allowing for the dynamic, adaptive control required to integrate active consumers with current and future combinations of high-variability distributed power sources, such as PV generators a