State space representation of discrete time systems