Simplification and Design Method of Petri Net Controller Based on Disjunctive Generalized Mutual Exclusion Constraints
A controller and generalized technology, which is applied in the field of simplification and design of Petri net controllers based on disjunctive generalized mutual exclusion constraints, can solve the problems of excessive controller scale, large controller scale, complex structure, etc. The effect of degree reduction and connection arc reduction
Active Publication Date: 2022-06-07
XIDIAN UNIV
View PDF4 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0004] In summary, the existing problems in the prior art are: the number of generalized mutual exclusion constraints in the prior art is usually used as an index to evaluate the complexity of the controller structure, and a large number of inequalities means multiple control strategies, which leads to the controller The larger the scale, the more complex the structure
Existing solutions involving non-convex optimization only go to two-dimensional space, which makes it impossible to discuss further
[0007] (2) The number of places in the analysis-type constraint inequality cannot be determined, so the design method cannot distinguish whether the constraint space executed by the original system is two-dimensional or more than three-dimensional, and an algorithm with strong applicability must be designed
It is conceivable that when the original manufacturing system is complex, the scale of many controllers will even exceed the size of the original control system for the many control requirements proposed
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment 1
[0108] Embodiment 1: There are the following forms of original network, such as figure 2 shown;
[0109] The following GMEC constraints need to be enforced
[0110]
[0111] According to the definition of OR-AND GMEC, it can be expressed as W OA ={(W 1 ,k 1 ),(W 2 ,k 2 )} where (W 1 ,k 1 )(W 2 ,k 2 ) each contains 4 separate GMECs;
[0112] (w 11 ,k 11 )=([1,1,1,0,0,0] T ,2),(w 12 ,k 12 )=([0,1,0,0,0,0] T ,1)
[0113] (w 13 ,k 13)=([0,0,0,1,1,0] T ,3),(w 14 ,k 14 )=([0,0,0,1,0,0] T ,2)
[0114] (w 21 ,k 21 )=([0,1,1,0,0,0] T ,2),(w 22 ,k 22 )=([1,0,0,0,0,0] T ,2)
[0115] (w 23 ,k 23 )=([0,0,0,1,1,0] T ,4),(w 24 ,k 24 )=([0,0,0,0,1,0] T ,1)
[0116] Partitioning the above inequality constraints can be divided into two groups, including M(p 1 ), M(p 2 ), M(p 3 ) controls the place inequality and contains M(p 4 ), M(p 5 ) controls the place inequality. For this disjunctive constraint in the first set of inequalities W 1 W 2 respec...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention belongs to the technical field of automatic manufacturing systems, and discloses a method for simplifying and designing a Petri net controller based on a disjunctive generalized mutual exclusion constraint. The simplified design method for a Petri net controller based on a disjunctive generalized mutual exclusion constraint includes the following Steps: Simplify the constraint inequality for the first time through the low-dimensional inequality; use the partition method to realize the equivalent decomposition of the high-dimensional constraint inequality, and give the corresponding algorithm; use the simplified inequality to design the controller. The complexity reduction of the present invention is reflected in the change of the simplified combination form of each constraint inequality in the disjunctive specification, the reduction of connection arcs and the reduction of the number of added places. The present invention uses Petri net as a mathematical tool, and after applying low-dimensional logic function Karnaugh map simplification and high-dimensional partition simplification algorithm, it continues to control the original network system. For disjunctive type constraint inequalities, the complexity of the designed controller is greatly reduced.
Description
technical field [0001] The invention belongs to the technical field of automatic manufacturing systems, in particular to a simplification and design method of a Petri net controller based on disjunctive generalized mutual exclusion constraints. Background technique [0002] At present, the closest existing technology: In today's era of rapid industrialization, the design of automatic control systems has become a hot research topic for many people. The development of science and technology has also made the human society's requirements for product function and quality higher and higher, so the manufacturing process of the product is particularly important. The traditional manufacturing system has been far from meeting the many demands of the market for products. At the same time, fierce market competition has also fundamentally changed this traditional manufacturing system. The viability and competitiveness of an automated manufacturing system depends to a large extent on t...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G05B19/418
CPCG05B19/41885G05B2219/32339Y02P90/02
Inventor 王慧霞胡核算马艳
Owner XIDIAN UNIV