Logic-based modeling of information transfer in cyber-physical multi-agent systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10318523" target="_blank" >RIV/00216208:11320/16:10318523 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1016/j.future.2015.09.013" target="_blank" >http://dx.doi.org/10.1016/j.future.2015.09.013</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.future.2015.09.013" target="_blank" >10.1016/j.future.2015.09.013</a>

Result language

angličtina

Original language name

Logic-based modeling of information transfer in cyber-physical multi-agent systems

Original language description

In modeling multi-agent systems, the structure of their communication is typically one of the most important aspects, especially for systems that strive toward self-organization or collaborative adaptation. Traditionally, such structures have often been described using logic-based approaches as they provide a formal foundation for many verification methods. However, these formalisms are typically not well suited to reflect the stochastic nature of communication in the cyber-physical setting. In particular, their level of abstraction is either too high to provide sufficient accuracy or too low to be practicable in more complex models. Therefore, we propose an extension of the logic-based modeling language SALMA, which we have introduced recently, that provides adequate high-level constructs for communication and data propagation, explicitly taking into account stochastic delays and errors. In combination with SALMA's tool support for simulation and statistical model checking, this creates a pragmatic approach for verification and validation of cyber-physical multi-agent systems. Logic-based modeling of information transfer in multi-agent systems.Considers stochastic nature of communication in the cyber-physical setting.Allows property specification with first-order time-bounded LTL. Can be used for statistical model checking.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/7E12045" target="_blank" >7E12045: Autonomic Service-Component Ensembles</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2016

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Future Generation Computer Systems

ISSN

0167-739X

e-ISSN

—

Volume of the periodical

56

Issue of the periodical within the volume

March 2016

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

16

Pages from-to

124-139

UT code for WoS article

000368652500010

EID of the result in the Scopus database

2-s2.0-84958741702