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 is provided with: a response prediction formula generation unit that generates, on the basis of a response waveform of a control amount when an operation amount is changed, a control time, and an operation time, a response prediction formula for predicting a control amount variation value at each control time using an operation change amount at each operation time; an evaluation formula generation unit that generates a first evaluation formula expressing a target deviation at each control time as a logical formula, a second evaluation formula expressing a restriction condition for the operation change amount at each operation time as a logical formula, and a third evaluation formula expressing a restriction condition for the target deviation at each control time as a logical formula; a first-order predicate logical formula conversion unit that converts a formula of a logical product of the first to the third evaluation formulas into a first-order predicate logical formula; a quantifier erasing unit that erases variables with a quantifier in the first-order predicate logical formula and generates a control logical formula indicating a relationship between a target deviation current value and the operation change amount; and a display unit that displays the control logical formula on a graph.