Title :
Correctness proof on control systems
Author_Institution :
Intelligent Control Lab., China Univ. of Min. & Technol., Jiangsu, China
fDate :
28 Oct-1 Nov 1991
Abstract :
A scientific approach to the correctness of control systems is described. A new verification approach, the formal proof (FP) method, is presented. Unlike simulation and test, the FP method can give a direct and complete proof of the correction of a control system without being applied to a real machine. This method can also be mechanized, and the automation of correctness verification of control systems can thus be realized
Keywords :
control system analysis; control system synthesis; program verification; control system analysis computing; control system synthesis; correctness verification; formal proof; Automatic control; Automatic testing; Automation; Calculus; Computational modeling; Control system synthesis; Control systems; Intelligent control; Performance evaluation; System testing;
Conference_Titel :
Industrial Electronics, Control and Instrumentation, 1991. Proceedings. IECON '91., 1991 International Conference on
Conference_Location :
Kobe
Print_ISBN :
0-87942-688-8
DOI :
10.1109/IECON.1991.239102
