Abstract: This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of                    formal specification languages.

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: 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.

Context dependent control of smart artificial hands through enhanced touch perception and mechatronic reflexes

The objective of this research is to address challenges posed by the man-machine interface. Couched in the specifics of neuroprosthetic hands, this research seeks to develop transformative methods of human-machine communication and control to enhance the capabilities of currently-limited physical resources. In the grand vision of cyber-physical systems, these advancements translate into (i) communication of tactile sensation from a remote end-effector to a human user, (ii) division of control based on the spatial and temporal capabilities of the syst