Oh man oh man Baez and one of his students totally did a version of the Lagrangian and Noether's theorem for discrete systems back in '94. After reading bits and pieces of SICM the same rough idea popped into my head, and I really wanted to know if it could be done, but I didn't know nearly enough physics or multilinear algebra to come up with the right shit.