-
公开(公告)号:CN117369273A
公开(公告)日:2024-01-09
申请号:CN202311479871.1
申请日:2023-11-08
Applicant: 西安电子科技大学
IPC: G05B13/04
Abstract: 本发明公开了一种自动制造系统的活性监督控制器设计方法。自动制造系统由一类Petri网建模。针对该类Petri网中的一个可控变迁,本发明从一个具有活性监督控制策略的初始状态集合中构造出一个子集,该子集的任何状态下,无论不可控变迁如何发射,可控变迁总是控制使能的。再根据该子集构造出子控制器,该子控制器控制可控变迁的使能。所有可控变迁的子控制器均构造好后,再构造协调器来对子控制器进行协调,协调器确保在一个状态下只能允许一个可控变迁发射。本发明将原本的活性监督控制策略转化为Petri网模型,构成了统一的闭环的受控系统,从而可以借助于Petri网的分析软件进行仿真和分析。