buntonj
PhD from UCLA's Cyber-Physical Systems Laboratory. Expertise in control theory, optimization, and formal methods.
UCLALos Angeles, CA
Pinned Repositories
CLF-CBF-QP
Matlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.
cm_heateq
Undergraduate project to compute the solution of the heat equation across a 3d cube
cm_isingmodel
Undergraduate project to simulate ferromagnetic properties with a Monte-Carlo method.
cm_nbody
Undergraduate project numerically solving the n-body gravitational force problem in Fortran.
cm_nbodyrk4
Undergraduate project solving the n-body problem using 4th-order Runge-Kutta integration.
CoveringZ3
Sensor placement in a floorplan model using z3 sat solver
polynomial_observers
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.
set-valued-lie-group-observers
Python code for a polyhedral set-valued observer with an application to nonlinear systems on a Lie group.
SFO_CPP
A fast, templated C++ header library for submodular optimization (subset selection) problems.
TVproximal
Fortran code implementing Newton-like algorithms for proximal mapping of total variation.
buntonj's Repositories
buntonj/CLF-CBF-QP
Matlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.
buntonj/cm_isingmodel
Undergraduate project to simulate ferromagnetic properties with a Monte-Carlo method.
buntonj/polynomial_observers
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.
buntonj/cm_heateq
Undergraduate project to compute the solution of the heat equation across a 3d cube
buntonj/cm_nbody
Undergraduate project numerically solving the n-body gravitational force problem in Fortran.
buntonj/cm_nbodyrk4
Undergraduate project solving the n-body problem using 4th-order Runge-Kutta integration.
buntonj/CoveringZ3
Sensor placement in a floorplan model using z3 sat solver
buntonj/set-valued-lie-group-observers
Python code for a polyhedral set-valued observer with an application to nonlinear systems on a Lie group.
buntonj/SFO_CPP
A fast, templated C++ header library for submodular optimization (subset selection) problems.
buntonj/submodular_joint_optimization
marriage of continuous and discrete optimization algorithms via submodularity in MATLAB.
buntonj/TVproximal
Fortran code implementing Newton-like algorithms for proximal mapping of total variation.
buntonj/cm_quantum
Undergraduate project to compute the wavefunction of a particle within a 3D Gaussian potential well
buntonj/Computational-Robotics-Lab-2
Rapidly Exploring Random Trees Code Base
buntonj/Computational_Robotics_Lab_3
Implementation of the Unscented Kalman Filter on a non-holonomic robot in both Python and Matlab.
buntonj/embedded-rust-discovery
Trying to understand how to write embedded software...with rust!
buntonj/epidemiology_sysID
Using Neural ODEs to fit a networked UIV model to an SIR model of an epidemic.