Systematic Design of Discrete-Time Control Barrier Functions Using Maximal Output Admissible Sets | IEEE Journals & Magazine | IEEE Xplore