Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10333488" target="_blank" >RIV/00216208:11320/15:10333488 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-15392-6" target="_blank" >http://dx.doi.org/10.1007/978-3-319-15392-6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-15392-6" target="_blank" >10.1007/978-3-319-15392-6</a>
Alternative languages
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 a 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
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
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Nature of Computation and Communication ; International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ISBN
978-3-319-15391-9
ISSN
1867-8211
e-ISSN
—
Number of pages
11
Pages from-to
42-52
Publisher name
SPRINGER INT PUBLISHING AG
Place of publication
Cham, Switzerland
Event location
Ho Chi Minh City, VIETNAM
Event date
Jan 24, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000358614200005