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

Integrate existing co-pilot into CSAF with shields #87

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

In GitLab by @zutshi on Oct 9, 2020, 18:21

This issue is to do a bare-bones integration on coPilot shields for F16 examples. In the same spirit as Eddy did for Alpha. The goal is to have some shield components that are implemented via coPilot. This issue should NOT enabled first-class support for coPilot into CSAF. Here are the shields we should focus on:

podhrmic commented 3 years ago

In GitLab by @bauer-matthews on Oct 12, 2020, 06:25

changed time estimate to 4h

podhrmic commented 3 years ago

In GitLab by @bauer-matthews on Oct 12, 2020, 06:33

changed the description

podhrmic commented 3 years ago

In GitLab by @bauer-matthews on Oct 12, 2020, 06:34

changed the description

podhrmic commented 3 years ago

In GitLab by @podhrmic on Jul 13, 2021, 14:21

@zutshi @EthanJamesLewis this still relevant?