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.

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.

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.

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.

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.

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.

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.

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.

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.