related documents Polyhedral Control Lyapunov Functions for Switched Affine Systems Conference Proceeding Successive Control Barrier Functions for Nonlinear Systems Conference Proceeding