CPS: Medium: Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
Lead PI:
Aaron Ames
Co-PI:
Abstract

The goal of this project is to advance the state of the art in autonomous Cyber-Physical Systems (CPS) by integrating tools from computer science and control theory. With the rise in deployment of autonomous CPS--from automotive to aerospace to robotic systems--there is a pressing need to verify and validate properties of these systems and thereby ensure their safe operation. The work will help establish the scientific basis for test and evaluation methods applicable to CPS, especially as they interact with other agents and the world in highly dynamic ways. This has the potential to inform the development and deployment of complex CPS in a variety of application domains: from (semi-) autonomous cars, to safety features in aviation, to robotic systems for industrial applications and space exploration. The appeal of dynamic CPS will be utilized to broaden participation in computing and engineering.

The vision of this project is to establish the scientific foundations for the verification and validation of highly dynamic safety-critical CPS operating in complex environments. The key novelty is a rigorous approach that leverages control barrier functions on the underlying nonlinear dynamics to provide guarantees of set invariance yielding: safety-critical abstractions on which to specify and verify desired properties, formal methods certifying system-level designs against those properties, and design rules that allow adaptation and machine learning to be integrated with control barrier functions thereby preserving system safety and performance specifications. Proof-of-concept experimental demonstrations will be performed on CPS that are autonomous, dynamic and safety-critical, e.g., robotic systems.

This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

Performance Period: 10/01/2019 - 09/30/2024
Institution: California Institute of Technology
Sponsor: NSF
Award Number: 1932091
Abstract

lmnop

Performance Period: 11/14/1979 - 11/14/2079
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1234567

Call for Papers: NASA Formal Methods 2024

Call for Papers

Call for Papers

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification processes. There is an increasing need for autonomous systems in  deep space systems including NASA’s Moon to Mars exploration plans.

Call for Workshops, Tutorials and Competitions: Cyber-Physical Systems and Internet-of-Things Week

Call for Workshops & Tutorials

Call for Workshops, Tutorials and Competitions

Researchers from academia and industry are invited to submit proposals for workshops, tutorials, and competitions to be held as part of CPS-IoT Week 2024 in Hong Kong, China on May 13-16, 2024.

Important Dates:

  • Proposal submission deadline: November 7th, 2023­­
  • Notification of acceptance: November 14th, 2023

1. Workshop Proposals

Workshop proposals should include:

Call for Papers: Hybrid Systems: Computation and Control (HSCC) 2024

Call for Papers

Scope

Hybrid Systems: Computation and Control (HSCC) 2024 is the 27th in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems, with an emphasis on computational aspects.

"Signal Jamming Defense Not up to the Task? These Researchers Have a Solution"

"Signal Jamming Defense Not up to the Task? These Researchers Have a Solution"

As growing and maturing data services demand faster Internet speeds and operating systems call for better security, hackers and adversaries continue to interfere. For some, this involves infiltrating home and office wireless networks to steal personal or business information. These attackers often use high-powered signal jamming devices, which are wireless portable devices that impede devices' communication with each other. These jammers also serve as a defense for users trying to avoid these attacks.

Submitted by Amy Karns on

CPS PI Meeting 2024 (Save the Dates!)

Submitted by Regan Williams on

Visit the CPS PI Meeting 2024 Site

The thirteenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) will be held Tuesday, March 19th (arrival night) - Wednesday, March 20 & Thursday, March 21 (meeting days) in Nashville, Tennessee at Vanderbilt University's Student Life Center located at 310 25th Ave S, Nashville, TN 37212.

Subscribe to