This folder contains code for a paper on impulsive control barrier functions. The above folders contain an example on both a linear system and a nonlinear system. Both systems are representative of satellite relative motion control. Details on the linear system can be found in the first version of the paper preprint, while details on the nonlinear system can be found in the second version of the paper. Note that the nonlinear system is substantially less conservative than its linearization, so the dwell times considered are larger. The nonlinear system is also the most recent version of the code, so there may be bug fixes in that folder that are not yet realized in the linear system code.