Abstract: Traditionally, buildings have been viewed as mere energy consumers; however, with the new power grid infrastructure and distributed energy resources, buildings can not only consume energy, but they can also output energy. As a result, this project removes traditional boundaries between buildings in the same cluster or between the cluster and power grids, transforming individual smart buildings into NetZero building clusters enabled by cyber-support tools.

Abstract: Critical physical infrastructures, such as electrical grids and water networks etc., are increasingly controlled through a distributed cyber-systems which make it vulnerable to attacks. This project is devoted to developing the foundations of security of such cyber-physical systems.

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.