Verify Numerical Supervisory Control