В данной работе рассмотрено интегрирование формальной модели безопасности в систему аудита состояния безопасности цифровой системы управления.

В работе предложена расширенная на информационные потоки дискретная формальная модель политики кибербезопасности системы верхнего блочного уровня (СВБУ) АЭС типа СВБУ АЭС проектов Куданкулам, Индия и Бушер, Иран. Дополнительно сформулирована политика безопасности СВБУ АЭС, реализованной на современных программно- технических средствах. Рассмотрена проблема адаптации модели к смешанной иерархической системе построения СВБУ ориентированной на сохранение целостности с выделенными уровнями доступа, реализующими концепцию сохранение конфиденциальности.

Для математической формулировки понятия киберустойчивости в статье вводится в рассмотрение новый класс скрытых функций, который дополняет штатные функции объекта управления. Даются три определения киберустойчивости, связанные с различными видами кибератак. Формулируются критерии киберустойчивости, производится их анализ, и обсуждаются вопросы практического применения.

Рассматривается модель рефлексивного поведения агентов на рынке в олигополии Курно. Агенты разбиваются на классы по уровню рефлексии, причем поведение различных классов существенно отличается. Установившаяся после действий агентов рыночная цена зависит от количества (доли) агентов в каждом классе. Рассматривается возможность управления рыночной ценой с помощью варьирования распределения агентов по уровням рефлексии. Исследуются свойства оптимальных управлений, приводится обсуждение полученных результатов.

Рассматривается задача управления группой, содержащей заданное число агентов, относящаяся к проблеме согласования характеристик. Модель агента описывается уравнением Лагранжа. Цель работы состоит в синтезе ограниченного квази-оптимального децентрализованного закона управления движением агентов, который позволяет выстраивать и поддерживать предписанную конфигурацию группы агентов. Построение формации должно завершено за конечное время. Во время движения рассматриваемая группа должна следовать за лидером, реальным или виртуальным. Каждый агент измеряет относительное положение и скорость своих соседей, информационные связи между агентами задаются орграфом коммуникаций. Орграф является остовным деревом, конфигурация которого не меняется во времени.