A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems
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.