Safety is often the most important requirement in robotics applications. Nonetheless, control techniques that can provide safety guarantees are still extremely rare for nonlinear systems, such as robot manipulators. A well-known tool to ensure viability kernel, which largest set of states from be ensured. Unfortunately, computing a system challenging general. Several numerical algorithms approx...