A strict Lyapunov function for non-holonomic systems under persistently-exciting controllers. Issue 18 (2016)