Математические методы и алгоритмя исследования автоматических систем