Конечноавтоматная аппроксимация поведения непрерывных объектов

Рассматриваются достаточные условия, при которых для непрерывного объекта может быть построен конечный детерминированный автомат, такой, что при “согласованных” начальных состояниях объекта и автомата выходные сигналы последнего в наперед заданные дискретные моменты времени не будут отличаться от соответствующих выходных сигналов объекта, вырабатываемых в ответ на всевозможные допустимые входные сигналы, больше, чем на наперед заданную величину.