Energy-based Lyapunov functions for forced Hamiltonian systems with dissipation | IEEE Conference Publication | IEEE Xplore