Static output feedback problem for Lipschitz nonlinear systems
Introduction
The static output feedback (SOF) stabilization is one of the most known and significant problems in control theory. This problem is motivated in many practical applications due to the fact that, state variables are usually not fully accessible in real plants. Furthermore, an output feedback regulator is less expensive to be implemented and is more reliable in practice [1]. It is well-known that, many problems in dealing with synthesis of reduced-order controllers can be reformulated as a SOF controller design involving augmented plants [2], [3].
Unlike the state feedback case, the SOF synthesis for linear systems can be represented as a bilinear matrix inequality (BMI) problem. Due to this nonconvex formulation, the approaches based on necessary and sufficient conditions lead to some computational complexity. Accordingly, various numerical iterative algorithms based on sufficient conditions have been applied to design SOF regulators [4], [5], [6], [7]. The Cone Complementary Linearization (CCL) approach in [5] is well-known for solving bilinear problems and has been widely used to handle coupling constraints.
Many investigations concerning SOF problem in linear systems are presented to achieve certain desirable characteristics [8]. In this case, the SOF problem with H∞ and robust performance are studied in [9], [10], [11], [12]. Also, the output-feedback stabilization for positive linear systems is addressed in [13], [14], [15]. Despite well-known results of SOF problem in linear systems and available synthesis methods, unfortunately the SOF problem for nonlinear systems has not been widely studied as its linear counterpart. (see [1], [16]). Based on solvability of a Hamilton – Jacobi equation, a synthesis approach to obtain output feedback controller for nonlinear systems is suggested in [16]. Also, the output-feedback problem for polynomial nonlinear systems is presented in [17], [18].
The motivation of present work is to extend the SOF problem and related synthesis method in linear systems to the Lipschitz nonlinear systems, in the sense that, many available stability results in literature can be extended and applied to this class of nonlinear systems and further some similar ideas as CCL method in [5] can be utilized to synthesis SOF for nonlinear systems. The Lipschitz nonlinear systems usually arise in practical applications [19], [20] due to increasing the domain of attraction as well as due to some perturbed nonlinearities in dynamic equation.
By considering the differentiability of dynamic system, one can achieve a linearization of dynamic model without utilizing any transformation, and further the Lipschitz condition is satisfied at least locally. Also, the considered model can be obtained via employing some coordinate transformations. Specifically, the concept of uniform observability allows to transform the affine nonlinear systems into some canonical forms in which the linear and nonlinear parts of dynamic model have some triangular structures (see direct and indirect methods in [19]). The observer synthesis for Lipschitz nonlinear systems has received considerable attention during decades (see [19], [20], [21], [22] and references therein) where some methods utilize the structural knowledge of nonlinearities to achieve less conservative results in synthesis problem [19], [21], [22]. Also the observer-based controller for Lipschitz nonlinear systems is suggested in [23], [24].
Related to the contribution of this paper, the stabilization problem via a reduced-order controller for Lipschitz nonlinear systems is first formulated as a general SOF problem, and some challenges such as equilibrium point of closed loop nonlinear dynamic and regulation problem are discussed. The main contribution of paper is presented where the stability of closed loop dynamic via both static and dynamic output feedback controllers are established for Lipschitz nonlinear systems. In this case, the sufficient conditions to obtain rth-order output feedback controller are presented. In order to achieve less conservative results, the stability criterion is derived to encompass some structural knowledge of Lipschitz nonlinearity. Accordingly, compared with linear systems, the Lyapunov-based inequalities concerning stability problem have been extended to the Riccati-based inequalities in Lipschitz nonlinear systems (see Theorems 1 and 4). Moreover, it is shown that, for the class of Lipschitz nonlinear systems, the proposed condition is a necessary and sufficient condition to ensure stability via static gain. Finally, a practical synthesis approach is introduced based on CCL method in [5]. In fact, applying CCL method allows to satisfy the proposed Riccati-based matrix inequalities in stability problem with minimum order of output feedback controller for Lipschitz nonlinear systems. Note that, the proposed method does not involve complicated approach based on solving a constrained Hamilton – Jacobi equation in [16].
The paper is organized as follows. In Section 2, the system description and some preliminarily results on SOF problem are presented. Section 3 is devoted to stability analysis of Lipschitz nonlinear systems via an output-feedback regulator. The synthesis approach by adopting CCL method is further studied. The simulation results on two practical systems are presented in Section 4 to demonstrate the effectiveness of proposed synthesis method. The concluding remarks are finally given in Section 5.
Notation: For real symmetric matrices X and Y, the notation X > Y (X ≥ Y) means that the matrix is positive (semi)definite. The prime ′ represents complex conjugate transpose and star ⋆ denotes the complex conjugate transpose of corresponding element in LMI’s. The matrix I is an identity matrix and C⊥ (respectively, B⊥) represents a full rank orthogonal null space such that (respectively, ). Also, the function ρ(.) is used to express the rank of matrices and the matrices if not explicitly stated, are assumed to have compatible dimensions.
Section snippets
Preliminarily results
The present paper deals with a fairly general class of nonlinear systems, in which the nonlinearities are assumed to be Lipschitz. These systems are described bywhere x ∈ Rn, u ∈ Rm and y ∈ Rp represent the system states, inputs and outputs respectively. A, B and C are constant matrices where B is full column rank and C is full row rank matrices and the pairs (A, B) and (A, C) are stabilizable and detectable respectively. Assumption 1 It is assumed that, the nonlinear function Φ(x, u, t
Main results
The output-feedback stabilization problem for Lipschitz nonlinear system (1) is discussed in this section. For a given gain matrix K in (5) and (7), by defining the error signal as the error dynamic is given bywhere . The inequality (6) reveals a bound on nonlinear function as where . By extending the results of Theorem 1 when Φ(x, u, t) ≠ 0, the conditions to guarantee stability of Lipschitz nonlinear
Simulation examples
Example 1 The dynamic model of a single-link manipulator with flexible joints can be described by means of two second-order differential equations (see [26] pp. 215–216 and [27]). The variables θm and θl denote angular rotations of the motor and the link respectively, and, ωm and ωl are their angular velocities. By defining the model can be represented by Eq. (1) aswhere . The system parameters are set as
Conclusion
An approach to design output feedback regulator for Lipschitz nonlinear systems is presented. The proposed method is established by extending the well-known results of linear systems. The sufficient conditions based on coupled Riccati inequalities are given to achieve stability of closed loop system via static and dynamic regulators. By considering some structural knowledge of nonlinearity, the stability analysis with less conservative results is presented. Moreover, it is shown that the
Acknowledgment
This work is supported by the Iran National Science Foundation (INSF), under research Grant no. 98001450.
References (30)
- et al.
Static output feedback-a survey
Automatica
(1997) - et al.
All controllers for the general H∞ control problem: LMI existence conditions and state space formulas
Automatica
(1994) - et al.
Static output feedback stabilization: an ILMI approach
Automatica
(1998) - et al.
Robust static output feedback control synthesis for linear continuous systems with polytopic uncertainties
Automatica
(2013) - et al.
Robust static output feedback H∞ control design for linear systems with polytopic uncertainties
Syst. Control Lett.
(2015) - et al.
Robust static output feedback infinite horizon RMPC for linear uncertain systems
J. Frankl. Inst.
(2016) - et al.
Static output-feedback robust gain-scheduling control with guaranteed H2 performance
J. Frankl. Inst.
(2018) - et al.
Exponential stability for positive systems with bounded time-varying delays and static output feedback stabilization
J. Frankl. Inst.
(2013) - et al.
Static output-feedback stabilization with optimal l1-gain for positive linear systems
Automatica
(2016) - et al.
Mixed internal model-based and feedforward control for robust tracking in nonlinear systems
Automatica
(2000)
Gain scheduling via linear fractional transformations
Syst. Control Lett.
Static output feedback stabilization of linear and nonlinear systems
Proceedings of the 39th IEEE Conference on Decision and Control, Sydney, Australia
The XY-centring algorithm for the dual LMI problem: a new approach to fixed-order control design
Int. J. Control
A cone complementarity linearization algorithm for static output-feedback and related problems
IEEE Trans. Autom. Control
Combining convex–concave decompositions and linearization approaches for solving BMIs, with application to static output feedback
IEEE Trans. Autom. Control
Cited by (12)
Further results on the finite-time static output feedback control for nonlinear singular systems
2023, Journal of the Franklin InstituteKnowledge representation and decoupling analysis on failure mechanisms of remotely controlled intelligent machinery
2022, Information Processing in AgricultureCitation Excerpt :The state feedback decoupling method is used to analyze the complexity of remotely controlled intelligent systems. The decoupling process between systems is to compensate for feedback from the system, and the feedback [25,26] in the system is an embodiment of the action and reaction between various subsystems. It is necessary to study the feedback mechanism during operation.
Admissibility analysis and passive output feedback control for one-sided Lipschitz nonlinear singular Markovian jump systems with uncertainties
2021, Applied Mathematics and ComputationRobust stabilization and adaptive H<inf>∞</inf> control of nonlinear singular systems via static output feedback
2024, Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering