Stability Analysis and Data-driven Verification via Recurrent Lyapunov Functions

Roy Siegelmann, Fernando Paganini, Enrique Mallada

Lyapunov's direct method is a cornerstone of stability and control, but it hinges on finding a Lyapunov function, a task demanding ingenuity or computation. A key difficulty is tha…