Deadlock Avoidance and Solution Time Optimization for Discrete-Time Control Systems via Control Barrier Functions | IEEE Conference Publication | IEEE Xplore