ABSTRACT
This paper addresses global output-feedback stabilisation in the context of unknown control directions and intrinsic unmeasurable-states-dependent growth, and focuses on rectifying the substantial deficiencies in the related works and developing a new adaptive output-feedback controller essentially reducing conservativeness. First, a varying parameter which takes value 1 or , instead of in an unbounded countable set, is specialised to capture the unknown control direction and accordingly a supervisory mechanism is delicately constructed to decide when to switch the parameter from 1 to or from to 1. A dynamic high gain, rather than a switching one, is appointed to compensate the serious system uncertainties. Then, the wanted controller is constructed, for which the design functions and design parameters are recursively generated by backstepping method (instead of analytically defined owing to the unknown control coefficients). Based on the designations and supervisory mechanism, it turns out that no Zeno phenomenon occurs, and global boundedness and convergence (to zero) hold, both for the resulting closed-loop system. An example is given to show the effectiveness and the advantage of the proposed scheme.
Disclosure statement
No potential conflict of interest was reported by the authors.
Notes
1 * The system is called entire one since it covers all dynamics that will be involved in the controller design in Section 2 and the closed-loop system analysis in Section 4.
2 We first show that sequence is positive and strictly increasing if it indeed exists. Actually, from the left inequality of (Equation8(8) (8) ), i.e., we gain , from which, and , we can prove by induction that for each , there hold , i.e. , and the positiveness of . We then show the existence of sequence . It is easy to check that under constraint (Equation8(8) (8) ), exists. Suppose for induction that there exist 's up to satisfying (Equation8(8) (8) ). Then by the right inequality of (Equation8(8) (8) ), i.e., there holds . Let's now compare the right and left terms of (Equation8(8) (8) ) to confirm the existence of and in turn the existence of all 's. One can see , which directly means the existence of .