Completed
ACAS-Xu Closed-Loop Scenario
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Towards Assurance-Based Learning-Enabled Cyber-Physical Systems
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 DARPA - Assured Autonomy Program Goal
- 3 Illustrating the challenge
- 4 Safety Assurance for Systems - State of Practice
- 5 VU ALC Project vision
- 6 Project activities
- 7 AUV as a CPS with LECS Learning-Erabled Components
- 8 LEC Verification: Reachability Analysis of Feedforward/Convolutional Neural Networks
- 9 Closed-Loop CPS with LECS: Verification Flow and Tools
- 10 UUV Closed-Loop Verification Results
- 11 ACAS-Xu Closed-Loop Scenario
- 12 ACAS-Xu Closed-Loop Verification Results
- 13 Perception Robustness Verification Target application Perception LE Component
- 14 Semantic Segmentation Robustness
- 15 Assurance Monitoring
- 16 Inductive Conformal Prediction (ICP)
- 17 Anomaly Detection
- 18 Exchangeability Martingales
- 19 Distribution Shift Detection Example
- 20 Distribution Shift Detection in adversarial scenarios
- 21 Tool architecture coverage
- 22 ALC Toolchain Our approach
- 23 ALC Design Workflow Specialized for LEC development
- 24 Modeling Blocks, Systems, Training, & Execution
- 25 System Modeling
- 26 System architecture SysML block diagrams
- 27 Data Collection
- 28 Testing
- 29 Automation: Workflow Models
- 30 Toolchain Support for Data Provenance
- 31 System-level Assurance Technology Dynamic assurance