The system is solvable but non-linear, thus an Lyapunov analysis must be adopted.

My rusty mind is not capable of doing it, still thinking... If you have a good Lyapunov function for this, please share it.