Agenda
- Introduction to the DARPA Assured Autonomy Program (DARPA)
- Autonomous
Airborne System Challenges
- Assuring Real-Time Learning-Enabled Flight Software (Boeing)
- Safe Learning in Autonomous Systems (University of California at Berkeley)
- Run-Time Assurance (Collins Aerospace)
- Assurance Cases Applied to Real-Time Autonomous Aviation and Underwater Systems (KBR)
- Autonomous Ground
System Challenges
- Challenge Problems for the DARPA Assured Autonomy Ground Team (US Army & HRL)
- Autonomous
Underwater System Challenges
- Autonomous Underwater System Challenges (Northrop Grumman)
- Verification and assurance tools for Cyber-physical Systems with Learning-Enabled Components (Vanderbilt University)
- Confidence monitoring and composition for dynamic assurance of learning-enabled CPS (University of Pennsylvania)
Speakers
Dr. Sandeep Neema, DARPA
Dr. Jim Paunicka, Boeing
Dr. Dragos Margineantu, Boeing
Matt Moser, Boeing
Prof. Claire Tomlin, University of California, Berkeley
Prof. Sanjit Seshia, University of California, Berkeley
Dr. Darren Cofer, Collins Aerospace
Dr. Ewen Denney, KBR
Dr. Ganesh Pai, KBR
Dr. Dariusz Mikulski, US Army
James Grimplin, Northrop Grumman
Prof. Taylor Johnson, Vanderbilt University
Dr. Ivan Ruchkin, University of Pennsylvania
Program
All times in CST (UTC-6)
| Topic | Start Time | Duration (Minutes) | Ending Time |
| Introduction to the DARPA Assured Autonomy Program
Dr. Sandeep Neema, DARPA | 7:00 | 20 | 7:20 |
| DARPA Q&A
Dr. Sandeep Neema, DARPA | 7:20 | 5 | 7:25 |
| Autonomous Airborne System Challenges | |||
| Assuring Real-Time Learning-Enabled Flight Software
Dr. Jim Paunicka, Dr. Dragos Margineantu, Matt Moser, Boeing | 7:25 | 20 | 7:45 |
| Safe Learning in Autonomous Systems
Prof. Claire Tomlin, Prof. Sanjit Seshia, University of California, Berkeley | 7:45 | 20 | 8:05 |
| Run-Time Assurance
Dr. Darren Cofer, Collins Aerospace | 8:05 | 20 | 8:25 |
| Assurance Cases Applied to Real-Time Autonomous Aviation and Underwater Systems
Dr. Ewen Denney, Dr. Ganesh Pai, KBR | 8:25 | 30 | 8:55 |
| Air Domain Q&A
Dr. Jim Paunicka, Dr. Dragos Margineantu, Matt Moser, Prof. Claire Tomlin, Prof. Sanjit Seshia, Dr. Darren Cofer, Dr. Ewen Denney, Dr. Ganesh Pai | 8:55 | 5 | 9:00 |
| Autonomous Ground System Challenges | |||
| Challenge Problems for the DARPA Assured Autonomy Ground Team
Dr. Dariusz Mikulski, US Army & HRL | 9:10 | 20 | 9:30 |
| Ground Domain Domain Q&A (Mikulski)
Dr. Dariusz Mikulski | 9:30 | 5 | 9:35 |
| Autonomous Underwater System Challenges | |||
| Autonomous Underwater System Challenges
James Grimplin, Northrop Grumman | 9:35 | 20 | 9:55 |
| Verification and assurance tools for Cyber-physical Systems with Learning-Enabled Components
Prof. Taylor Johnson, Vanderbilt University | 9:55 | 20 | 10:15 |
| Confidence monitoring and composition for dynamic assurance of learning-enabled CPS
Dr. Ivan Ruchkin, University of Pennsylvania | 10:15 | 20 | 10:35 |
| Underwater Domain Domain Q&A
James Grimplin, Prof. Taylor Johnson, Dr. Ivan Ruchkin | 10:35 | 5 | 10:40 |
| Program-Wide Q&A with DARPA and Domain Leads
Dr. Sandeep Neema, Dr. Jim Paunicka, Dr. Dragos Margineantu, Matt Moser, Dr. Dariusz Mikulski, James Grimplin | 10:40 | 10 | 10:50 |