На первый взгляд не вижу в этом большой проблемы.
У Вас модель процесса с непрерывным временем или дискретным?
Если с непрерывным - то формальное решение стохастического дифференциального уравнения (см., напр.,
http://en.wikipedia.org/wiki/Ornstein%E2%80%93Uhlenbeck_process) вообще не подразумевает никакого условия на знак времени

.
Если с дискретным - то надо просто "развернуть" реккурентное соотношение между значениями случайной величины в моменты

и

: находить величины в точке

по величинам в точке

. При этом случайные "шоки" будут браться формально в "новой" точке

- если это Вам не нравится, возьмите и замените их на "шоки" в "старой" точке

- то что получится будет не совсем то, что исходно называлось "процесс Орштейна-Уленбека с дискретным временем", но это и можно называть "процесс Орнштейна-Уленбека назад с дискретным временем" (причем при переходе к непрерывному пределу эта замена невелируется).