Control vector Lyapunov functions for large-scale impulsive dynamical systems

Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory in order to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In this paper, we provide generalizations to the recent extensions of vector Lyapunov theory for continuous-time systems to address stability and control design of impulsive dynamical systems via vector Lyapunov functions. Specifically, we provide a generalized comparison principle involving hybrid comparison dynamics that are dependent on the comparison system states as well as the nonlinear impulsive dynamical system states. Furthermore, we develop stability results for impulsive dynamical systems that involve vector Lyapunov functions and hybrid comparison inequalities. Based on these results, we show that partial stability for state-dependent impulsive dynamical systems can be addressed via vector Lyapunov functions. Furthermore, we extend the recently developed notion of control vector Lyapunov functions to impulsive dynamical systems. Using control vector Lyapunov functions, we construct 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 then used to develop hybrid decentralized controllers for large-scale impulsive dynamical systems with robustness guarantees against full modeling and input uncertainty.     

Robust H∞ control for a class of switched nonlinear cascade systems via multiple Lyapunov functions approach

This paper addresses the problem of robust H_∞ control for a class of switched nonlinear cascade systems with parameter uncertainty using the multiple Lyapunov functions (MLFs) approach. Each subsystem under consideration is composed of two cascade-connected parts. The uncertain parameters are assumed to be in a known compact set and are allowed to enter the system nonlinearly. Based on the explicit construction of Lyapunov functions, which avoids solving the Hamilton-Jacobi equations, sufficient conditions for the solvability of the robust H_∞ control problem are presented. As an application, the hybrid robust H_∞ control problem for a class of uncertain non-switched nonlinear cascade systems is solved when no single continuous controller is effective. Finally, a numerical example is provided to demonstrate the feasibility of the proposed method.     

基于符号数值混合计算的混成系统Lyapunov函数构造

基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性,首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.     

Adaptive Stabilization of Nonlinear Stochastic Systems

The purpose of this paper is to study the problem of asymptotic stabilization in probability of nonlinear stochastic differential systems with unknown parameters. With this aim, we introduce the concept of an adaptive control Lyapunov function for stochastic systems and we use the stochastic version of Artstein's theorem to design an adaptive stabilizer. In this framework the problem of adaptive stabilization of a nonlinear stochastic system is reduced to the problem of asymptotic stabilization in probability of a modified system. The design of an adaptive control Lyapunov function is illustrated by the example of adaptively quadratically stabilizable in probability stochastic differential systems. Accepted 9 December 1996     

凸多面体非线性系统的逆次优控制

对于一类多输入凸多面体非线性系统,研究了其逆次优控制问题.基于鲁棒控制Lyapunov函数和空间分解技术,给出了系统的逆次优控制器存在的充分条件,并进一步给出了逆次优控制器的构造方法.最后指出,作为系统的渐近镇定控制器,逆次优控制器具有较小的保守性.     

Energy interaction between linear and nonlinear oscillators (energy transfer through the subsystems in a hybrid system)

The analysis of the energy transfer between subsystems coupled in a hybrid system is an urgent problem for various applications. We present an analytic investigation of the energy transfer between linear and nonlinear oscillators for the case of free vibrations when the oscillators are statically or dynamically connected into a double-oscillator system and regarded as two new hybrid systems, each with two degrees of freedom. The analytic analysis shows that the elastic connection between the oscillators leads to the appearance of a two-frequency-like mode of the time function and that the energy transfer between the subsystems indeed exists. In addition, the dynamical linear constraint between the oscillators, each with one degree of freedom, coupled into the hybrid system changes the dynamics from single-frequency modes into two-frequency-like modes. The dynamical constraint, as a connection between the subsystems, is realized by a rolling element with inertial properties. In this case, the analytic analysis of the energy transfer between linear and nonlinear oscillators for free vibrations is also performed. The two Lyapunov exponents corresponding to each of the two eigenmodes are expressed via the energy of the corresponding eigentime components. Published in Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 796–814, June, 2008.     

Optimal disturbance rejection control for nonlinear impulsive dynamical systems

In this paper, we develop an optimality-based framework for addressing the problem of nonlinear–nonquadratic hybrid control for disturbance rejection of nonlinear impulsive dynamical systems with bounded exogenous disturbances. Specifically, we transform a given nonlinear–nonquadratic hybrid performance criterion to account for system disturbances. As a consequence, the disturbance rejection problem is translated into an optimal hybrid control problem. Furthermore, the resulting optimal hybrid control law is shown to render the closed-loop nonlinear input–output map dissipative with respect to general supply rates. In addition, the Lyapunov function guaranteeing closed-loop stability is shown to be a solution to a steady-state hybrid Hamilton–Jacobi–Isaacs equation and thus guaranteeing optimality.     

Hybrid event-triggered and impulsive control for time-delay systems

In this paper, we study the problem of hybrid event-triggered control for a class of nonlinear time-delay systems. Using a Razumikhin-type input-to-state stability result for time-delay systems, we design an event-triggered control algorithm to stabilize the given time-delay system. In order to exclude Zeno behavior, we combine the impulsive control mechanism with our event-triggered strategy. In this sense, the proposed algorithm is a hybrid impulsive and event-triggered strategy. Sufficient conditions for the stabilization of the nonlinear systems with time delay are obtained by using Lyapunov method and Razumikhin technique. Numerical simulations are provided to show the effectiveness of our theoretical results.     

一类非线性系统的时滞相关H∞控制

本文研究一类非线性控制系统的时滞相关日。控制问题．首先通过构造恰当的Lyapunov泛函,设计非线性H∞控制器,得到了该类非线性控制系统渐近稳定的一个充分条件．其次通过建立具有线性矩阵不等式（LMI）约束的凸优化问题,得到了该类非线性系统的时滞相关H∞性能的一个充分条件．MATLAB仿真验证了本文方法的可行性．     

Method for Constructing Piecewise Quadratic Value Functions in a Control Problem for a Switched System

The problem of constructing internal approximations to solvability sets and the control synthesis problem for a piecewise linear system with control parameters and disturbances (uncertainties) are solved. The solution is based on the comparison principle and piecewise quadratic value functions of a special form. Relations defining such functions and, in particular, “continuous binding conditions” for the functions and their first derivatives are obtained. The results are used to construct numerical methods for solving the control synthesis problem for the class of switched systems under study. An example of approximate solution of the control synthesis problem in a target control problem for a nonlinear mathematical model of a pendulum with a flywheel is considered.     

Hybrid synthesis of the optimal discrete nonlinear filter

It has been known for many years that an optimal discrete nonlinear filter may be synthesized for systems whose plant dynamics, sensor characteristics and signal statistics are known by applying Bayes' Rule to sequentially update the conditional probability density function from the latest data. However, it was not until 1969 that a digital computer algorithm implementing the theory for a one-state variable one-step predictor appeared in the literature. This delay and the continuing scarcity of multidimensional nonlinear filters result from the overwhelming computational task which leads to unrealistic data processing times. For many nonlinear filtering problems analog and digital computers (a hybrid computation) combine to yield a higher data rate than can be obtained by con¬ventional digital methods. This paper describes an implementation of the theory by means of a hybrid computer algorithm for the optimal nonlinear one-step predictor.

The hybrid computer algorithm presented reduces the overall solution time per prediction because:

1) Many large computations of identical form are executed on the analog computer in parallel.

2) The discrete running variable in the digital algorithm may be replaced with a continuous analog computer variable in one or more dimensions leading to increased computational speed and finer resolution of the exponential transformation.

3) The modern analog computer is well suited to generate functions such as the expo¬nential at high speed with modest equipment.

4) The arithmetic, storage, and control functions performed rapidly by the digital computer are utilized without introducing extensive auxiliary calculations.

To illustrate pertinent aspects of the algorithm developed, the scalar cubed sensor problem previously described by Bucy is treated extensively. The hybrid algorithm is described. Problems associated with partitioning of equations between analog and digital computers, machine representations of variables, setting of initial conditions and floating of grid base are discussed. The effects of analog component bandwidths, digital-to-analog and analog-to-digital conversion times, analog computer mode switching times and digital computer I/O data rates on overall processing time are examined. The effect of limited analog computer dynamic range on accuracy is discussed. Results from a simulation of this optimal predictor using MOBSSL, a continuous system simulation language, are given. Timing estimates are presented and compared against similar estimates for the all digital algorithm.

For example, given a four-state variable optimal 1-step predictor utilizing 7 discrete points in each dimension, the hybrid algorithm can be used to generate predictions accurate to 2 decimal places once every 10 seconds. An analog computer complement of 250 integra¬tors and multipliers and a high-speed 3rd generation digital computer such as the CDC 6600 or IBM 360/85 are required. This compares with a lower bound of about 3 seconds per all digital prediction which would require 49 CDC 6600's operating in parallel. Analytical and simulation work quantifying errors in one state variable filters is presented. Finally, the use of an interactive graphic system for real time display and for filter evaluation is described.     

Stabilization of Passive Nonlinear Stochastic Differential Systems by Bounded Feedback

Abstract

The purpose of this paper is to give a systematic method for global asymptotic stabilization in probability of nonlinear control stochastic differential systems the unforced dynamics of which are Lyapunov stable in probability. The approach developed in this paper is based on the concept of passivity for nonaffine stochastic differential systems together with the theory of Lyapunov stability in probability for stochastic differential equations. In particular, we prove that, as in the case of affine in the control stochastic differential systems, a nonlinear stochastic differential system is asymptotically stabilizable in probability provided its unforced dynamics are Lyapunov stable in probability and some rank conditions involving the affine part of the system coefficients are satisfied. Furthermore, for such systems, we show how a stabilizing smooth state feedback law can be designed explicitly. As an application of our analysis, we construct a dynamic state feedback compensator for a class of nonaffine stochastic differential systems.     

Adaptive-observer-based output-constrained tracking of a class of arbitrarily switched uncertain non-affine nonlinear systems

This paper addresses an adaptive output-feedback tracking problem of arbitrarily switched pure-feedback nonlinear systems with time-varying output constraints and unknown control directions. In this work, the tracking problem of switched non-affine nonlinear systems with output constraints is transformed into the stabilization problem of switched unconstrained affine systems. The main contribution of this paper is to present a universal formula for constructing an adaptive state-observer-based tracking controller with only two adaptive parameters by using the common Lyapunov function method. These adaptive parameters in the proposed control scheme are derived using the function approximation technique and a priori knowledge of the signs of control gain functions is not required. The theoretical analysis is presented for the Lyapunov stability and the constraint satisfaction of the resulting closed-loop system in the presence of arbitrary switchings.     

Impulsive systems with hybrid delayed impulses: Input-to-state stability

This paper investigates input-to-state stability (ISS) and integral-input-to-state stability (iISS) of nonlinear impulsive systems with hybrid delayed impulses. Based on Lyapunov method, some sufficient conditions ensuring ISS and iISS of impulsive systems are obtained, where the time derivative of Lyapunov function is indefinite, and the hybrid effects of delayed impulses are also fully considered. It is shown that the impulsive system is ISS provided that the combined action of time delay existing in impulses, continuous dynamic, and the cumulative strength of hybrid impulses satisfies some conditions, even if the hybrid delayed impulses play a destabilizing effect on ISS. Examples and their simulations are presented to illustrate the applicability of the proposed results.     

Stability and stabilization of a class of nonlinear impulsive hybrid systems based on FSM with MDADT

The issue of stability and stabilization for a class of nonlinear impulsive hybrid systems based on finite state machine (FSM) with mode-dependent average dwell time (MDADT) is investigated in this paper. The concepts of global asymptotic stability and global exponential stability are extended for the systems, and the multiple Lyapunov functions (MLFs) are constructed to prove the sufficient conditions of global asymptotic stability and global exponential stability, respectively. Furthermore, the method of stabilization is also given for the hybrid systems. The application of MLFs and MDADT leads to a reduction of conservativeness in contrast with classical Lyapunov function. Finally, a numerical example is given to show the feasibility and effectiveness of the proposed approach.     

Stability analysis for networked control systems with sampling,transmission protocols and input delays

In this paper, the stability problem is investigated for networked control systems. Input delays and multiple communication imperfections containing time-varying transmission intervals and transmission protocols are considered. A unified framework based on the hybrid systems with memory is proposed to model the whole networked control system. Hybrid systems with memory are used to model hybrid systems affected by delays and permit multiple jumps at a jumping instant. The stability analysis depends on the Lyapunov–Krasovskii functional approaches for hybrid systems with memory and the proposed stability theorem does not need strict decrease of the Lyapunov–Krasovskii functional during jumps. Based on the developed stability theorems, stability conditions for networked control systems are established. An explicit formula is given to compute the maximal allowable transmission interval. In the special case that the networked control system contains linear dynamics, an explicit Lyapunov functional is constructed and stability conditions in terms of linear matrix inequalities (LMI) are proposed. Finally, an example of a chemical batch reactor is given to illustrate the effectiveness of the proposed results.     

Nonlinear dynamic analysis of a hybrid squeeze-film damper-mounted rigid rotor lubricated with couple stress fluid and active control

The hybrid squeeze-film damper bearing with active control is proposed in this paper and the lubricating with couple stress fluid is also taken into consideration. The pressure distribution and the dynamics of a rigid rotor supported by such bearing are studied. A PD (proportional-plus-derivative) controller is used to stabilize the rotor-bearing system. Numerical results show that, due to the nonlinear factors of oil film force, the trajectory of the rotor demonstrates a complex dynamics with rotational speed ratio s. Poincaré maps, bifurcation diagrams, and power spectra are used to analyze the behavior of the rotor trajectory in the horizontal and vertical directions under different operating conditions. The maximum Lyapunov exponent and fractal dimension concepts are used to determine if the system is in a state of chaotic motion. Numerical results show that the maximum Lyapunov exponent of this system is positive and the dimension of the rotor trajectory is fractal at the non-dimensional speed ratio s = 3.0, which indicate that the rotor trajectory is chaotic under such operation condition. In order to avoid the nonsynchronous chaotic vibrations, an increased proportional gain is applied to control this system. It is shown that the rotor trajectory will leave chaotic motion to periodic motion in the steady state under control action. Besides, the rotor dynamic responses of the system will be more stable by using couple stress fluid.     

Stabilizability of a class of stochastic bilinear hybrid systems

The problem of the stabilizability of stochastic nonlinear hybrid systems with a Markovian or any switching rule is considered. Using the Lyapunov technique sufficient conditions for the asymptotic stabilizability in probability by a smooth controller in every structure are found. In particular, the asymptotic stabilizability in probability problem of stochastic bilinear hybrid systems with a Markovian or any switching rule is discussed and a closed-loop controller is found. Also the sufficient conditions for the exponential mean-square stabilizability for bilinear hybrid systems with any switching based on the Lie algebra approach are formulated and an open-loop controller is designed. The obtained results are illustrated by examples and simulations.     

带环境污染的与年龄相关的非线性种群动力系统的最优控制

研究带环境污染的与年龄相关的非线性种群动力系统的最优控制问题,利用不动点定理得出系统非负解的存在性和唯一性,利用极大化序列及紧性证明最优控制的存在性,利用法锥方法得到控制问题的最优条件.     

Equations for second moments of solutions of a system of linear differential equations with random semi-Markov coefficients and random input

We derive equations that determine second moments of a random solution of a system of Itô linear differential equations with coefficients depending on a finite-valued random semi-Markov process. We obtain necessary and sufficient conditions for the asymptotic stability of solutions in the mean square with the use of moment equations and Lyapunov stochastic functions.