Existen dos formulaciones diferentes, que difieren en el grado de formalización para los sistemas con un número finito de grados de libertad: