Assurance-based Learning-enabled Cyber-Physical Systems (ALC)

10/25/2021

08:52 AM Assurance-based Learning-enabled Cyber-Physical Systems Document: Runtime (Online) Verification of Autonomous Systems with Real-Time Reachability

Several orders of magnitude progress made analyzing learning-enabled components (LECs) like neural networks and usage...

Daniel Stojcsics

08:51 AM Assurance-based Learning-enabled Cyber-Physical Systems waypoint_following_normal.mp4

Nominal scenario without obstacles

Daniel Stojcsics

08:50 AM Assurance-based Learning-enabled Cyber-Physical Systems way-point-following-obstacle-avoidance_4x.mp4

Nominal scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM Assurance-based Learning-enabled Cyber-Physical Systems degraded-obstacle-avoidance4x.mp4

Degradation scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM Assurance-based Learning-enabled Cyber-Physical Systems degraded-waypoint-following-4x.mp4

Degradation scenario without obstacles

Daniel Stojcsics

10/12/2021

11:49 AM Assurance-based Learning-enabled Cyber-Physical Systems cp4_alter_wp.mp4

Daniel Stojcsics