Модели случайных процессов для вероятностных задач синтеза АСУ