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

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