Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation

Place project description here. Use

Project description (typically about a paragraph)

Current participants: Josefine Graebener (PhD student, Aero) Additional participants: Christian Stromberger (Undergraduate, CS (SURF))

Collaborators: Past participants:

Objectives

File:Project-name.png

Description of the main objectives of the project

References

• Time-Optimal Navigation in Uncertain Environments with High-Level Specifications (Ugo Rosolia, Mohamadreza Ahmadi, Richard M Murray, Aaron D Ames, To appear, 2021 Conference on Decision and Control (CDC))
• Reactive motion planning with probabilistic safety guarantees (Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D Ames, Richard Murray, Submitted, Conference on Robotic Learning (CoRL))
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture (Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M Murray, Submitted, 2021 American Control Conference)

to insert the standard boilerplate information.

This project is supported by the National Science Foundation (CNS-1932091)

Agency: NSF Grant number: CNS-1932091

Start date: 1 Oct 2019 End date: 30 Sep 2022

Support: 2 graduate students, 1 postdoc Reporting: Annual reports