Assurance-based Learning-enabled Cyber-Physical Systems

10/25/2021

08:52 AM 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 waypoint_following_normal.mp4

Nominal scenario without obstacles

Daniel Stojcsics

08:50 AM way-point-following-obstacle-avoidance_4x.mp4

Nominal scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM degraded-obstacle-avoidance4x.mp4

Degradation scenario with obstacle avoidance

Daniel Stojcsics

08:50 AM degraded-waypoint-following-4x.mp4

Degradation scenario without obstacles

Daniel Stojcsics

10/12/2021

11:49 AM cp4_alter_wp.mp4

Daniel Stojcsics

10/08/2021

09:04 AM Document: Dynamic assurance with ReSonAte

This video presents a real-time hazard rate calculation​ with ReSonAte framework based on a CP2 thruster degradation ...

Daniel Stojcsics

09:00 AM dynamic_assurance_with_resonate.mp4

Daniel Stojcsics