2013

file

Visible to the public Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication

Abstract:

The principal objective of this project is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber--physical systems with decentralized information infrastructures and limited communication capabilities. We are interested in distributed cyber-- physical systems where the system components are able to communicate with one another. Cooperative active safety in Intelligent Transportation Systems is our focus cyber--physical application.

file

Visible to the public Compositional System Modeling with Interfaces COSMOI

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, find defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public Analyzing Human User Interactions with Cyber-Physical Systems

Abstract:

Human users are integral to the operation of safety--critical CPS. The goal of this project is to model and analyze the actions of human users along with possible mistakes that may appear in these interactions. We seek to develop approaches that will help us understand the effect of human operator mistakes on the overall system correctness. Our focus is on medical infusion pumps used to deliver drugs to patients.

file

Visible to the public DMREF: Simulation-Based Design of Functional Sub-nanometer Porous Membranes

Abstract:

Polymer thin films containing high-density arrays of nanotubes as through channels are very desirable as environmentally friendly and efficient selective transport systems. However, successful design and synthesis of polymer membranes that can be processed in solution and have precise subnanometer diameter pores, vertical channel alignment, and tunable pore interior chemistry similar to biological transmembrane proteins has remained challenging to produce.

file

Visible to the public Transforming a City’s Transportation Infrastructure through an Embedded Pervasive Communication Network

Abstract:

The objective of this inter-disciplinary research is to develop new wireless technologies that transform the streets of a city into a hybrid transportation/communication system, called the Intelligent Road (iRoad), where autonomous wireless devices are co-located with traffic signals, forming a wireless network that fuses transportation data from all over the city to support a wide range of new applications.

file

Visible to the public Image Guided Autonomous Optical Manipulation of Cell Groups

Abstract:

Optical tweezers (OT) have emerged as very useful tools for manipulating cells. Biologists use them routinely for doing scientific experiments and have made many new important discoveries by utilizing them. By integrating perception, planning, and control, we have turned optical tweezers into robots for precise manipulation of microscale objects. This makes them useful tool for conducting sophisticated biology experiments that require concurrent manipulation of multiple cells.

file

Visible to the public Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling

Abstract:

The collaborative NSF grant IIS-1035917 "Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling" aims to design innovative routing, planning and coordination strategies for robot networks, and their application to oceanography.

file

Visible to the public Plug-and-Play environment for sensor configuration and data collection

Abstract:

The objective of this research is to investigate and implement a software architecture to improve productivity in the development of rapidly deployable, robust, real-time situational awareness and response (R3SAR) applications. The approach is to allow a commodity to device to dynamically configure itself for a pre-instrumented sensor environment, such as a truck with attached road temperature, humidity, and moisture sensors.

file

Visible to the public Cyber-Physical Cloud Computing

Abstract:

We are focused on theoretical work exploring how ideas successful in cloud computing can help CPS at scale. We have two products. One is the "Virtual Vehicle" and the other the "BigActor Model." The first is a mobile counterpart of the virtual machine. There is a tension between the openness of systems, unavoidable in any system at scale, and performance guarantees.