Theory of minimum time discrete regulators