Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Research Article

Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems

Download
271 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-15392-6_5,
        author={Christian Kroi\`{a} and Tom\^{a}š Bureš},
        title={Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems},
        proceedings={Nature of Computation and Communication. International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers},
        proceedings_a={ICTCC},
        year={2015},
        month={2},
        keywords={Statistical model checking Cyber-physical systems Situation calculus Discrete event simulation},
        doi={10.1007/978-3-319-15392-6_5}
    }
    
  • Christian Kroiß
    Tomáš Bureš
    Year: 2015
    Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems
    ICTCC
    ICST
    DOI: 10.1007/978-3-319-15392-6_5
Christian Kroiß1,*, Tomáš Bureš2,*
  • 1: Ludwig Maximilian University of Munich
  • 2: Charles University in Prague
*Contact email: kroiss@pst.ifi.lmu.de, bures@d3s.mff.cuni.cz

Abstract

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.