CPS PI Poster Session

file

Visible to the public SMARTER -Smart Manager for Adaptive and Real-Time decisions in building clustERs

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.

file

Visible to the public Foundations of Secure Cyber-Physical Systems

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.

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.