Project Grant N000142612041

This Project Grant award from the National Science Foundation Division of Computing and Communication Foundations, under the Computer and Information Science and Engineering federal grant program (CFDA 47.070), provides $174,985 to develop a methodology and software framework for model-based repair of cyber-physical systems to improve resiliency. The University of Dayton Research Institute will utilize formal analysis techniques and develop two main software tools - a model transformation tool...

This $540,362 National Science Foundation (NSF) Engineering Program (CFDA 47.041) project grant, awarded to the University of Wisconsin-Madison, aims to develop novel methodologies that integrate modeling, detection, and control measures for understanding the cyber-physical resilience of continuous critical manufacturing systems. The key research objectives include: 1) developing generalizable tools for cyber-physical resilience quantification, 2) rethinking cyber-physical resilience-driven...

This $599,989 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program on September 1, 2025, aims to develop explainable and trustworthy integrated cyber-physical systems (I-CPS) capable of justifying their decisions and incorporating user domain knowledge to adapt to evolving environments. The key technical contributions include: 1) Developing a new explainable architecture with formal explainers to interpret individual...

This $1,722,089 Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to develop rigorous, scientific mechanisms to enable resilience in large-scale cyber-physical systems (CPS) against various perturbations. The award to Purdue University, effective June 15, 2024 through May 31, 2029, will focus on modeling and understanding the impacts of unintended errors, security attacks, unexpected interactions, and...

This $400,601 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to develop rigorous scientific mechanisms that enable resilience in large-scale cyber-physical systems (CPS), with a focus on connected and autonomous transportation systems (CATS). The key research thrusts include: 1) Modeling cyber, physical, and human assets and their interconnections, as well as economic and policy constraints, to...

This $199,867 National Science Foundation project grant supports research at the University of Michigan to develop formal methodologies for synthesizing cyber-secure and resilient control logic for networked discrete-event systems subject to cyber attacks. Funded under the NSF Engineering program (CFDA 47.041), the three-year project commencing September 2022 aims to enhance the reliability of advanced control systems through model-based approaches. Researchers will extend diagnosability...

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

This Project Grant award from the National Science Foundation (NSF) Engineering program (CFDA 47.041) provides $199,542 to Purdue University to develop reaction mechanisms and experimental validation frameworks to mitigate the impact of sophisticated cyber attacks on smart power distribution systems. The key objectives are to: 1) investigate vulnerabilities of load tap changers (LTCs) in power distribution systems to cyber attacks targeting voltage collapse; 2) design primary and backup reaction...

This three-year Project Grant from the National Science Foundation's Division of Computer and Network Systems and Computer and Information Science and Engineering program (CFDA 47.070) provides $500,000 to Stanford University to develop risk-aware planning and control strategies for safe human-cyber physical system interactions. The award will advance the state-of-the-art in cyber-physical-human system planning and control through computationally tractable risk-aware trajectory planning...

This $200,000 National Science Foundation Project Grant supports research at Michigan State University to develop data-driven modeling techniques for securing cyber-physical systems. Funded under the Computer and Information Science and Engineering program (CFDA 47.070), the two-year award will create automated strategies using reinforcement learning to characterize attacker intent. Researchers will integrate defense approaches combining game theory, reinforcement learning and Bayesian...