Abstract
We use a process calculus to describe easily multiagent systems with timeouts for mobility and communication, and with assigned costs for agents actions and for the locations of a distributed network. After presenting an operational semantics and some results regarding this calculus, we provide a translation of the multiagent systems to weighted timed automata having a bisimilar behaviour. Such a translation allows the use of an existing software tool for verification of various properties of the multiagent systems, and for optimizing the costs involved in the distributed networks of mobile agents.
Cite
CITATION STYLE
Aman, B., & Ciobanu, G. (2020). Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12011 LNCS, pp. 441–453). Springer. https://doi.org/10.1007/978-3-030-38919-2_36
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
