A Universal Feedback Controller for Discontinuous Dynamical Systems Using Nonsmooth Control Lyapunov Functions

Author(s):  
Teymur Sadikhov ◽  
Wassim M. Haddad

The consideration of nonsmooth Lyapunov functions for proving stability of feedback discontinuous systems is an important extension to classical stability theory since there exist nonsmooth dynamical systems whose equilibria cannot be proved to be stable using standard continuously differentiable Lyapunov function theory. For dynamical systems with continuously differentiable flows, the concept of smooth control Lyapunov functions was developed by Artstein to show the existence of a feedback stabilizing controller. A constructive feedback control law based on a universal construction of smooth control Lyapunov functions was given by Sontag. Even though a stabilizing continuous feedback controller guarantees the existence of a smooth control Lyapunov function, many systems that possess smooth control Lyapunov functions do not necessarily admit a continuous stabilizing feedback controller. However, the existence of a control Lyapunov function allows for the design of a stabilizing feedback controller that admits Filippov and Krasovskii closed-loop system solutions. In this paper, we develop a constructive feedback control law for discontinuous dynamical systems based on the existence of a nonsmooth control Lyapunov function defined in the sense of generalized Clarke gradients and set-valued Lie derivatives.

Author(s):  
Wassim M. Haddad ◽  
Sergey G. Nersesov

This chapter introduces the notion of a control vector Lyapunov function as a generalization of control Lyapunov functions, showing that asymptotic stabilizability of a nonlinear dynamical system is equivalent to the existence of a control vector Lyapunov function. These control vector Lyapunov functions are used to develop a universal decentralized feedback control law for a decentralized nonlinear dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. The chapter also describes the connections between the notion of vector dissipativity and optimality of the proposed decentralized feedback control law. The proposed control framework is then used to construct decentralized controllers for large-scale nonlinear dynamical systems with robustness guarantees against full modeling uncertainty.


2019 ◽  
Vol 142 (2) ◽  
Author(s):  
Wassim M. Haddad ◽  
Xu Jin

Abstract In this paper, we develop a constructive finite time stabilizing feedback control law for stochastic dynamical systems driven by Wiener processes based on the existence of a stochastic control Lyapunov function. In addition, we present necessary and sufficient conditions for continuity of such controllers. Moreover, using stochastic control Lyapunov functions, we construct a universal inverse optimal feedback control law for nonlinear stochastic dynamical systems that possess guaranteed gain and sector margins. An illustrative numerical example involving the control of thermoacoustic instabilities in combustion processes is presented to demonstrate the efficacy of the proposed framework.


Author(s):  
Andy Zelenak ◽  
Benito Fernández ◽  
Mitch Pryor

If a Lyapunov function is known, a dynamic system can be stabilized. However, the search for a Lyapunov function is often challenging. This paper takes a new approach to avoid such a search; it assumes a basic Control Lyapunov Function [CLF] then seeks to numerically diminish the value of the Lyapunov function. If a singularity arises during calculations with the default CLF, a complementary function is used. The complementary function eliminates a common cause of singularities with the default CLF. While many other algorithms from the literature use switched or time-varying CLF’s, the presented method is unique in that the CLF’s do not require prior calculation and the technique applies globally. The method is proven and demonstrated for SISO systems in normal form and then demonstrated on a higher-order system of a more general type.


2014 ◽  
Vol 2014 ◽  
pp. 1-8
Author(s):  
Keizo Okano ◽  
Kojiro Hagino ◽  
Hidetoshi Oya

A new nonlinear control law for a class of nonlinear systems with disturbance is proposed. A control law is designed by transforming control Lyapunov function (CLF) to input-to-state stability control Lyapunov function (ISS-CLF). The transformed CLF satisfies a Hamilton-Jacobi-Isaacs (HJI) equation. The feedback system by the proposed control law has characteristics ofL2gain. Finally, it is shown by a numerical example that the proposed control law makes a controller by feedback linearization robust against disturbance.


1999 ◽  
Vol 121 (4) ◽  
pp. 594-598 ◽  
Author(s):  
V. Radisavljevic ◽  
H. Baruh

A feedback control law is developed for dynamical systems described by constrained generalized coordinates. For certain complex dynamical systems, it is more desirable to develop the mathematical model using more general coordinates then degrees of freedom which leads to differential-algebraic equations of motion. Research in the last few decades has led to several advances in the treatment and in obtaining the solution of differential-algebraic equations. We take advantage of these advances and introduce the differential-algebraic equations and dependent generalized coordinate formulation to control. A tracking feedback control law is designed based on a pointwise-optimal formulation. The stability of pointwise optimal control law is examined.


2002 ◽  
Vol 02 (02) ◽  
pp. 251-263 ◽  
Author(s):  
LAURENT DAUMAIL ◽  
PATRICK FLORCHINGER

The aim of this paper is to extend Artstein's theorem on the stabilization of affine in the control nonlinear deterministic systems to nonlinear stochastic differential systems when both the drift and the diffusion terms are affine in the control. We prove that the existence of a smooth control Lyapunov function implies smooth stabilizability.


Author(s):  
Qian Zheng ◽  
Fen Wu

In this paper, we will study the state feedback control problem of polynomial nonlinear systems using fractional Lyapunov functions. By adding constraints to bound the variation rate of each state, the general difficulty of calculating derivative of nonquadratic Lyapunov function is effectively overcome. As a result, the state feedback conditions are simplified as a set of Linear Matrix Inequalities (LMIs) with polynomial entries. Computationally tractable solution is obtained by Sum-of-Squares (SOS) decomposition. And it turns out that both of the Lyapunov matrix and the state feedback gain are state dependent fractional matrix functions, where the numerator as well as the denominator can be polynomials with flexible forms and higher nonlinearities involved in. Same idea is extended to a class of output dependent nonlinear systems and the stabilizing output feedback controller is specified as polynomial of output. Synthesis conditions are similarly derived as using constant Lyapunov function except that all entries in LMIs are polynomials of output with derivative of output involved in. By bounding the variation rate of output and gridding on the bounded interval, the LMIs are solvable by SOS decomposition. Finally, two examples are used to materialize the design scheme and clarify the various choices on state boundaries.


Author(s):  
Wassim M. Haddad ◽  
Sergey G. Nersesov

This chapter extends the notion of control vector Lyapunov functions to impulsive dynamical systems. Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In particular, the use of vector Lyapunov functions in dynamical system theory offers a very flexible framework since each component of the vector Lyapunov function can satisfy less rigid requirements as compared to a single scalar Lyapunov function. Using control vector Lyapunov functions, the chapter develops a universal hybrid decentralized feedback stabilizer for a decentralized affine in the control nonlinear impulsive dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. These results are used to develop hybrid decentralized controllers for large-scale impulsive dynamical systems with robustness guarantees against full modeling and input uncertainty.


2021 ◽  
Vol 3 ◽  
pp. 5-17
Author(s):  
Denis Khusainov ◽  
◽  
Alexey Bychkov ◽  
Andrey Sirenko ◽  
Jamshid Buranov ◽  
...  

This work is devoted to the further development of the study of the stability of dynamic systems with switchings. There are many different classes of dynamical systems described by switched equations. The authors of the work divide systems with switches into two classes. Namely, on systems with definite and indefinite switchings. In this paper, the system with certain switching, namely a system composed of differential and difference sub-systems with the condition of decreasing Lyapunov function. One of the most versatile methods of studying the stability of the zero equilibrium state is the second Lyapunov method, or the method of Lyapunov functions. When using it, a positive definite function is selected that satisfies certain properties on the solutions of the system. If a system of differential equations is considered, then the condition of non-positiveness (negative definiteness) of the total derivative due to the system is imposed. If a difference system of equations is considered, then the first difference is considered by virtue of the system. For more general dynamical systems (in particular, for systems with switchings), the condition is imposed that the Lyapunov function does not increase (decrease) along the solutions of the system. Since the paper considers a system consisting of differential and difference subsystems, the condition of non-increase (decrease of the Lyapunov function) is used.For a specific type of subsystems (linear), the conditions for not increasing (decreasing) are specified. The basic idea of using the second Lyapunov method for systems of this type is to construct a sequence of Lyapunov functions, in which the level surfaces of the next Lyapunov function at the switching points are either «stitched» or «contain the level surface of the previous function».


Sign in / Sign up

Export Citation Format

Share Document