Е. Ю. Парийская
Россия, 191187, Санкт-Петербург, Кутузовская наб., д.10
Институт теоретической астрономии РАН,
Непрерывно-дискретные системы - это параллелъные и распределенные динамические системы, состоящие из элементов различной природы, поведение которых описывается как непрерывными так и дискретными процессами. Проводимые автором статъи исследования нацелены на внедрение дискретных методов анализа и технологии символъных вычислений в системы автоматического моделирования непрерывно- дискретных систем и разработку новой технологии моделирования и анализа непрерывно- дискретных систем, основная идея которой заключается в едином описании непрерывной и дискретной комноненты и в предоставлении полъзователю возможности применения для каждой комноненты своих оптималъных методов моделирования и анализа. Можно рассматриватъ две основные идеи исполъзования дискретных методов в качестве инструмента исследования непрерывно- дискретных систем: первая заключается в исполъзовании классических алгоритмов автоматической верификации дискретных параллелъных систем при анализе дискретной компоненты и дискретных периодов развития системы; другая идея заключается в проведении оценок значений непрерывных переменных системы и в замене в математической модели непрерывно- дискретной системы локалъных поведений на их параматрические оценки c целъю применения методов символъной верификации теории реактивных систем для проверки качественных поведенческих свойств всей непрерывно- дискретной системы или некоторой ее части. Статъя представляет обзор и анализ современных методов теории реактивных систем, которые могли бы бытъ включены в новую технологию. Проведена классификация непрерывно- дискретных систем по признаку разрешимости существующих методов теории реактивных систем.