Model for Verification of Agent Commutations of Distributed Multiagent Systems

Oleksandr Martynyuk,Oleksandr Drozd,Anatoliy Sachenko,Hanna Stepova,Bui Van Thuong,Dmitry Martynyuk

2021 IEEE 4th International Conference on Advanced Information and Communication Technologies (AICT)（2021）

引用 0|浏览1

暂无评分

摘要

The development of multi-agent technologies and their widespread implementation in distributed computer systems is due to the properties of autonomy, mobility, intelligence and cooperativity, which provide power and flexibility in solving distributed, dynamic, fuzzy problems. At the same time, it is precisely these characteristic properties of multi-agent systems, that require special measures to ...

查看译文

关键词

Analytical models,Computational modeling,Petri nets,Switches,Probabilistic logic,Time measurement,Topology

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要