Семенков К. В. (ИПУ РАН, Лаборатория 31). Публикации

Библиографическая ссылкаГод

Монографии

1Полетыкин А.Г., Менгазетдинов Н.Э., Жарко Е.Ф., Промыслов В.Г., Бывайков М.Е., Степанов В.Н., Байбулатов А.А., Семенков К.В., Акафьев К.В. Человеко-машинный интерфейс интеграционной платформы для АСУ ТП - Системы Оператор. М.: ИПУ РАН, 2023. – 127 с.2023
2Промыслов В.Г., Акимов Н.Н., Абдулова Е.А., Голубев П.А., Жарко Е.Ф., Жмайлов В.В., Лепехин И.Ю., Лобанок О.И., Исхаков А.Ю., Мещеряков Р.В., Полетыкин А.Г., Мусихин А.М., Пронин В.В., Семенков К.В., Цыренов Д.В. Оценка риска и обеспечение кибербезопасности атомных электростанций. М.: ИПУ РАН, 2022. – 193 с.2022
3Жарко Е.Ф., Промыслов В.Г., Исхаков А.Ю., Мещеряков Р.В., Семенков К.В., Абдулова Е.А., Байбулатов А.А., Исхаков С.Ю. Кибербезопасность беспилотных транспортных средств. Архитектура. Методы проектирования. М.: Радиотехника, 2021. – 160 с.2021

Статьи в журналах/сборниках из перечня Web of Science/Scopus

4Промыслов В.Г., Семенков К.В., Промыслов Г.В. Practical Method of the I&C System Security Architecture Design Using Graph Models / IFAC-PapersOnLine. М.: Elsevier B.V., 2022. vol. 55, iss. 9. С. 227-232.2022
5Промыслов В.Г., Семенков К.В. Non‐statistical method for validation the time characteristics of digital control systems with a cyclic processing algorithm // Mathematics. 2021. V 9 (15). С. https://www.mdpi.com/2227-7390/9/15/1732/htm.2021
6Промыслов В.Г., Семенков К.В. The Approaches for the Estimation of Control System Parameters in “Network Calculus” // IFAC-PapersOnLine. 2021. Volume 54, Issue 1. С. 954-958 .2021
7Промыслов В.Г., Семенков К.В., Промыслова О.А., Jianghai L.L. The Application of the Hybrid Digital Twin for Time Characteristic Assessment of the Control System // IFAC-PapersOnLine. 2021. Volume 54, Issue 1. С. 965-970 .2021
8Семенков К.В., Промыслов В.Г., Полетыкин А.Г., Менгазетдинов Н.Э. Validation of Complex Control Systems with Heterogeneous Digital Models in Industry 4.0 Framework // Machines. 2021. vol. 9, iss. 3. С. 1-17, https://www.mdpi.com/2075-1702/9/3/62.2021
9Промыслов В.Г., Семенков К.В. Assessment of deterministic delay bounds for a DoS-attack prevention device with a static window flow control // IFAC-PapersOnLine. 2020. vol. 53, iss. 2. С. 11089-11093.2020
10Промыслов В.Г., Семенков К.В., Шумов А.С. A Clustering Method of Asset Cybersecurity Classification // IFAC-PapersOnline. 2019. Vol. 52, iss. 13. С. 928-933 .2019

Статьи в журналах/сборниках из перечня ВАК

11Жарко Е.Ф., Абдулова Е.А., Промыслов В.Г., Семенков К.В. Методология расчета доступности как функция монитора безопасности динамической технической системы // Информационные технологии и вычислительные системы. 2024. № 3. С. 60-72.2024
12Полетыкин А.Г., Менгазетдинов Н.Э., Семенков К.В., Жарко Е.Ф., Промыслов В.Г., Бывайков М.Е. Природоподобные конструкционные узловые компоненты для программно-технические комплексов на основе однокристальных компьютеров // Автоматизация в промышленности. 2023. № 6. С. 12-16.2023
13Промыслов В.Г., Семенков К.В., Жарко Е.Ф. Оценка собственной характеристики киберфизической системы методом сетевых исчислений // Управление большими системами. 2023. вып. 105. С. 6-29 .2023
14Промыслов В.Г., Семенков К.В., Менгазетдинов Н.Э. Исследование методов аутентификации операторов в промышленных системах управления // Проблемы управления. 2022. № 3. С. 40-54.2022
15Семенков К.В., Полетыкин А.Г., Промыслов В.Г. Cистемное программное обеспечение LICS // Автоматизация в промышленности. 2022. № 11. С. 21-24.2022
16Промыслов В.Г., Семенков К.В. Применение метода Network Calculus для расчета временных характеристик систем управления с циклическим алгоритмом работы // Проблемы управления. 2021. №4. С. 50-65 http://pu.mtas.ru/archive/Promyslov_pu_421.pdf.2021
17Промыслов В.Г., Семенков К.В., Жарко Е.Ф. Методы оценки информационной угрозы для беспилотных транспортных средств в среде «умного города» // Проблемы управления. 2020. № 3. С. 49-58.2020
18Промыслов В.Г., Семенков К.В., Шумов А.С. Синтез архитектуры кибербезопасности для систем управления атомных станций // Проблемы управления. 2019. № 3. С. 61-71.2019

Статьи в журналах/сборниках

19Семенков К.В., Промыслов В.Г., Li J. CYBER-PHYSICAL ASSESSMENT OF USING ROBOTS FOR SAFETY OPERATIONS OF A NUCLEAR POWER PLANT // Extreme Robotics. 2019. Том: 1. С. 415-417.2019

Главы в книгах

20Семенков К.В., Промыслов В.Г., Полетыкин А.Г. Validation of Control Systems with Heterogeneous Digital Models and Virtualization Technologies / INFORMATIK 2020. Bonn: Gesellschaft für Informatik, 2021. С. 299-309, https://dl.gi.de/handle/20.500.12116/34735.2021

Пленарные доклады

21Полетыкин А.Г., Менгазетдинов Н.Э., Жарко Е.Ф., Промыслов В.Г., Бывайков М.Е., Степанов В.Н., Байбулатов А.А., Семенков К.В., Акафьев К.В. ИНТЕГРАЦИОННАЯ ПЛАТФОРМА ДЛЯ АСУ ТП - СИСТЕМА ОПЕРАТОР / Труды 16-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD’2023, Москва). М.: ИПУ РАН, 2023. С. 144-148.2023
22Промыслов В.Г., Абдулова Е.А., Жарко Е.Ф., Исхаков А.Ю., Мещеряков Р.В., Полетыкин А.Г., Семенков К.В., Акимов Н.Н., Голубев П.А., Лепехин И.Ю. Оценка риска и обеспечение кибербезопасности атомных электростанций / Труды 15-й Международной конференции "Управление развитием крупномасштабных систем" (MLSD’2022). М.: ИПУ РАН, 2022. С. 139-147.2022
23Промыслов В.Г., Семенков К.В. Проблема обеспечения кибербезопасности критических объектов в недоверенной среде / Материалы 30-й Международной конференции «Проблемы управления безопасностью сложных систем» (ПУБСС'2022, Москва). М.: ИПУ РАН, 2022. С. 226-232 .2022
24Промыслов В.Г., Полетыкин А.Г., Семенков К.В., Менгазетдинов Н.Э., Бывайков М.Е., Степанов В.Н. ТЕХНОЛОГИЯ РАСПРЕДЕЛЕННОЙ РАЗРАБОТКИ ПО ДЛЯ АСУ ТП АЭС С ИСПОЛЬЗОВАНИЕМ ВИРТУАЛИЗАЦИИ И ЦИФРОВЫХ ДВОЙНИКОВ / Труды 14-й Международной конференции "Управление развитием крупномасштабных систем" (MLSD-2021). М.: ИПУ РАН, 2021. С. 98-102 .2021
25Промыслов В.Г., Семенков К.В. Управление риском кибербезопасности на этапе проектирования для промышленных систем / Материалы 29-й Международной конференции «Проблемы управления безопасностью сложных систем» (ПУБСС'2021, Москва). М.: ИПУ РАН, 2021. С. https://iccss2021.ipu.ru/proceedings/Промыслов.pdf.2021

Пленарные доклады и доклады из перечня Web of Science/Scopus

26Полетыкин А.Г., Менгазетдинов Н.Э., Семенков К.В. Nature-Like Structural Node Components for Software and Hardware Complexes on the Basis of Single-Board Computers / Proceedings of the 2023 International Russian Smart Industry Conference (SmartIndustryCon). Sochi: IEEE, 2023. С. 443-448 https://ieeexplore.ieee.org/document/10110783.2023
27Промыслов В.Г., Семенков К.В. On the Choice of a Model for Representing Data Flow Parameters in a Digital System / Proceedings of the 2023 International Russian Smart Industry Conference (SmartIndustryCon). Sochi: IEEE, 2023. С. 306-310 https://ieeexplore.ieee.org/document/10110741.2023
28Семенков К.В., Промыслов Г.В. Quantitative Criteria for Classification of Small-World Networks for Industrial Systems / Proceedings of the 16th International Conference Management of Large-Scale System Development (MLSD). М.: IEEE, 2023. С. https://ieeexplore.ieee.org/abstract/document/10303950.2023
29Лобанок О.И., Промыслов В.Г., Семенков К.В. Safety-Driven Approach for Security Audit of I&C Systems of Nuclear Power Plants / Proceedings of 2022 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi, Russian Federation: IEEE, 2022. С. 545-550 https://ieeexplore.ieee.org/document/9787237.2022
30Полетыкин А.Г., Промыслов В.Г., Жарко Е.Ф., Семенков К.В. Risk Assessment and Cyber Security of Nuclear Power Plants / Proceedings of the 15th International Conference Management of Large-Scale System Development (MLSD). Piscataway: IEEE, 2022. С. https://ieeexplore.ieee.org/document/9934271.2022
31Семенков К.В., Полетыкин А.Г., Бывайков М.Е., Степанов В.Н. OPERATOR System: Control, Monitoring, and Diagnostics of Software and Hardware in Instrumentation and Control System / Proceedings of the 15th International Conference Management of Large-Scale System Development (MLSD). Piscataway: IEEE, 2022. С. https://ieeexplore.ieee.org/document/9934374.2022
32Лепехин И.Ю., Голубев П.А., Промыслов Г.В., Семенков К.В. Performance Measurement and Validation of the Distributed Digital Control Systems / Proceedings of the 14th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2021. С. https://ieeexplore.ieee.org/document/9600134.2021
33Полетыкин А.Г., Промыслов В.Г., Семенков К.В. Digital Twins as a Key Technology for Ensuring Effective Modernization of Complex Industrial Systems / Proceedings 2021 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2021. С. 628-632 https://ieeexplore.ieee.org/document/9537443.2021
34Промыслов В.Г., Семенков К.В. The Estimation of Control System Parameters in “Network Calculus” from Experimental Data / Proceedings of 2021 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE, 2021. С. 818-822.2021
35Промыслов В.Г., Семенков К.В. Aspects of Time Synchronization in Distributed Control Systems in Virtual Environment / Proceedings of the 13th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2020. С. https://ieeexplore.ieee.org/abstract/document/9247824.2020
36Промыслов В.Г., Семенков К.В. Method of Estimating Information Threat for Autonomous Vehicles in Smart City / Proceedings of the 2020 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE (Catalog Number: CFP20F42-ART), 2020. С. 1-6, https://ieeexplore.ieee.org/document/9111871.2020
37Промыслов В.Г., Семенков К.В. Security Threats for Autonomous and Remotely Controlled Vehicles in Smart City / Proceedings of the 2020 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM). Sochi: IEEE (Catalog Number: CFP20F42-ART), 2020. С. 1-5, https://ieeexplore.ieee.org/document/9111907.2020
38Семенков К.В., Промыслов В.Г., Полетыкин А.Г. Verification of Large Scale Control Systems with Hybrid Digital Models and Digital Twins / Proceedings 2020 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2020. С. 325-329, https://ieeexplore.ieee.org/document/9208167.2020
39Промыслов В.Г., Жарко Е.Ф., Семенков К.В. Principles of Physical and Information Model Integration for Cybersecurity Provision to a Nuclear Power Plant / Proceedings of the 12th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2019. С. https://ieeexplore.ieee.org/document/8910996.2019
40Семенков К.В., Менгазетдинов Н.Э., Полетыкин А.Г. Extending Operation Lifespan of Instrumentation and Control Systems with Virtualization Technologies / Proceedings 2019 International Russian Automation Conference (RusAutoCon). Sochi: IEEE, 2019. С. https://ieeexplore.ieee.org/document/8867595.2019
41Менгазетдинов Н.Э., Семенков К.В. Ways of Providing the Fault Tolerance of ETHERNET networks of APCS of High-Risk Operation Plants / Proceedings of the 11th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE Catalog Number CFP18GAE-ART, 2018. С. 1-3, https://ieeexplore.ieee.org/document/8551805.2018
42Семенков К.В., Промыслова О.А., Менгазетдинов Н.Э. Virtualization Technologies Usage in the Course of Instrumentation and Control Systems Lifecycle / Proceedings of the 11th International Conference "Management of Large-Scale System Development" (MLSD). Moscow: IEEE, 2018. С. 1-3, https://ieeexplore.ieee.org/document/8551934.2018

Доклады

43Полетыкин А.Г., Жарко Е.Ф., Менгазетдинов Н.Э., Бывайков М.Е., Промыслов В.Г., Семенков К.В., Акафьев К.В., Байбулатов А.А. СИСТЕМА ОПЕРАТОР: ИНТЕГРАЦИОННАЯ ПЛАТФОРМА ДЛЯ АСУ ТП АЭС / Труды 14-го Всероссийского совещания по проблемам управления (ВСПУ-2024). М.: ИПУ РАН, 2024. С. 1865-1871.2024
44Полетыкин А.Г., Промыслов В.Г., Семенков К.В., Менгазетдинов Н.Э. Повышение доступности промышленной системы управления на основе бимодальной сети с вейронами / Труды 17-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2024). М.: ИПУ РАН, 2024. С. 977-981.2024
45Семенков К.В., Промыслов Г.В. Количественные критерии классификации сетей малого мира для промышленных систем / Труды 16-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD’2023, Москва). М.: ИПУ РАН, 2023. С. 1233-1240.2023
46Промыслов В.Г., Семенков К.В., Тимофеев М.Ю. Оценка применения методов аутентификации операторов в промышленных системах / Труды 15-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD’2022). М.: ИПУ РАН, 2022. С. 1074-1085 .2022
47Семенков К.В., Полетыкин А.Г., Бывайков М.Е., Степанов В.Н. Система Оператор: контроль, управление и диагностика техническими и программными средствами АСУ / Труды 15-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD’2022). М.: ИПУ РАН, 2022. С. 1086-1090 .2022
48Семенков К.В., Полетыкин А.Г., Промыслов В.Г. Система Оператор: системное программное обеспечение LICS / Труды 15-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD’2022). М.: ИПУ РАН, 2022. С. 1091-1095 .2022
49Полетыкин А.Г., Промыслов В.Г., Семенков К.В., Менгазетдинов Н.Э., Жарко Е.Ф. Применение цифрового двойника в жизненном цикле АСУ ТП АЭС / Материалы 2-й Международной научно-технической конференции "Автоматизированные системы управления технологическими процессами АЭС и ТЭС" (Минск, 2021). Минск: БГУИР, 2021. С. 193-197 https://www.bsuir.by/m/12_120147_1_155334.pdf.2021
50Промыслов В.Г., Жарко Е.Ф., Семенков К.В. ПРИНЦИПЫ ИНТЕГРАЦИИ ИНФОРМАЦИОННОЙ И ФИЗИЧЕСКОЙ МОДЕЛЕЙ ДЛЯ ОБЕСПЕЧЕНИЯ КИБЕРБЕЗОПАСНОСТИ АТОМНОЙ СТАНЦИИ / Материалы 12-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2019, Москва). М.: ИПУ РАН, 2019. С. 858-861.2019
51Промыслов В.Г., Семенков К.В., Шумов А.С. Методика классификации активов по кибербезопасности / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 2612-2616.2019
52Менгазетдинов Н.Э., Семенков К.В. ОБЕСПЕЧЕНИЕ ОТКАЗОУСТОЙЧИВОСТИ ЛОКАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЕТИ ВЕРХНЕГО УРОВНЯ АСУ ТП ОБЪЕКТОВ ПОВЫШЕННОЙ ОПАСНОСТИ / Труды 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. 2. С. 461-465.2018
53Семенков К.В., Промыслова О.А., Менгазетдинов Н.Э. ИСПОЛЬЗОВАНИЕ ТЕХНОЛОГИЙ ВИРТУАЛИЗАЦИИ ДЛЯ ОБЕСПЕЧЕНИЯ ДЛИТЕЛЬНОГО ЖИЗНЕННОГО ЦИКЛА АСУ ТП АЭС / Труды 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. 2. С. 472-475.2018

Патенты/Свидетельства

54Промыслов В. Г., Семенков К. В. Генератор отчетов по кибербезопасности промышленных систем: Свидетельство о государственной регистрации программы для ЭВМ № 2020615079 РФ; Зарег. 14.05.2020.2020
55Промыслов В. Г., Масолкин С. И., Семенков К. В. Системное программное обеспечение LICS 1000. Версия 5: Свидетельство о государственной регистрации программы для ЭВМ № 2019618036 РФ; Зарег. 26.06.2019.2019