CP 3.2 end to end demo video #1: Single intruder with ballon no RTA

[cslockett]

Storyboard Configuration

• 1x F16
• 1x F16 intruder, Non-Adversarial, non-cooperative , fixed course and speed (2D only)(TBD perhaps have intruder make one CA maneuver?). TODO REVIEW
• 1x static ballon/keep out region
• ACAS-Xu auto pilot, FITRE trained inner loop LEC
• Configure flight gear to visualize a perspective view that can observe intruder, balloon and F-16

Use "f16-acas-constrained-bopt.ipynb" t0 = initial condition, F16 will “Lose Well Clear” @ time tx tx = CSAF computes trajectory and “Loss of Well Clear” triggers the Collision Avoidance threshold tx+1= ACAS Xu LEC computes Collision Avoidance Maneuver (CAM) to “regain Well Clear” Failure to “Remain Well Clear”

Select GDT simulation run resulting in an air collision from stressful scenario

[podhrmic]

The mountain scenario in December

[podhrmic]

Done, videos are on shared Gdrive, and code to generate more videos is here: https://github.com/GaloisInc/csaf/blob/no-merge-with-fg/new_csaf/notebooks/f16-acas-constrained-bopt.ipynb