Arizona State University

file

Visible to the public Robustness Guided Testing and Verification for Cyber-Physical Systems

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.

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 Architecture and Distributed Management for Reliable Mega-scale Smart Grids

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.

file

Visible to the public Cyber-Physical System Challenges in Man-Machine Interfaces

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