real2time(ti) Pi v_in==r*i