| 主权项 |
1. A control system design assist device which assists design of a control system that controls a control object such that the control object outputs a control amount at a target value, the design assist device comprising:
at least one hardware processor configured to
generate, based on a response waveform of the control amount when an operation amount of the control object is changed, a sequence of control timings at which a target deviation, which is a differential between the target value and the control amount, is evaluated, and a sequence of operation timings at which the operation amount is changed, a response prediction formula predicting a variation value of the control amount, from an initial value of the control amount, at each control timing included in the sequence of control timings by using an amount of change of the operation amount at each operation timing included in the sequence of operation timings;generate
a first evaluation formula expressing the target deviation at each of the control timings, based on the response prediction formula and a current value of the target deviation, the first evaluation formula being a logical formula,a second evaluation formula expressing a first constraint condition for an amount of change of the operation amount at each of the operation timings, the second evaluation formula being a logical formula, anda third evaluation formula expressing a second constraint condition for the target deviation at each of the control timings, the third evaluation formula being a logical formula;convert a logical product formula, deriving a logical product of the first to third evaluation formulas, into a first first-order predicate logical formula; andeliminate variables to which a quantifier has been attached in the first first-order predicate logical formula, and generate a control logical formula indicating a relationship between the current value of the target deviation and the change amount of the operation amount; and a display configured to display a region, in which the control logical formula is established, on a graph. |
