Automatic Stability Verification via Lyapunov Functions

BIB
Eike Möhlmann
12 / 2018
phdthesis