The ultimate goal of the project is to help the electric grid become more reliable even when a large amount of electricity is generated from green, but intermittent - sources such as solar and wind. To deal with this intermittency, inexpensive sources of energy storage are required. Instead of investing in batteries, this project seeks to obtain cheap storage by manipulating power demand in consumer loads through intelligent decision-making algorithms.

Abstract: Inherent vulnerabilities of information and communication technology systems to cyber-attacks (e.g., malware) impose significant security risks to Cyber-Physical Systems (CPS). This is evidenced by a number of recent accidents. Noticeably, current distributed control of CPS is not really attack-resilient (ensuring task completion despite attacks). Although provable resilience would significantly lift the trustworthiness of CPS, existing defenses are rather ad-hoc and mainly focus on attack detection.

Abstract: GRID 2020: The power grid in the U.S. and many regions of the world is undergoing changes because of new technologies and government mandates. It is believed that smart meters and a smarter grid will lead to more efficient use of our infrastructure. In addition, increased renewable energy integration will provide power at low cost.

Abstract:  The project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-increasing demands necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers.

Abstract: The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.

Abstract: Despite the integration of advanced cyber technologies in monitoring and communication in electric power networks, design and development of control systems, and in particular, Remedial Action Schemes (RAS) tend to evolve at a very slow pace. The objective of this research is to study new distributed system modeling techniques to faithfully capture the physical and communication  system characteristics  as well as the "wave" like propagation of some disturbances.