National CPS PI Meeting 2013

file

Visible to the public Boolean Microgrid

Abstract:

The Boolean Microgrid (BM) emulates the Internet by supplying discrete power and discrete data over a network link that follows Boolean logic and is not continuous as in a conventional 60-Hz-ac or dc microgrid. BM is thus a highly integrated cyber-physical system (CPS) that features the convergence of control, communication and the physical plant.

file

Visible to the public Safety-Oriented Hybrid Verification of Medical Robotics

Abstract:

Motivation and goal: The whole-system design and modeling of complex medical robotics involves analog sensors and actuators; discrete software controllers; piecewise, non-linear, discontinuous biological tissues/media; and probabilistic human administrators.

In the best case, the failure of such systems risks limb. In the worst, life.

file

Visible to the public Sensor Lattices

Abstract:

Using the newly introduced idea of a sensor lattice, this project conducts a systematic study of the "granularity" at which the world can be sensed and how that affects the ability to accomplish common tasks with cyberphysical systems (CPSs). A sensor is viewed as a device that partitions the physical world states into measurement-invariant equivalence classes, and the sensor lattice indicates how all sensors are related.

file

Visible to the public Control Subject to Human Behavioral Disturbances: Anticipating Behavioral Influences in the Control of Diabetes

Abstract:

This project addresses the design of cyber-physical systems that respond to behavioral disturbances introduced by human users. The primary motivating example of this research is the design of "artificial pancreas" algorithms for the control of blood glucose in patients with Type 1 diabetes who require external insulin throughout the day to maintain glucose homeostasis.

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.