Pinned

1. SFO_CPP SFO_CPP Public

   A fast, templated C++ header library for submodular optimization (subset selection) problems.

   C++

2. polynomial_observers polynomial_observers Public

   Polynomial observers: a Savitzky-Golay filter for estimating the derivatives of an output signal, then using it to estimate the state of a nonlinear dynamical system.

   Python 1 1

3. set-valued-lie-group-observers set-valued-lie-group-observers Public

   Python code for a polyhedral set-valued observer with an application to nonlinear systems on a Lie group.

   Python

4. CLF-CBF-QP CLF-CBF-QP Public

   Matlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.

   MATLAB 22 16

5. TVproximal TVproximal Public

   Fortran code implementing Newton-like algorithms for proximal mapping of total variation.

   Fortran

6. CoveringZ3 CoveringZ3 Public

   Sensor placement in a floorplan model using z3 sat solver

   Jupyter Notebook