peter_de_jong_lyap.h