Символический анализ динамических системдоклад на конференции