Viability Kernels for Nonlinear Control Systems Using Bang Controls

This note develops a method to construct viability kernels for multi-input, single-output nonlinear control systems affine in the control. The safe set is the superlevel set of a smooth function, and the control is constrained to take values in a compact polyhedron. The results make use of the Frankowska method and the notion of viable capture basins.