Публикации

Промыслова О.А. Применение формальной модели для контроля кибербезопасности цифровой системы управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т. 2. С. 271-273.
Промыслов В.Г., Полетыкин А.Г. КОНТРОЛЬ КИБЕРБЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНОЙ МОДЕЛИ ДОСТУПА / Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва). М.: ИПУ РАН, 2012. С. 86-100.
Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНАЯ ИЕРАРХИЧЕСКАЯ МОДЕЛЬ БЕЗОПАСНОСТИ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ОТКРЫТЫМ ИНФОРМАЦИОННЫМ ПРОСТРАНСТВОМ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т.2 . С. 267-270.
Промыслов В.Г. ПРОБЛЕМА ПЕРЕДАЧИ ПРАВ ДОСТУПА И МОДЕЛЬ БЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 273-276.
Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНЫЕ ОПРЕДЕЛЕНИЯ И КРИТЕРИИ УСТОЙЧИВОСТИ ОБЪЕКТОВ С ЦИФРОВЫМИ СИСТЕМАМИ УПРАВЛЕНИЯ К ВОЗДЕЙСТВИЯМ КИБЕРАТАК / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 117-120.
Корепанов В.О. Множество достижимости при рефлексивном управлении, случай линейного неоднородного наилучшего ответа / Труды 54-й научной конференции МФТИ «Проблемы фундаментальных и прикладных естественных и технических наук в современном информационном обществе» (Долгопрудный, 2011). М.: МФТИ, 2011. Радиотехника и кибернетика. Т. 1. С. 111-112.
Волик Б.Г. Анализ и обеспечение техногенной безопасности технических объектов // Датчики и системы. 2012. №6. С. 57-63.
Корепанов В.О. Стратегическая рефлексия: прогноз и оптимизация поведения агентов в задаче о диффузной бомбе / Тезисы докладов 8-го Международного симпозиума «Рефлексивные процессы и управление» (Москва, 2011). М.: Когито-Центр, 2011. С. 131-133.
Корепанов В.О. Управление рефлексивным поведением агентов в модели олигополии Курно // Управление большими системами. 2010. выпуск №31. С. 225-249.
Корепанов В.О. Имитационные модели тактического поведения агентов // Управление большими системами. 2009. Выпуск 26. С. 145-157.

Страницы