非线性灰色离散系统零解的稳定性

本文用区间矩阵和Ｌｙａｐｕｎｏｖ第二方法讨论了具有非线性扰动项的灰色离散系统的稳定性，得到了若干稳定性的代数判据，这些结果将文（５）的主要结果由线性推广到了非线性，并给出了实现的例子。     

多时滞线性切换系统的H_∞控制

研究了连续的多时滞线性切换系统的H_∞控制问题,用Lyapunov函数和凸组合技术,给出了连续的多时滞切换系统满足H_∞性能指标的充分条件和切换律的设计方案,并且进一步讨论了离散的多时滞线性切换系统的H_∞控制问题.     

D-admissible hybrid control of a class of singular systems

This paper mainly studies the problem of designing a hybrid state feedback D-admissible controller for a class of linear and nonlinear singular systems. Based on the relationship between singular discrete systems and singular delta operator systems, several necessary and sufficient conditions for a linear singular delta operator system to be D-admissible (i.e. regular, causal and all finite poles lie in a prescribed circular region) with different representations are derived. Then, the existence conditions and explicit expressions of a desirable D-admissible controller are given by means of matrix inequalities and strict linear matrix inequalities, respectively. We further extend the obtained results to singular delta operator systems with Lipschitz nonlinear perturbations, and the design methods of hybrid controller are presented for the nonlinear case as well. Finally, numerical examples as well as simulations are provided to illustrate the effectiveness of the theoretical outcomes obtained in the paper.     

Impulsive generalized synchronization for a class of nonlinear discrete chaotic systems

The problem of impulsive generalized synchronization for a class of nonlinear discrete chaotic systems is investigated in this paper. Firstly the response system is constructed based on the impulsive control theory. Then by the asymptotic stability criteria of discrete systems with impulsive effects, some sufficient conditions for asymptotic H-synchronization between the drive system and response system are obtained. Numerical simulations are given to show the effectiveness of the proposed method.     

Regions of exponential stability in coefficient space for linear systems on nonuniform discrete domains

The paper addresses the problem of exponential stability of linear control systems defined on nonuniform discrete domains. The main goal of this research is to find necessary and sufficient stability conditions in terms of the coefficients of the characteristic polynomial, associated with a system, and to study the geometry of stability regions, determined by the derived conditions in the coefficient space. As the first step in this direction, this paper presents such conditions for a special case of second-order systems defined on a discrete time scale with two asymptotic graininesses. The geometry of the corresponding regions in the coefficient space is illustrated for different values of the asymptotic graininesses.     

Change-of-bases abstractions for non-linear hybrid systems

We present abstraction techniques that transform a given non-linear dynamical system into a linear system, or more generally, an algebraic system described by polynomials of bounded degree, so that invariant properties of the resulting abstraction can be used to infer invariants for the original system. The abstraction techniques rely on a change-of-bases transformation that associates each state variable of the abstract system with a function involving the state variables of the original system. We present conditions under which a given change-of-bases transformation for a non-linear system can define an abstraction. Furthermore, the techniques developed here apply to continuous systems defined by Ordinary Differential Equations (ODEs), discrete systems defined by transition systems and hybrid systems that combine continuous as well as discrete subsystems.The techniques presented here allow us to discover, given a non-linear system, if a change-of-bases transformation involving degree-bounded polynomials yielding an algebraic abstraction exists. If so, our technique yields the resulting abstract system, as well. Our techniques enable the use of analysis techniques for linear systems to infer invariants for non-linear systems. We present preliminary evidence of the practical feasibility of our ideas using a prototype implementation.     

线性系统稳定性与最优性的关系(Ⅱ)

我们在[1]中提出并讨论了与R.E.Kalman的最优控制反问题不同的另一类线性最优控制的反问题:任给一渐近稳定的定常线性系统和一个非负二次型性能指标,问是否可以从该稳定系统中分解出一个状态反馈,使得这个状态反馈就是给定指标下的最优控制。本文将上述问题加以推广,对线性离散系统和线性时变系统得出了相应的结论,进而得出[1]中提出的渐近稳定系统和最优系统之间的对应关系是一切线性系统的内在特征。     

Discrete and continuous coupled nonlinear integrable systems via the dressing method

A discrete analog of the dressing method is presented and used to derive integrable nonlinear evolution equations, including two infinite families of novel continuous and discrete coupled integrable systems of equations of nonlinear Schrödinger type. First, a demonstration is given of how discrete nonlinear integrable equations can be derived starting from their linear counterparts. Then, starting from two uncoupled, discrete one‐directional linear wave equations, an appropriate matrix Riemann‐Hilbert problem is constructed, and a discrete matrix nonlinear Schrödinger system of equations is derived, together with its Lax pair. The corresponding compatible vector reductions admitted by these systems are also discussed, as well as their continuum limits. Finally, by increasing the size of the problem, three‐component discrete and continuous integrable discrete systems are derived, as well as their generalizations to systems with an arbitrary number of components.     

Skew‐selfadjoint Dirac systems with rational rectangular Weyl functions: explicit solutions of direct and inverse problems and integrable wave equations

In this paper we study direct and inverse problems for discrete and continuous skew‐selfadjoint Dirac systems with rectangular (possibly non‐square) pseudo‐exponential potentials. For such a system the Weyl function is a strictly proper rational matrix function and any strictly proper rational matrix function appears in this way. In fact, extending earlier results, given a strictly proper rational matrix function we present an explicit procedure to recover the corresponding potential using techniques from mathematical system and control theory. We also introduce and study a nonlinear generalized discrete Heisenberg magnet model, extending earlier results for the isotropic case. A large part of the paper is devoted to the related discrete systems of which the pseudo‐exponential potential depends on an additional continuous time parameter. Our technique allows us to obtain explicit solutions for the generalized discrete Heisenberg magnet model and evolution of the Weyl functions.     

Numerical Optimal Harvesting for an Age-Dependent Prey-Predator System

In this article, we develop a numerical study of an optimal harvesting problem for age-dependent prey-predator system. Here, the rates of growth and decay as well as the interaction effect between species are assumed to be depending on age, time and space. Existence, uniqueness, and necessary conditions for the optimal control are assured in case of a small final time T. The discrete parabolic nonlinear dynamical systems are obtained by using a finite difference semi-implicit scheme. Then a numerical algorithm is developed to approximate the optimal harvesting effort and the optimal harvest. Results of the numerical tests are given.     

非脆弱离散重复控制的二维模型方法

针对一类线性离散系统,提出一种基于二维模型的非脆弱离散重复控制设计方法.通过独立地考虑重复控制系统的控制与学习行为,建立离散重复控制系统的二维模型. 在此基础上,针对重复控制器和反馈控制器具有不确定性的离散重复控制系统,给出了基于线性矩阵不等式的系统稳定性条件和重复控制律. 最后,数值仿真实例验证了所提方法的有效性.     

基于混合时滞观测器的混合反馈控制

对于一类具有状态和有限自动机输出时滞的离散混合系统,研究基于混合时滞观测器的混合反馈控制问题.通过系统线性部分和离散事件部分的Lyapunov函数构造了整个时滞系统的混合Lyapunov函数,进一步,给出混合反馈控制的设计方法且证明了闭环系统的稳定性.仿真例子说明该方法的有效性.     

离散事件系统结构化状态反馈控制逻辑

离散事件系统(Discrete Event System,DES)是从制造系统、通讯系统、资源管理系统和城市/空中交通系统等人工系统中抽象出来的.这种系统可认为是离散的(在时间上和状态空间内)、异步的(即是由事件驱动而不是由时钟驱动),并且一般是非确定性的,所以处理这类系统的方法与连续时间系统迥然不同.在已有的处理 DES 的方法中,Wonham 和他的学生所提出的一种概念模型方法已引起了广泛的注意.在这方法中,他们成功地将计算机科学的一些概念和方法引入到控制中,新领域的出现和新方法论的发展使控制科学产生了新的活力.     

Finite‐region stabilization via dynamic output feedback for 2‐D Roesser models

Finite‐region stability (FRS), a generalization of finite‐time stability, has been used to analyze the transient behavior of discrete two‐dimensional (2‐D) systems. In this paper, we consider the problem of FRS for discrete 2‐D Roesser models via dynamic output feedback. First, a sufficient condition is given to design the dynamic output feedback controller with a state feedback‐observer structure, which ensures the closed‐loop system FRS. Then, this condition is reducible to a condition that is solvable by linear matrix inequalities. Finally, viable experimental results are demonstrated by an illustrative example.     

Asymptotic stability of discrete cocycles

We introduce the notion of asymptotic stability of sequences of multifunctions associated with discrete cocycles. Some sufficient conditions for existence of attracting sets are given. The use of the topological (Kuratowski's) limits, as less complicated as commonly used Hausdorff metric, let us to weaken many standard assumptions. We show that in considered case existence of attractor is a property of a cocycle mapping itself and does not depend on properties of a parameter nor a state space. The obtained results generalize earlier on iterated function systems and can be applied for non-autonomous as well as random dynamical systems.     

Optimal control of heterogeneous systems: Basic theory

A general model of a heterogeneous control system is introduced in the form of a first order distributed system with nonlocal dynamics and exogenous side-conditions. The heterogeneity is represented by a parameter taking values in an abstract measurable space, so that both continuous and discrete heterogeneity, as well as probabilistic heterogeneity without density, are included. A distributed and a lumped controls are involved, the latter appearing also in the side conditions. An existence theorem is proved for the uncontrolled system, and the sensitivity of the solution with respect to the control variables is estimated. The main result is an optimality condition in the form of the Pontryagin local maximum principle. A global maximum principle holds for the distributed control under an additional condition that rules out discrete measurable heterogeneity spaces. A number of possible applications are outlined: age-structured systems, size-structured systems, (nonlocal) advection-reaction equations, static parametric heterogeneity in epidemiology, and two-stage control systems with uncertain switching time.     

Guaranteed asymptotic stability for a class of uncertain linear dynamical systems

We consider a class of linear dynamical systems with bounded, Lebesgue-measurable uncertainties in the system and input matrices as well as in the input itself. A state feedback control is derived, which guarantees global, uniform asymptotic stability of the zero state; this control is continuous, except at the zero state.This paper is based in part on research supported by the National Science Foundation.     

Two differential equation systems for equality-constrained optimization

This paper presents two differential systems, involving first and second order derivatives of problem functions, respectively, for solving equality-constrained optimization problems. Local minimizers to the optimization problems are proved to be asymptotically stable equilibrium points of the two differential systems. First, the Euler discrete schemes with constant stepsizes for the two differential systems are presented and their convergence theorems are demonstrated. Second, we construct algorithms in which directions are computed by these two systems and the stepsizes are generated by Armijo line search to solve the original equality-constrained optimization problem. The constructed algorithms and the Runge–Kutta method are employed to solve the Euler discrete schemes and the differential equation systems, respectively. We prove that the discrete scheme based on the differential equation system with the second order information has the locally quadratic convergence rate under the local Lipschitz condition. The numerical results given here show that Runge–Kutta method has better stability and higher precision and the numerical method based on the differential equation system with the second information is faster than the other one.     

Asymptotic Stability for a Class of Neutral Systems with Discrete and Distributed Time Delays

In this note, the asymptotic stability for a class of neutral systems with discrete time and distributed time delays is considered. Delay-dependent criteria are proposed to guarantee the stability for such systems. Some numerical examples are given to illustrate that our results are less conservative than previous results.     

Lurie不确定间接控制系统的鲁棒绝对稳定性

利用Razumikhin技术和向量不等式方法,通过构造适当的Lyapunov函数,对具有多个时变时滞lurie不确定间接控制系统的鲁棒绝对稳定性的问题进行了研究,给出了该系统时滞相关鲁棒稳定的充分条件.其结论与已有文献结果进行比较,说明所得结果推广了已有文献的结果,具有更好的实用性.最后给出一个例子说明本文结果.