Timed Control Program Generation for Multi-Language Conversion
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing program generation technologies for production systems do not consider time requirements for transitions, limiting optimization and productivity, and are restricted to converting programs into specific languages like ladder language, making it difficult to convert into other languages such as ST, FBD, SFC, or general languages like C/C++.
Innovation Solution
A program generation apparatus that converts design information into a model including state sets, input sets, and transition functions with time requirements, derives a control law to satisfy time-related specifications, and generates programs that can be executed in various languages, enhancing operating efficiency and language conversion flexibility.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Manufacturing precision
If a Petri net model is used to express machine transitions, then the model can represent state changes, but it cannot optimize program execution time because time information is not included
Solution Approach 1:
The patent transforms the traditional Petri net model by adding time parameters to transitions. Each transition is assigned a time value representing the duration of the operation, converting the qualitative state transition model into a quantitative timed model that can optimize execution time while maintaining state transition accuracy
Solution Approach 2:
The patent introduces a timed Petri net model as an intermediary representation between the original Petri net and the final control program. This intermediate model incorporates time information and enables systematic derivation of time-optimized control logic through algorithmic processing
2Adaptability or versatility
If a conversion rule is designed for ladder language, then the program can be converted to ladder language, but it cannot be converted to other languages like ST, FBD, SFC, or C/C++
Solution Approach 1:
The patent creates a universal timed Petri net model that serves as a language-independent intermediate representation. This model can be systematically converted to multiple target languages (ladder, ST, FBD, SFC, C/C++) through different translation rules, making the conversion process universal rather than language-specific
Solution Approach 2:
The timed Petri net model acts as an intermediary that decouples the control logic from the target programming language. By representing control logic in this language-neutral formalism first, the system enables flexible conversion to any target language without requiring separate conversion rules for each language pair
Data Source
AI summary
Operating efficiency of a target to be controlled is enhanced, and a degree of freedom in converting a language of a program is enhanced. A program generation apparatus includes: a design information conversion unit that converts design information, which includes a plurality of states of a device, relationships between signals and the states of the device, and time required for changes of the states of the device, into a model, which includes a state set, an input set, a transition function, and time required for transitions; a control law derivation unit that derives a control law, based on a requirements specification including a specification related to the time required for the transitions and the model, so as to satisfy the requirements specification; and a program generation unit that generates a program, based on the control law.