This page contains the code for synthesizing and verifying control barrier functions (CBFs) for discrete time Lipschitz continuous systems. The code is written in Python using the JAX library for automatic differentiation.
Requirements: \ numpy \ jax \ flax \ casadi \ matplotlib \ qpax (pip install qpax)