Logic-based modeling of information transfer in cyber-physical multi-agent systems
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Logic-based modeling of information transfer in cyber-physical multi-agent systems
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Logic-based modeling of information transfer in cyber-physical multi-agent systems
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/7E12045" target="_blank" >7E12045: Autonomic Service-Component Ensembles</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Future Generation Computer Systems
ISSN
0167-739X
e-ISSN
—
Svazek periodika
56
Číslo periodika v rámci svazku
March 2016
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
16
Strana od-do
124-139
Kód UT WoS článku
000368652500010
EID výsledku v databázi Scopus
2-s2.0-84958741702