Project Grant 2146615

This three-year project grant from the National Science Foundation's Engineering Directorate (ENG), funded under the CFDA 47.041 program, provides $299,917 to Wayne State University to develop methodologies for synthesizing cyber-secure and resilient control logic for networked discrete-event systems subject to cyber attacks. The principal objective is to enhance the reliability and performance of advanced control systems that embed complex control logic by providing formal methodologies to detect cyber attacks and synthesize provably-resilient control logic. The researchers will develop model-based approaches applicable to technological networked systems such as power grids with high renewable energy and electric vehicle penetration. In addition to theoretical and algorithmic work, the researchers will investigate smart power grid applications, modeling relevant control and diagnosis problems and constructing a simulation testbed to evaluate the methodologies. The award period runs from September 1, 2022 through August 31, 2025.