Safety-critical controller design for nonlinear systems: Stabilization and robustness. - Sabzalian, Mohammad Hosein (ISA Transactions, 2025)