一种分布式制造系统控制结构的形式化建模方法

Formal Modeling Method for Control Structure of Distributed Manufacturing System

针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结构,结合有限状态自动机理论和制造系统自身混杂特性,提出一种优化自动机。同时,考虑到建模过程中Agent层次的动态划分和重组,进而提出了改进型动态控制元结构模型。最后,以瓷砖生产线为例,借助MATLAB为实验工具设计了相应的仿真实验,验证了所提理论和建模方法的可行性和有效性。

According to the characteristic of distributed manufacturing system, the research of the control structure was focused by use of formal method and multi-agent theory and then the modified dynamic control cell structure was proposed based on a kind of improvement automata. Firstly, based on multi-agent theory, each node in the distributed manufacturing system was modeled as an Agent. Secondly, for the internal structure of the Agent, considering the Finite State Machine theory and the hybrid characteristics of the manufacturing system, a kind of improvement automata was suggested. Meanwhile, to analyze the dynamic hierarchical division and recombinant of the Agent, the modified dynamic control cell structure was eventually proposed. In the end, taking the tile production line as an example, the simulation experiments were designed by use of MATLAB software. The experiment results and obtained model suggest that the proposed method is feasible and effective.