Keyword:critical system

Publications
Formalization of RBD-based Cause Consequence Analysis in HOL Mohamed Abdelghany and Sofiene Tahar EasyChair Preprint 5720
Reliability of human-machine interaction in distributed information environments. Models for morphological analysis and optimization of group activities Evgeniy Lavrov, Nadiia Pasko, Olga Siryk, Vasyl Kyzenko and Georgii Kozhevnikov EasyChair Preprint 4798
Mathematical models for reducing functional networks to ensure the reliability and cybersecurity of ergatic control systems Evgeniy Lavrov, Nadiia Pasko, Olga Siryk, Oleksandr Burov and Natalia Morkun EasyChair Preprint 4797
Optimization of the Activity of Operators of Critical Systems by Methods of Regulating Operational-Tempo Tension Evgeniy Lavrov and Nadiia Pasko EasyChair Preprint 4362
Ergonomics of Cyberspace. Mathematical Modeling to Create Groups of Operators for Error-Free and Timely Implementation of Functions in a Distributed Control System Evgeniy Lavrov, Nadiia Pasko, Olga Siryk, Oleksandr Burov and Viacheslav Osadchyi EasyChair Preprint 4358