Pinned Loading

1. Polytopic-SLSMPC Polytopic-SLSMPC Public

   Implement SLS MPC for linear systems subject to polytopic model uncertainty and additive disturbances.

   MATLAB 28 9

2. Neural-Barrier-Function Neural-Barrier-Function Public

   Verification-aided learning of NN barrier functions with a convex optimization-based fine-tuning step can boost success rate.

   Python 5 4

3. Composite_CBF Composite_CBF Public

   Learn a neural network control barrier function subject to safety constraints composited by logical operations.

   Python 9

4. NN-System-PSF NN-System-PSF Public

   Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.

   Python 11 1

5. TokenBlade/chorus TokenBlade/chorus Public

   Run the same prompt across multiple LLMs simultaneously and compare responses side-by-side.

   TypeScript