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 Purdue - Suresh [REPLACEMENT ISSUE] #79

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

The original issue

Id: 79
Title: Integrate Purdue - Suresh

could not be created. This is a dummy issue, replacing the original one. It contains everything but the original issue description. In case the gitlab repository is still existing, visit the following link to show the original issue:

TODO

podhrmic commented 3 years ago

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

changed time estimate to 5h

podhrmic commented 3 years ago

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

changed the description

podhrmic commented 3 years ago

In GitLab by @zutshi on Oct 13, 2020, 24:10

It is Black box Bayesian Opt for falsification. Zikang has sent us the customized code and a Jupyter NB to run F16 falsification.

podhrmic commented 3 years ago

In GitLab by @zutshi on Oct 19, 2020, 16:05

This is completed.