Разработка основанных на логике и динамике методов интеллектуальной поддержки принятия решений по диагностике и управлению динамическими системами

Разработан метод построения иерархических структурированных ситуаций для формирования решений в многоуровневых системах управления и координации процессов. В основе предлагаемого метода лежит сочетание объектно-ориентированного моделирования и формальной модели гибридного автомата. Под ситуацией понимается полное состояние моделируемой части предметной области в некоторый момент времени. В соответствии с объектно-ориентированным подходом ситуация отображается во множество взаимосвязанных объектов. Каждый из объектов характеризуется: собственным состоянием, производным состоянием, динамикой и связями (структурными и функциональными) с другими объектами. Практическое исследование метода показало, что широкий спектр различных процессов (переходов от одной ситуации к другой) может быть описан посредством изменения состояний объектов, представляющих собой ситуацию. Разработано два алгоритма верификации систем автоматизированного принятия решений, основанных на применении гибридных автоматов. Отличие между ними в верифицируемых аспектах и в области применения. Одной из функций систем автоматизированного принятия решений является предсказательная. Для реализации этой функции необходимо, чтобы моделируемые процессы соответствовали реально протекающим. Под верификацией системы понимается соответствие моделируемой динамики гибридной системы и динамики оригинальной системы. Основой для алгоритма верификации является набор наблюдаемых траекторий оригинальной системы, сделанных с определенной временной дискретизацией. Второй алгоритм верификации относится к другой постановке задачи - на уровне конструирования распределенной системы (например, при применении логико-динамических моделей при конструировании систем класса «Интернет вещей») - необходимо осуществлять проверку устойчивости распределенной системы, состоящей из множества агентов.