ACAS Xu Failure examples for GDT

GaloisInc / csaf

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.

BSD 3-Clause "New" or "Revised" License

11 stars 4 forks source link

ACAS Xu Failure examples for GDT #124

Closed cslockett closed 2 years ago

cslockett commented 3 years ago

Have a simple example working for

2 planes, with thrust/velocity parameterization
2 planes + balloon

cslockett commented 3 years ago

Modify scenario to avoid intruder then avoid balloon

podhrmic commented 2 years ago

Scenarios and videos have been generated, closing.