PhD from UCLA's Cyber-Physical Systems Laboratory. Expertise in control theory, optimization, and formal methods.
- Los Angeles, CA
Pinned Loading
-
SFO_CPP
SFO_CPP PublicA fast, templated C++ header library for submodular optimization (subset selection) problems.
C++
-
polynomial_observers
polynomial_observers PublicPolynomial 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.
-
set-valued-lie-group-observers
set-valued-lie-group-observers PublicPython code for a polyhedral set-valued observer with an application to nonlinear systems on a Lie group.
Python
-
CLF-CBF-QP
CLF-CBF-QP PublicMatlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.
-
TVproximal
TVproximal PublicFortran code implementing Newton-like algorithms for proximal mapping of total variation.
Fortran
-
CoveringZ3
CoveringZ3 PublicSensor placement in a floorplan model using z3 sat solver
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.