Control system design support device, control system design support program, control system design support method, operation change amount calculation device, and control device

摘要

Generates a response prediction formula that predicts the control amount fluctuation value at each control time using the operation change amount at each operation time based on the control amount response waveform, control time, and operation time when the operation amount is changed A response prediction formula generating unit, a first evaluation formula that expresses a target deviation at each control time as a logical formula, a second evaluation formula that expresses a constraint condition of an operation change amount at each operation time as a logical formula, An evaluation expression generator for generating a third evaluation expression that expresses the constraint condition of the target deviation at each control time as a logical expression, and an expression obtained by ANDing the first to third evaluation expressions is a first order predicate logic. The first-order predicate logical expression conversion unit that converts to an expression and the variable with the quantifier in the first-order predicate logical expression are deleted, and a control logical expression that indicates the relationship between the current value of the target deviation and the operation change amount is generated. Limit symbol erasing unit and control logic formula And a display unit for displaying on the rough.