[KZB14] A High-Level Nets based Approach for Reconfigurations of Distributed Control SystemsConférence Internationale avec comité de lecture : 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, June 2014, Vol. 1161, pp.36-51, Series CEUR Workshop Proceedings,
Mots clés: Distributed control systems, Reconfiguration, Agent-based system, Recursive ECATNet
Résumé: The paper deals with automatic reconfiguration problems of distributed control systems that are composed of a group/set of networked reconfigurable devices. A multi-agent architecture is proposed such that each device of a distributed control system has a special self-governed agent named reconfiguration sub controller agent to manage its local reconfiguration. Accordingly a communication protocol is developed to handle interaction style among these agents for the purpose of consistency. The proposed architecture is modeled by RECATNets and the distributed reconfiguration process is modeled by an ECATNet. Furthermore, in order to check the correctness of the proposed approach, the model checker Maude is applied, where required properties are specified by Linear Temporal Logic. Finally, a virtual distributed control system contains two reconfigurable devices is applied to illustrate this work.