DocumentCode
3327696
Title
Correctness proof on control systems
Author
Zhou, F.Q.
Author_Institution
Intelligent Control Lab., China Univ. of Min. & Technol., Jiangsu, China
fYear
1991
fDate
28 Oct-1 Nov 1991
Firstpage
1567
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Electronics, Control and Instrumentation, 1991. Proceedings. IECON '91., 1991 International Conference on
Conference_Location
Kobe
Print_ISBN
0-87942-688-8
Type
conf
DOI
10.1109/IECON.1991.239102
Filename
239102
Link To Document