Layered T&E for Safety-Critical Autonomous Systems

Project description (typically about a paragraph)

Current participants: Josefine Graebener (Postdoc, Aero) Kellan Moorse (PhD student, CNS) Additional participants:

Collaborators: Past participants: Apurva Badithela (Alumni, CDS) Kimia Hassibi (Alumni, CS) Inigo Incer (Alumni, CMS)

Objectives

File:Project-name.png

Description of the main objectives of the project

References

• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray. Submitted, IEEE Transactions on Robotics, 2024.
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. Inigo Incer, Noel Csomay-Shanklin, Aaron Ames, Richard M. Murray. To appear, 2024 Conference on Decision and Control (CDC).
• Efficient local validation of partially ordered models via Baysian directed sampling. Kellan Moorse and Richard Murray. Submitted, 2024 American Control Conference (ACC).
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia. Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023.

Research supported by the AFOSR Test and Evaluation program, grant FA9550-22-1-0333

Agency: AFOSR Grant number: FA9550-22-1-0333

Start date: 30 Sep 2022 End date: 29 Sep 2025

Support: 1 postdoc, 1-2 graduate students Reporting: Annual program review + report