2015 CPS PI MTG Videos, Posters, and Abstracts

file

Visible to the public CPS: Breakthrough: Distributed Computing under Uncertainty: A New Paradigm for Cooperative Cyber-Physical Systems

Abstract:

This project is to develop dynamical models of distributed computation systems that are resilient to noise, unreliable communication and other source uncertainty. The key idea is centered on the development of optimization systems. These are dynamical systems that (solve) stabilize around the optimal solution of a (static) convex optimization problem. If the optimization problem is separable, then the designed dynamic system decomposes into a set of locally interacting dynamic systems.

file

Visible to the public A CPS Approach to Robot Design

Abstract:

In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS).

file

Visible to the public Geolocated Allergen Sensing Platform (GASP)

Abstract:

This project combines Cyber Physical Systems (CPS) and gigabit networks to address major health concerns due to air pollution. A working demonstration of this project will be presented during the Global City Teams meeting in June 2015 with an update in June 2016. A wide range of health outcomes is affected by air pollution.

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

file

Visible to the public Learning from Cells for Transport at Micron Scale

Abstract:

The realization of a robust infrastructure that enables simultaneous transport of many micron and smaller sized particles will have a transformative impact on a vast range of areas such as medicine, drug development, electronics, and bio-materials.

file

Visible to the public A Framework for Validation and Monitoring of Robotic Surgery Systems

Abstract:

The objective of this research is the development of a framework for assessing the reliability and safety of robotic surgery systems during development, field testing, and general deployment. The framework uses accurate simulations to assess pre-clinical reliability before deployment. After deployment, the framework uses data collection through online monitoring of the system as it is being used in the field, followed by analysis to obtain assessments of operational reliability and safety.

file

Visible to the public Autonomous Vision-based Construction Project Monitoring

Abstract:

This Cyber-Physical Systems (CPS) project supports research to enable the automated monitoring of building and infrastructure construction projects. The purpose of construction monitoring is to provide developers, contractors, subcontractors, and tradesmen with the information they need to easily and quickly make project control decisions. These decisions have a direct impact on the overall efficiency of a construction project.

file

Visible to the public Power Distribution System for Continuous Operation

Abstract:

Success of numerous long-term robotic network missions in space, air, ground, and water is measured by the ability of the robots to operate for extended time in highly dynamic and potentially hazardous operating environments. The proposed work responds to the urgency for development of innovative mobile power distribution systems that lower deployment and operating costs, while simultaneously increasing mission efficiency, and supporting the network's need to be responsive to changing physical conditions.

file

Visible to the public Human-Machine Interaction with Mobility Enhancing Soft Exosuits

Abstract:

Stroke is the major cause of disability in adults in the western world, often resulting in hemiparesis and severe mobility impairments. Recently, rigid exoskeletons have been introduced for clinic-based gait rehabilitation: these systems can apply high levels of assistance, but also introduce kinematic restrictions and significant additional mass to the patient. As such, these devices are well suited to patients with little to no residual mobility (e.g.

file

Visible to the public Active Regression for Cyber-Physical Systems

Abstract:

One defining feature of cyberphysical systems is the fact that human users are closely intertwined with the physical system. Yet both the system and users themselves are often do not explicitly know how users would behave. A natural question arises: How do we design cyberphysical systems that effectively learn about their users, and optimize system behavior accordingly? This poster presents the idea of active regression as a vehicle to learn about users.