Abstract Articolo

Titolo: Bigraph Theory for Distributed and Autonomous Cyber-Physical System Design

Citazione: Vincenzo Di Lecce, Alberto Amato, Alessandro Quarto, and Marco Minoia, "Bigraph Theory for Distributed and Autonomous Cyber-Physical System Design," IAENG International Journal of Computer Science, vol. 47, no. 1, pp37-46, 2020

Abstract: This paper proposes a multi agent system (MAS) implementing an innovative monitoring and control technique for industrial wastewater. Nowadays Cyber-Physical System (Cps) and Internet of Things (IoT) are becoming ever more common in this field. This fact led to the implementation of systems composed of many computing units intercommunicating mutually and characterized by computational power being adequate to the task to be carried out. The proposed MAS uses a cooperative approach among the various agents to achieve the global goal. The system knowledge is shared among agents. After an initial learning stage, the agents can cooperate to hit the global objective and eventually to self-assess the failure of some components. The system has been designed by means of the bigraph theory approach.

Keyword: bigraph, Cyber-Physical Systems, Internet of Things, model checking, monitoring, multi-agent system

---