NASA ULI Annual Review 2024
Annual Review Day 1
Timeline:
- Robust and Resilient Autonomy for Advanced Aerial Mobility (opening presentation) – Naira Hovakimyan – 00:00:52
- Systems Integration & Field Deployment Verification (demo plan) – Petros Voulgaris – 00:17:20
- Update On SAFE Flight Testing – James A. Ramsey (LM) – 00:33:25
- Safe Autonomy with Verifiable Data-Driven Control Development – Naira Hovakimyan (TC1) – 01:15:41
- Verse: Code-level Verification of Autonomous Scenarios – Sayan Mitra (TC2) – 01:39:22
- Certifiably Safe and Robust Perception for Learning-enabled Autonomy – Lui Sha (TC1) – 02:05:02
- Robust and Resilient Autonomy For Advance Urban Aerial Mobility – Evangelos Theodorou (TC1) – 02:30:33
- Risk Assessment, Safety Enhancement, and Guardrails for Safe Autonomous Vehicles – Bo Li (TC1) – 03:06:04
- A Bayesian Approach for Testing and Repair – Chuchu Fan (TC2) – 03:30:33
- Guardrails: Realizing CBFs on the VISTA F-16 – Aaron D. Ames (guest speaker) – 04:00:29
Annual Review Day 2
Timeline:
- Runtime Fault Diagnosis (FD) and Reachability Analysis (RA) for in-flight contingency management – 00:00:50
- Hybrid State Filtering with Hidden Markov Models for Fault Diagnosis – Ioannis Raptis (TC3) – 00:27:30
- Reachability Analysis – Melkior Ornik (TC3) – 00:56:16
- Network Logistics and Planning Problems in Airspace Management: A Framework for Parameterized Sequential Decision Making Problems – Srinivasa Salapaka (TC4) – 01:30:20
- Simulation Environment Development for Robust and Resilient Autonomy for Advanced Air Mobility – Petros Voulgaris and Hyung-Jin Yoon (TC4) – 01:55:05
- Testing, Evaluation, and Integration Toward Technology Transfer – Andy J. Smith (SNC, TC4) – 02:25:34
- Systems Integration & Field Deployment Verification – Christos Papachristos (TC4) – 02:51:19
- Outreach: Engaging the Next Generation – Stephanie Ott-Monsivais and Joe Muskin (Outreach) – 03:54:37