Overhead crane systems consist of trolley, girder, rope, objects, trolley motor, girder motor, and hoist motor. The dynamic system of these systems becomes a nonlinear state equations. These equations are obtained by the nonlinear equations of motion which are derived from transfer functions of driving motors and equations of motion for objects. From these state equations, Lyapunov functions of overhead crane systems are derived from integral method. These functions secure stability of autonomous overhead crane systems. Also constraint equations of driving motors of trolley, girder, and hoist are derived from these functions. From the results of computer simulation, it is founded that overhead crane systems is secure.