Control Lyapunov-Barrier function-based predictive control using a deep hybrid model with guarantees on domain of applicability | IEEE Conference Publication | IEEE Xplore