Title :
The completeness proofs of knowledge synthesis approach of control systems design
Author :
Zhou, F.Q. ; Song, X.Q.
Author_Institution :
Dept. of Autom. Eng., China Univ. of Min. & Technol., Jiangsu, China
fDate :
28 Oct-1 Nov 1991
Abstract :
Completeness is an important feature that any control system design method must have. The completeness of a control system design method means that if a design problem is solvable under some axiom system, then the control system which satisfies some particular demand can certainly be designed according to this method. The authors give a detailed proof for completeness of a knowledge synthesis approach
Keywords :
control system synthesis; knowledge engineering; axiom system; completeness proofs; control systems design; knowledge synthesis; Calculus; Control design; Control system synthesis; Control systems; Intelligent control; Laboratories;
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.239117
