Keyword:critical system

Papers
Formalization of RBD-based Cause Consequence Analysis in HOL Mohamed Abdelghany and Sofiene Tahar EasyChair Preprint no. 5720
Reliability of human-machine interaction in distributed information environments. Models for morphological analysis and optimization of group activities Evgeniy Lavrov, Nadiia Pasko, Olga Lavrova, Vasyl Kyzenko and Georgiy Kozhevnykov EasyChair Preprint no. 4798
Mathematical models for reducing functional networks to ensure the reliability and cybersecurity of ergatic control systems Evgeniy Lavrov, Nadiia Pasko, Olga Lavrova, Oleksandr Burov and Natalia Morkun EasyChair Preprint no. 4797
Optimization of the Activity of Operators of Critical Systems by Methods of Regulating Operational-Tempo Tension Evgeniy Lavrov and Nadiia Pasko EasyChair Preprint no. 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 Lavrova, Oleksandr Burov and Viacheslav Osadchyi EasyChair Preprint no. 4358