Controller structure simplification and behavioral optimization method based on safety net

Abstract

The invention belongs to the technical field of automatic manufacturing system control and discloses a controller structure simplification and behavioral optimization method based on a safety net. Themethod comprises the following steps: performing primary simplification on an inequation by utilizing a constrained independence analysis algorithm; putting forward a constraint conversion theorem, and realizing equivalent decomposition on the inequation by utilizing a branch and bound method on the basis of the theorem; and simplifying a system of inequalities, obtained through the primary simplification, once again by combining the constrained independence analysis algorithm and a constrained equivalent decomposition algorithm. A model conversion algorithm provided by the invention is not only applicable to a bounded S4R net model but also applicable to certain bounded Petri net models; and compared with the original controller simplification algorithm, the method provided by the invention not only can realize controller structure simplification but also can guarantee the highest state preservation degree of a controlled system, optimization on system behaviors is realized, and resource utilization rate is improved.

Description

technical field [0001] The invention belongs to the technical field of automatic manufacturing system control, in particular to a method for simplifying the structure and optimizing the behavior of a controller based on a safety net. Background technique [0002] With the vigorous development of the manufacturing industry and the improvement of the level of automation technology, the manufacturing and processing technology is constantly innovating and upgrading to adapt to and meet the increasingly competitive market and more diverse and personalized product needs. The traditional batch manufacturing system is gradually eliminated, and the Automated Manufacturing System (AMS) emerges as the times require. A huge automatic manufacturing system usually consists of many interacting and influencing processing processes or NC subsystems. The NC subsystems often share some limited system resources, so the automatic manufacturing system can be considered as a resource allocation sy...

AI Technical Summary

Problems solved by technology

[0005] To sum up, the problem with the existing technology is that the existing technology often sacrifices the reachable state in the system, so that the designed controller is not the maximum allowable, that is, the system cannot retain the state after adding a monitor. The most reachable states reduce the resource utilization of the system

Images