Lyapunov function, convex polyhedron, attainability, tree of 
function, entropy, free energy