Project Grant W911NF2510183

This Project Grant award was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070). The award will support research to develop a novel compositional framework and computational tools for designing and verifying learning-enabled cyber-physical systems (CPS) that can ensure functional safety and robustness. The $213,679 award to the University of California, Berkeley will leverage stochastic models,...

This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $175,000 in funding to the Regents of the University of Michigan, doing business as the University of Michigan-Dearborn, for a 2-year project from March 2024 to February 2026. The project aims to develop innovative model-based verification techniques to analyze the safety, reliability, and accuracy of cyber-physical systems (CPS) integrated...

This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Program (CFDA 47.070) provides $226,180 to the University of Notre Dame to enhance the security of cyber-physical systems (CPS) that utilize reinforcement learning, such as autonomous vehicles. The project aims to develop innovations that achieve safe and secure reinforcement learning by specifying vulnerabilities in the systems using signal temporal logic and designing...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...

This $413,694 project grant from the National Science Foundation's Computer and Information Science and Engineering program will support the development of formal methods for safe, efficient, and transferable autonomy in cyber-physical systems driven by deep reinforcement learning controllers. Over a three-year period from April 2023 through March 2026, researchers at Washington University in University City, Missouri will pursue three research thrusts: 1) accelerated and safe reinforcement...

This Project Grant award, provided by the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070), supports research to develop a comprehensive framework for end-to-end verification of control systems. The $600,000 award to the Regents of the University of Michigan, spanning from December 2024 to November 2027, aims to bridge the gap between high-level control theory and low-level implementation, providing guarantees on...

The National Science Foundation (NSF) awarded a $188,410 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of California, Berkeley. This 18-month grant, which began on January 1, 2024, supports the development of risk-aware interactive control and planning algorithms to achieve safe cyber-physical-human (CPS-H) systems. The key objectives of this research project are: (i) creating computationally-tractable risk-aware trajectory planning...

This $375,000 project grant from the National Science Foundation's Computer and Information Science and Engineering program will fund the development of new technology to verify network-wide properties of dynamic data planes at Princeton University from October 2022 through September 2025. Specifically, the researchers will create formal specification and verification tools to check network configurations prior to deployment and monitor configurations as they execute. These tools will use a...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) federal grant award (CFDA 47.070) in the amount of $335,482 provides funding for a 3-year collaborative research project to improve the safety of learning-enabled systems through the synthesis of model-free and model-based techniques. The overarching goal is to establish a framework that enables the design and deployment of safe learning-enabled systems capable of operating robustly even in complex...

The National Science Foundation (NSF) has awarded a $850,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) program to the University of California, Los Angeles (UCLA) to develop an efficient human-in-the-loop learning framework for human-centric cyber-physical systems (CPS). The 3-year project aims to create a novel approach to integrate human oversight and intervention into the training of CPS agents, such as assistive driving and exoskeleton systems, to...