Формальная модель временного обязательства в многоагентных системах реального времени
Авторы:
Аннотация:
Представлена формальная модель взаимодействия агентов в ресурсно-критических многоагентных системах с использованием математического аппарата теории множеств и отношений и применением RTCTL. Предложено расширение концепции обязательства посредством внесения временного параметра в качестве условия выполнимости обязательства.