Layered T&E for Safety-Critical Autonomous Systems: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{subst:project boilerplate}} {{Project |Title=Layered T&E for Safety-Critical Autonomous Systems |Agency=AFOSR |Grant number=FA9550-22-1-0333 |Start date=30 Sep 2022 |End date=29 Sep 2025 |Support summary=1 postdoc, 1-2 graduate students |Reporting requirements=Annual program review + report |Project ID=AFOSR T&E2 |ack=Research supported by the AFOSR Test and Evaluation program, grant FA9550-22-1-0333 }}") |
No edit summary |
||
| Line 23: | Line 23: | ||
{{project paper list}} | {{project paper list}} | ||
[[Category: | [[Category:Current projects]] | ||
[[Category:NCS projects]] --> | |||
{{Project | {{Project | ||
|Title=Layered T&E for Safety-Critical Autonomous Systems | |Title=Layered T&E for Safety-Critical Autonomous Systems | ||
Revision as of 22:37, 18 December 2022
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
|
|
|
