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

Place project description here. Use

Project description (typically about a paragraph)

Current participants: Additional participants: Josefine Graebener (Postdoc, Aero)

Collaborators: Past participants: Christian Stromberger (Alumni, CS (SURF))

Objectives

File:Project-name.png

Description of the main objectives of the project

References

• 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 Conference on Decision and Control (CDC).
• 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 M. Murray. Submitted, Conference on Robotic Learning (CoRL).

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