Abstract: As devices in the world around us are increasingly connected, the possibilities about how to use these devices and the data have exploded. Many of these scenarios such as home automation and office productivity require software tools beyond data visualizations, to express user intents, check for bugs, and ensure interactions do not cause harm to the users and physical world.

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.

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

Abstract: A primary objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications.  Under this common theme, the PIs have taken  a  data  analytics  perspective  to  explore  rigorous  approaches  in  modeling, optimization, and control of wind generation integration.