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