General observers for discrete-time nonlinear systems

This paper is a geometric study of finding general exponential observers for discrete-time nonlinear systems. Using center manifold theory for maps, we derive necessary and sufficient conditions for general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of our characterization of general exponential observers, we give a construction procedure for identity exponential observers for discrete-time nonlinear systems.     

Observer design for discrete-time nonlinear systems

This paper is a geometric study of the observer design for discrete-time nonlinear systems. First, we obtain necessary and sufficient conditions for local exponential observers for Lyaupnov stable discrete-time nonlinear systems. We also show that the definition of local exponential observers can be considerably weakened for neutrally stable discrete-time nonlinear systems. As an application of our local observer design, we consider a class of discrete-time nonlinear systems with an input generator (exosystem) and show that for this class of nonlinear systems, under some stability assumptions, the existence of local exponential observers in the presence of inputs implies and is implied by the existence of local exponential observers in the absence of inputs.     

New results on general observers for discrete-time nonlinear systems

In this paper, we establish that detectability is a necessary condition for the existence of general observers (asymptotic or exponential) for discrete-time nonlinear systems. Using this necessary condition, we show that there does not exist any general observer (asymptotic or exponential) for discrete-time nonlinear systems with real parametric uncertainty, if the state equilibrium does not change with the parameter values and if the plant output function is purely a function of the state. Next, using center manifold theory for maps, we derive necessary and sufficient conditions for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of this result, we show that for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems, the dimension of the state of the general exponential observer should not be less than the number of critical eigenvalues of the linearization matrix of the state dynamics of the plant.     

An invariance principle for discrete-time nonlinear systems

In this paper, we derive an invariance principle generalizing LaSalle's invariance principle for discrete-time nonlinear systems. Next, using the invariance principle, we develop a series of results relating stability, observability, and converse Lyapunov theorems for discrete-time nonlinear systems.     

New results on the parametric stability of nonlinear systems

In this paper, we derive some new results on the parametric stability of nonlinear systems. Explicitly, we derive a necessary and sufficient condition for a nonlinear system to be locally parametrically exponentially stable at an equilibrium point. We also derive a necessary condition for the nonlinear system to be locally parametrically asymptotically stable at an equilibrium point. Next, we derive some new results on the parametric stability of discrete-time nonlinear systems. As in the continuous case, we derive a necessary and sufficient condition for a discrete-time nonlinear system to be locally parametrically exponentially stable at an equilibrium point. We also derive a necessary condition for the discrete-time nonlinear system to be locally parametrically asymptotically stable at an equilibrium point. We illustrate our results with some classical examples from the bifurcation theory.     

Reduced order observer design for discrete-time nonlinear systems

This work is a geometric study of reduced order observer design for discrete-time nonlinear systems. Our reduced order observer design is applicable for Lyapunov stable discrete-time nonlinear systems with a linear output equation and is a generalization of Luenberger’s reduced order observer design for linear systems. We establish the error convergence for the reduced order estimator for discrete-time nonlinear systems using the center manifold theory for maps. We illustrate our reduced order observer construction for discrete-time nonlinear systems with an example.     

Exponential stabilizability and robustness analysis for discrete-time nonlinear systems

In this paper, we derive some results on the exponential stabilizability and robustness analysis for discrete-time nonlinear control systems. Using the discrete Gronwall’s inequality, we also derive an important absolute estimate for the robustness index of the controlled discrete-time nonlinear system.     

On the Controllability of Linear and Semilinear Impulsive Systems

In this paper, we establish some su?cient conditions for the complete controllability of linear and semilinear impulsive systems. For the semilinear systems, we assume that nonlinearities are Lipschitzian type. We invoke the tools of nonlinear functional analysis and fixed point theorems to establish the results. The results are also compared with the existing results in the literature in order to show the effectiveness of the results obtained. Few illustrative examples are provided to substantiate the results.     

对高维热粘弹方程组解的整体存在性的注记

In this paper, we obtain some global existence results for the higher-dimensional nonhomogeneous, linear, semilinear and nonlinear thermoviscoelastic systems by using semi-group approach.     

Approximate controllability and regularity for semilinear retarded control systems

We deal with the approximate controllability for semilinear systems with time delay in a Hilbert space. First, we show the existence and uniqueness of solutions of the given systems with the more general Lipschitz continuity of nonlinear operator f fromR ×V toH. Thereafter, it is shown that the equivalence between the reachable set of the semilinear system and that of its corresponding linear system. Finally, we make a practical application of the conditions to the system with only discrete delay.     

一类边界控制半线性抛物型系统的逼近能控性

本文考虑一类Ｄｉｒｉｃｈｌｅｔ型边界控制半线性抛物型系统，应用半群理论和非线性分析的方法，证明了系统解映射的连续性，给出了系统逼近能控的一个充分条件．对于Ｎｅｕｍａｎｎ型边界控制或混合型边界控制的半线性抛物型系统，可以得到类似的结果．     

Stability analysis of Volterra functional equations by realization theory

The method of realization of input–output operators in the form of abstract discrete-time control systems and the frequency-domain method are used for the stability/instability analysis of a class of nonlinear Volterra functional equations. To this end, we construct an associated time-invariant abstract discrete-time control system in some weighted function spaces.     

一类非线性离散系统基于有界反馈的奇异H_∞控制问题

主要研究基于有界控制律的一类非线性离散系统的奇异H∞控制问题.在系统不满足正则条件的情况下,分离出正则部分与非正则部分,给出基于有界反馈与二次Lyapunov函数的离散系统奇异H∞问题可解性的必要条件以及充分条件,求出的有界控制律能使得闭环系统在保证内稳定的条件下达到干扰衰减.     

Strong solutions of semilinear matched microstruture models

The subject of this article is a matched microstructure model for Newtonian fluid flows in fractured porous media. This is a homogenized model which takes the form of two coupled parabolic differential equations with boundary conditions in a given (two-scale) domain in Euclidean space. The main objective is to establish the local well-posedness in the strong sense of the flow. Two main settings are investigated: semilinear systems with linear boundary conditions and semilinear systems with nonlinear boundary conditions. With the help of analytic semigroups, we establish local well-posedness and investigate the long-time behavior of the solutions in the first case: we establish global existence and show that solutions converge to zero at an exponential rate.     

An existence theorem for some semilinear elliptic systems

An existence theorem is obtained for a class of semilinear, second order, uniformly elliptic systems obtained formally from a variational principle and modeled on nonlinear Helmholtz systems. Superlinear growth of the nonlinear term precludes application of standard methods to these systems. Indeed, we permit very rapid growth of the nonlinear term, so the underlying functional is not defined on the Hilbert space within which a solution is naturally sought. Mollification of the nonlinear term nonetheless results in the resulting functional satisfying the Palais-Smale condition; critical points are determined by solution of a dynamical system. The limit of vanishing mollification then produces a weak solution of the original problem.     

Existence results of semilinear differential variational inequalities without compactness

ABSTRACT

The purpose of this paper is to study a class of semilinear differential variational systems with nonlocal boundary conditions, which are obtained by mixing semilinear evolution equations and generalized variational inequalities. First we prove essential properties of the solution set for generalized variational inequalities. Then without requiring any compactness condition for the evolution operator or for the nonlinear term, two existence results for mild solutions are established by applying a weak topology technique combined with a fixed point theorem.     

Probabilistic approach to homogenization of viscosity solutions of parabolic PDEs

In this paper, we develop the probabilistic approach to homogenization problems of viscosity solutions of systems of semilinear parabolic PDEs. Our main tool is the nonlinear Feynman-Kac formula. Received July 1998     

Semilinear behavior for totally linearly degenerate hyperbolic systems with relaxation

We investigate totally linearly degenerate hyperbolic systems with relaxation. We aim to study their semilinear behavior, which means that the local smooth solutions cannot develop shocks, and the global existence is controlled by the supremum bound of the solution. In this paper we study two specific examples: the Suliciu-type and the Kerr-Debye-type models. For the Suliciu model, which arises from the numerical approximation of isentropic flows, the semilinear behavior is obtained using pointwise estimates of the gradient. For the Kerr-Debye systems, which arise in nonlinear optics, we show the semilinear behavior via energy methods. For the original Kerr-Debye model, thanks to the special form of the interaction terms, we can show the global existence of smooth solutions.     

A relation between the output regulation and the observer design for nonlinear systems

Output regulation and observer design are two important problems for nonlinear systems, and there is a vast literature addressing each problem separately in the control literature. Isidori and Byrnes [1] have solved the output regulation problem for nonlinear systems with a Poisson stable exosystem, and Sundarapandian [2] has solved the exponential observer design problem for Lyapunov stable nonlinear systems. In this paper, we demonstrate that for a special class of Lyapunov stable nonlinear systems, namely neutrally stable systems, the exponential observer design problem can be solved by converting it into an output regulation problem and then solving the new problem using the output regulation techniques of Isidori and Byrnes [1]. Finally, we present the corresponding results for the discrete-time case.     

On stability of discrete-time switched systems

This article deals with stability of discrete-time switched systems. Given a family of nonlinear systems and the admissible switches among the systems in the family, we first propose a class of switching signals under which the resulting switched system is globally asymptotically stable. We allow unstable systems in the family and our stability condition depends solely on asymptotic behaviour of the switching signals. We then discuss algorithmic construction of the above class of switching signals, and show that in the presence of exogenous inputs and outputs, a switching signal so constructed also ensures input/output-to-state stability for discrete-time switched nonlinear systems. We finally show that our class of switching signals that ensures global asymptotic stability also extends to the continuous-time setting with minor modifications under standard assumptions. We employ multiple Lyapunov-like functions and graph theoretic tools as the main apparatuses for our analysis.