11.381 Infrastructure Systems in Theory and Practice