search

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

Feature/f16 acas xu #97

Closed podhrmic closed 2 years ago

podhrmic commented 3 years ago

add example of mutual F16 aircraft collision avoidance running ACAS Xu

Copy of https://gitlab-ext.galois.com/assuredautonomy/csaf_architecture/-/merge_requests/71

EthanJamesLew commented 2 years ago

Ready for review @podhrmic

podhrmic commented 2 years ago

Merging nonetheless as my comments are very minor