A formal model in control systems design

Abstract

The article describes a method for compiling the control algorithm using computer simulation in MATLAB/Simulink software. The process of the closed control system design is the implementation of the methodology using a formal model. The essence of the control system operation is presented in the block diagrams. Logical verification (off-line simulation) of the correct functioning of the control system based on the formal model was carried out. Simulation has not revealed operation errors ‒ the model calculated the correct output signal values for the simulated values of the input signal. The laboratory stand for hardware verification (on-line simulation) has been developed. Some elements of a real control object were included in the feedback loop of the virtual control system, stored in the computer memory. The course of the hardware verification of the proposed solution has been presented. With a specific signal from the real measuring element, the system calculated the control signal for the real actuator correctly.