The completeness proofs of knowledge synthesis approach of control systems design
Fang Zhou, Xuming Song · 2002
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.>