Дисертацію присвячено розробці нових алгебраїчних моделей та методів для аналізу і синтезу слабо формалізованих процесів. Запропоновано новий підхід до подання знанняорієнтованих продукційних моделей. Побудовано структуру відповідної алгебри лінгвістичних змінних. Алгебраїчне подання дозволяє описати знанняорієнтовані продукційні моделі у вигляді поліноміальної моделі та моделі у просторі стану. Цей опис базується на методах аналізу, запропонованих для слабо формалізованих процесів.
Досліджено властивості стійкості моделей у просторі стану, які базуються на класичних методах теорії автоматичного керування; розроблено метод аналізу власних значень; сконструйовано метод аналізу стійкості, що базується на використанні реляційної алгебри. Алгебраїчний підхід дозволяє подати велику множину правил у вигляді компактного алгебраїчного виразу. Методологія алгебраїчного аналізу слабо формалізованих систем включає також структурну та параметричну ідентифікацію алгебраїчних моделей, аналіз керованості і спостережуваності. Проблема синтезу лінгвістичних продукційних систем керування вирішується на базі квадратичного критерію, критерію розміщення полюсів і детермінованого підходу. Запропоновано метод синтезу, що базується на реляційній алгебрі. Розроблено комп'ютерну програму імітаційного моделювання складних динамічних систем.