首页>
外国专利>
CONTROL SYSTEM DESIGN ASSIST DEVICE, CONTROL SYSTEM DESIGN ASSIST PROGRAM, CONTROL SYSTEM DESIGN ASSIST METHOD, OPERATION CHANGE AMOUNT CALCULATION DEVICE, AND CONTROL DEVICE
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.
展开▼