Computation and Verification of Lyapunov Functions

From MaRDI portal
Publication:3449033

DOI10.1137/140988802zbMath1360.37045OpenAlexW1881337225MaRDI QIDQ3449033

Peter Giesl, Sigurður Freyr Hafstein

Publication date: 3 November 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: http://sro.sussex.ac.uk/id/eprint/56984/1/140988802.pdf



Related Items


Uses Software


Cites Work