Study On Multi-Agent-based Cooperation Logic For Cyber-physical Systems

Cyber-Physical Systems(CPS) are widely used in many important areas, such as transportation, medical, energy, etc. Agent is an intelligent entity, whose theory and technology have been widely applied in the modern computer science. But at present, there are some problems, such as the cooperation model of CPS is not unified and the robustness of the system is not enough strong and the verification methods are not standard in the verification process and the performance analysis is deficient in the analyzing the system. Based on this, the Multi-Agent Systems are applied in the CPS to analyse the cooperation behaviors. The paper presents the cooperation logic of the Multi-Agent for CPS, to ensure each Agent can interact and fuse effectively and orderly in CPS.Firstly, this paper proposes a cooperation model based the Multi-Agent for CPS, which can better describe the characteristics, behavior and cooperation process, and the formal model, semantics and grammar will help establish the logical thinking of CPS, which can abstract the cooperation behavior and process about the Multi-Agent in the CPS; secondly, the paper presents the algorithm of the evaluation robustness value based the Multi-Agent for the CPS, and uses the examples to verify the algorithm and analyse the performance; finally, the paper uses the formal description for the model based the Multi-Agent for the CPS and uses the checking tool to build the timed automata for the special example and verified the reliability and correctness of the system according to the model checking method and analysed the cooperation behavior of the system.The case shows that the proposed cooperation logic, temporal logic robustness value evaluation algorithm and the validation model in this paper are feasible and effective, which can ananlyse the cooperation behavior of the Multi-Agent for CPS and improve the stability and robustness of the system. At the same time, the verification process is standardized to ensure the safety and reliability of the system.