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

A two-level cost management system for the transport complex is considered. On the upper level of this system is the Center, and on the lower level is the visionary executor. A theorem has been proven about the Center's optimal classification of the executor's costs into two classes using a norm configured using the Center's digital self-studying procedure. When the conditions of the theorem are met, the executor’s costs are minimized, and the best estimate of the optimal parameter that minimizes the risk of an inexperienced Center is determined. Also, the theorem has been proven about the Center's optimal classification of the executor's costs into four classes using a standard and two norms, customized using the Center's digital self-studying procedures. At the same time, the interests of the executor are consistent with the interests of the Center due to the motivation of the executor to minimize costs.

В работе рассматривается регулятор глубины высокоманевренного подводного аппарата с шестью степенями свободы. Синтезированные по идентифицированной модели ПИД-регуляторы обеспечивают раздельное управление поступательным и вращательным движением относительно каждой из трех осей в локальной системе координат, связанной с центром масс аппарата. Особенность задачи в том, что аппарат может двигаться в вертикальном направлении в системе координат, связанной с Землей, сохраняя при этом свою ориентацию. Проведено сравнение двух реализаций управления глубиной. Первая реализация использует регулятор, синтезированный для локальной оси 𝑧, пересчитывая управление на моторы в соответствии с текущей ориентацией. Другая реализация пересчитывает в соответствии с текущей ориентацией заданное значение положения по вертикали в глобальной системе координат в заданные значения положения по трем осям локальной системы координат, задействовав таким образом три регулятора поступательного движения. Второй подход обеспечивает лучшее быстродействие и точность управления глубиной за счет учета зависимости динамики аппарата от его текущей ориентации.

The considered problem is to simultaneously stabilize a family of second order linear systems by static linear state feedback when applied to switched systems. The proposed synthesis approach is based on a known design method where a static regulator is found as a solution to the linear programming problem. This regulator makes all matrices from the family forming switched systems superstable in the closed loop state, which in turn guarantees exponential stability of the switched system. This approach is generalized for the case where not all matrices in the family can simultaneously be made superstable: for non-superstabilizable matrices one determines using D-decomposition linear bounds on the set of stabilizing regulators, which are used in the linear programming problem. The designed switched system properties are briefly studied. An example of a design problem solution using the proposed approach is presented.

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