Сравнение различных подходов к построению системы аксиом при аксиоматическом подходе к распознаванию нештатного поведения динамических системтезисы доклада