В работе показано как поэтапно создать программу контроллера с помощью СД2С2 моделирования для оборудования с дискретным поведением. Кратко изложим суть этапов: • На первом этапе объект формализуется в виде коллекции независимых КА моделирующих неуправляемое поведение объекта, язык этих автоматов структурируется на управляемые и ожидаемые события. • На втором этапе создается спецификация, которая задается в виде последовательности команд на объект управления. • На третьем этапе проверяется совместимость модели объекта и спецификации, полученные данные являются основой для синтеза управляющего КА – супервизора. • На четвертом этапе осуществляется переход от алфавита системных событий к алфавиту целевой платформы ПЛК. • На пятом этапе супервизор переносится в ПЛК. Учет структурных особенностей технологического объекта позволяет на этапе верификации отказаться традиционной процедуры параллельной композиции, и задать спецификацию более компактно. Что в свою очередь позволяет гарантированно синтезировать программу ПЛК меньшими затратами.

Рассмотрены аспекты распространения доверия в распределенных сенсорных сетях. Выделен алгоритм распространения Олафти-Сейбера и Мюррея, основанный на "договоренности на доверии". Рассмотрены аспекты построения функции Ляпунова ("функции несогласия") для дискретного времени. Выполнен анализ распространения доверия для непрерывного времени.

Конструируются дифференциально-геометрические структуры, ассоциированным с уравнениями Монжа-Ампера на многообразиях, и примененяются к контактной линеаризации этих уравнений. Рассматривается категория уравнений Монжа-Ампера, морфизмами которой служат контактные диффеоморфизмы, и ряд ее подкатегорий. Основное внимание уделено подкатегориям уравнений Монжа-Ампера, объекты которых локально контактно эквивалентны уравнениямa) линейным относительно вторых производных (полулинейным),b) линейным относительно производных, c) почти линейным,d) линейным относительно вторых и не зависящим от первых производных,e) линейным,f) линейным и не зависящим от первых производных,g) имеющим постоянные коэффициенты,h) эволюционным.Строится ряд функторов из категории уравнений Монжа-Ампера и некоторых ее подкатегорий в категорию тензориальных объектов, т.е. в категорию многозначных сечений тензорных расслоений. В частности, для всякого уравнения Монжа-Ампера в общем положении построена отвечающая ему псевдориманова метрика. Построенные функторы позволяют установить эффективно проверяемые признаки принадлежности уравнений Монжа-Ампера к перечисленным выше подкатегориям a) - h).

Показаны проблемы управления безопасностью при осуществлении железнодорожных грузоперевозок. Сформулированы вопросы, требующие научного обоснования и практического разрешения: насколько надежным является управление безопасностью железнодорожных перевозок, можно ли рассматривать надежность в данном случае с т.зр. ее функциональности и др.

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