Lyapunov-Funktion
Definition
Eine skalare Funktion V(x), definiert in einer Umgebung eines Gleichgewichts eines dynamischen Systems, die positiv-definit ist und deren Ableitung entlang der Systemtrajektorien ein festes Vorzeichen hat (typischerweise nicht steigend), verwendet als Stabilitätszertifikat ohne Lösung der Trajektorien.