This website is for a collaborative National Science Foundation research project.

With the rapid development of computer, communication, and control technologies, modern engineering systems consist of many distributed and networked physical plants, control units, and other devices. These networked systems are vulnerable to cyber attacks. The principal objective of this project is to develop formal methodologies to synthesize control logic for cyber-secure and resilient control of networked dynamic systems subject to attacks on their communication, sensing, or actuation infrastructure.

By providing formal methodologies to detect cyber attacks and synthesize provably-resilient control logic for networked systems, this work will enhance the reliability and performance of advanced control systems that embed complex control logic in their control structure. The developments in this project will be model-based, thereby ensuring their applicability to a large class of technological networked systems subject to cyber attacks. In particular, power grids with high penetration of renewable energy sources and electric vehicles will be considered, a technological area of considerable societal importance.


Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.