Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
Place project description here. Use
Project description (typically about a paragraph)
Description of the main objectives of the project
- A Model-Free Algorithm for Extremely Resilient Navigation. Christian J. Stromberger, Josefine B. Graebener, James F. Ragan, Richard M. Murray. Submitted, 2023 International Conference on Robotics and Automation (ICRA).
- 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)