Основные направления исследований
- Разработка процесс-ориентированных языков технологического программирования
- Разработка теоретической базы и создание средств проектирования реактивных систем
- Разработка средств спецификации требований к реактивным системам
- Разработка методов верификации киберфизических систем
- Разработка нейросетевых алгоритмов для целей киберфизических систем
Область интересов
Языки технологического программирования, процесс-ориентированное программирование, киберфизические системы, реактивные системы, встраиваемые системы, IoT (IIoT), сложные управляющие алгоритмы, теория конечных автоматов, модель гипер-автомата, событийный полиморфизм, семиотика и прагматика, психология программирования, массовый логический параллелизм, язык Рефлекс, язык IndustrialC, языки стандарта IEC 61131-3
|
 |
