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
10 stars 4 forks source link

Scenarios and Goals #131

Closed EthanJamesLew closed 2 years ago

EthanJamesLew commented 2 years ago

Inspired by #129

Summary

Implement the CSAF library objects Scenario and Goal that complete the abstractions necessary to craft CP 3.2 and apply an analysis to it.

Notes

Optimizer was not implemented and the FalsifyGoal makes some damaging assumptions that it's using GPyOpt. I have not yet found an interface that I like for an Optimizer library object.

closes #117 and #118