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

CSAF methodology for state space coverage testing #128

Open cslockett opened 2 years ago

cslockett commented 2 years ago

Identify methodology and implementation for state space coverage tests and data results for LEC enabled systems. Develop approach to compare and ground empirical results as they relate to system level assurance.