Improved predictability of reactive robot control using Control Lyapunov Functions

Model based robot control approaches are often designed to allow the verification of certain system properties such as safety or goal convergence. However, designing such controllers is often very time consuming, and most of the time it is not possible to add additional control objectives without jeopardizing the previously proved system properties.