Pinned Loading

1. Polytopic-SLSMPC Polytopic-SLSMPC Public

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

   MATLAB 24 7

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 1

3. Composite_CBF Composite_CBF Public

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

   Python 5 1

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

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

   Python 9

5. DeepSplit DeepSplit Public

   Solving the linear programming-based neural network verification problem through Alternating Direction Method of Multipliers (ADMM).

   Python 3 1

6. NN-System-Reachability NN-System-Reachability Public

   Finite-step reachable set over-approximation of NN dynamical systems using the one-shot and recursive methods.

   Python 3 1