CONTROL SYSTEM DESIGN ASSIST DEVICE, CONTROL SYSTEM DESIGN ASSIST PROGRAM, CONTROL SYSTEM DESIGN ASSIST METHOD, OPERATION CHANGE AMOUNT CALCULATION DEVICE, AND CONTROL DEVICE

摘要

A control system design assist device includes: a response prediction formula generation unit which, on the basis of a response waveform of the control amount when an operation amount is changed and control timings, generates a response prediction formula predicting a variation value at each control timing, by using an amount of change of the operation amount at each operation timing; an evaluation formula generation unit which generates a first evaluation formula that expresses the target deviation at each of the control timings, as a logical formula, a second evaluation formula that expresses a constraint condition for an amount of change of the operation amount at each of the operation timings, as a logical formula, and a third evaluation formula that expresses a constraint condition for the target deviation at each of the control timings, as a logical formula; a first-order predicate logical formula conversion unit which converts a formula deriving a logical product of the first to third evaluation formulas, into a first first-order predicate logical formula; a quantifier eliminating unit which eliminates variables to which a quantifier has been attached in the first first-order predicate logical formula and generates 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 unit which displays the control logical formula on a graph.