Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems

Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap

This work presents an approach to synthesize a Lyapunov-like function to ensure incrementally input-to-state stability ($\delta$-ISS) property for an unknown discrete-time system. To de…