Layered T&E for Safety-Critical Autonomous Systems
From Murray Wiki
Jump to navigationJump to search
Project description (typically about a paragraph)
Current participants:
Additional participants: |
Collaborators: Past participants:
|
Objectives
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
|
|
|