В работе рассматривается генерация формальных моделей для промышленных систем управления на основе функциональных блоков с временными штампами.

Шатров В.В. (науч. рук. Чивилихин Д.С.) Верификация программ управления киберфизическими системами с временными штампами // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/113