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

  • Christian KroißEmail author
  • Tomáš Bureš
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 144)


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.


Statistical model checking Cyber-physical systems Situation calculus Discrete event simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bureš, T., et al.: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase. In: 3rd Workshop on Challenges for Achieving Self-Awareness in Automatic Systems, pp. 71–76. IEEE (2013)Google Scholar
  2. 2.
    Kroiß, C.: Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In: Jezic, G., Kusek, M., Lovrek, I., J. Howlett, R., C. Jain, L. (eds.) Agent and Multi-Agent Systems: Technologies and Applications. AISC, vol. 296, pp. 151–160. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  3. 3.
    Latella, D., et al.: Stochastically timed predicate-based communication primitives for autonomic computing. Technical report, QUANTICOL Project (2014)Google Scholar
  4. 4.
    Legay, A., Delahaye, B., Bensalem, S.: Statistical Model Checking: An Overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122–135. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Levesque, H.J., et al.: Golog: A logic programming language for dynamic domains. The Journal of Logic Programming 31(1), 59–83 (1997)CrossRefzbMATHMathSciNetGoogle Scholar
  6. 6.
    Marcu, D., et al.: Distributed software agents and communication in the situation calculus. In: International Workshop on Intelligent Computer, Communication, pp. 69–78 (1995)Google Scholar
  7. 7.
    Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press (2001)Google Scholar
  8. 8.
    Scherl, R.B.: Reasoning about the interaction of knowledge, time and concurrent actions in the situation calculus. In: 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1091–1098 (2003)Google Scholar
  9. 9.
    Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1), 1–39 (2003)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Wald, A., et al.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics 16(2), 117–186 (1945)CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2015

Authors and Affiliations

  1. 1.Institute for InformaticsLudwig Maximilian University of MunichMunichGermany
  2. 2.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic

Personalised recommendations