A Hyland-Bernstein approach to the digital control of Pritchard-Salamon systems

In this paper we consider the fixed finite-order digital linear-quadraticcontrol of Pritchard-Salamon infinite-dimensional systems withunbounded input and output operators under gaussian disturbances.A set of necessary conditions is given in terms of the solvabilityof a discrete-time Hyland-Bernstein system of equations (twomodified Riccati equations and two modified Lyapunov equationscoupled by an projection operator).     

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.     

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.     

Equivalence between the Lyapunov–Krasovskii functionals approach for discrete delay systems and that of the stability conditions for switched systems

The stability of discrete-time systems with time varying delay in the state can be analyzed by using a discrete-time extension of the classical Lyapunov–Krasovskii approach. In the networked control systems domain a similar delay stability problem is treated using a switched system transformation approach. The paper aims to establish a relation between the switched system transformation approach and the classical Lyapunov–Krasovskii method. It is shown that using the switched systems transformation is equivalent to using a general delay dependent Lyapunov–Krasovskii functionals. This functional represents the most general form that can be obtained using sums of quadratic terms. Necessary and sufficient LMI conditions for the existence of such functionals are presented.     

Robust output feedback sliding mode control for uncertain discrete time systems

This paper proposes a robust output feedback controller for a class of uncertain discrete-time, multi-input multi-output, linear, systems. This method, which is based on the combination of discrete-time sliding mode control (DTSMC) and Kalman estimator, ensures the stability, robustness and an output tracking against the modeling uncertainties at large sampling periods. For this purpose, an appropriate structure is considered for sliding surface and the Lyapunov theory for the mismatched uncertain system is then used to design its parameter. This problem leads to solve a set of linear matrix inequalities. A new method is then proposed to reach the quasi-sliding mode and stay thereafter. Simulation studies show the effectiveness of the proposed method in the presence of parameter uncertainties and external disturbances at large sampling periods.     

Reachable Set Bounding for Linear Discrete-Time Systems with Delays and Bounded Disturbances

This paper addresses the problem of reachable set bounding for linear discrete-time systems that are subject to state delay and bounded disturbances. Based on the Lyapunov method, a sufficient condition for the existence of ellipsoid-based bounds of reachable sets of a linear uncertain discrete system is derived in terms of matrix inequalities. Here, a new idea is to minimize the projection distances of the ellipsoids on each axis with different exponential convergence rates, instead of minimization of their radius with a single exponential rate. A smaller bound can thus be obtained from the intersection of these ellipsoids. A numerical example is given to illustrate the effectiveness of the proposed approach.     

LMI Optimization Approach to Synchronization of Stochastic Delayed Discrete-Time Complex Networks

Complex networks are widespread in real-world systems of engineering, physics, biology, and sociology. This paper is concerned with the problem of synchronization for stochastic discrete-time drive-response networks. A dynamic feedback controller has been proposed to achieve the goal of the paper. Then, based on the Lyapunov second method and LMI (linear matrix inequality) optimization approach, a delay-independent stability criterion is established that guarantees the asymptotical mean-square synchronization of two identical delayed networks with stochastic disturbances. The criterion is expressed in terms of LMIs, which can be easily solved by various convex optimization algorithms. Finally, two numerical examples are given to illustrate the proposed method.     

Positive operator based iterative algorithms for solving Lyapunov equations for Itô stochastic systems with Markovian jumps

This paper studies the iterative solutions of Lyapunov matrix equations associated with Itô stochastic systems having Markovian jump parameters. For the discrete-time case, when the associated stochastic system is mean square stable, two iterative algorithms with one in direct form and the other one in implicit form are established. The convergence of the implicit iteration is proved by the properties of some positive operators associated with the stochastic system. For the continuous-time case, a transformation is first performed so that it is transformed into an equivalent discrete-time Lyapunov equation. Then the iterative solution can be obtained by applying the iterative algorithm developed for discrete-time Lyapunov equation. Similar to the discrete-time case, an implicit iteration is also proposed for the continuous case. For both discrete-time and continuous-time Lyapunov equations, the convergence rates of the established algorithms are analyzed and compared. Numerical examples are worked out to validate the effectiveness of the proposed algorithms.     

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.     

Asymptotic disturbance attenuation properties for uncertain switched linear systems

In this paper, the disturbance attenuation properties in the sense of uniformly ultimate boundedness are investigated for a class of switched linear systems with parametric uncertainties and exterior disturbances. The aim is to characterize the conditions under which the switched system can achieve a finite disturbance attenuation level. First, arbitrary switching signals are considered, and a necessary and sufficient condition is given. Secondly, conditions on how to restrict the switching signals to achieve finite disturbance attenuation levels are investigated. Two cases are considered here that depend on whether all the subsystems are uniformly ultimately bounded or not. Both discrete-time and continuous-time switched systems are considered, and the techniques are based on multiple polyhedral Lyapunov functions and their extensions.     

Unifying theory for stability of continuous,discontinuous, and discrete-time dynamical systems

Continuous-time dynamical systems whose motions are continuous with respect to time (called continuous dynamical systems), may be viewed as special cases of continuous-time dynamical systems whose motions are not necessarily continuous with respect to time (called discontinuous dynamical systems, or DDS). We show that the classical Lyapunov stability results for continuous dynamical systems are embedded in the authors’ stability results for DDS (given in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474]), in the following sense: if the hypotheses for a given Lyapunov stability result for continuous dynamical systems are satisfied, then the hypotheses of the corresponding stability result for DDS are also satisfied. This shows that the stability results for DDS in [H. Ye, A.N. Michel, L. Hou, Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than was previously known, and that the quality of the DDS results therein is consistent with that of the classical Lyapunov stability results for continuous dynamical systems.By embedding discrete-time dynamical systems into a class of DDS with equivalent stability properties, we also show that when the hypotheses of the classical Lyapunov stability results for discrete-time dynamical systems are satisfied, then the hypotheses of the corresponding DDS stability results are also satisfied. This shows that the results for DDS in [H. Ye, A.N. Michel, L. Hou Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control 43 (4) (1998) 461–474] are much more general than previously known, having connections even with discrete-time dynamical systems!Finally, we demonstrate by the means of a specific example that the stability results for DDS are less conservative than corresponding classical Lyapunov stability results for continuous dynamical systems.     

Multirate sampling and input-to-state stable receding horizon control for nonlinear systems

In this paper, a robust receding horizon control for multirate sampled-data nonlinear systems with bounded disturbances is presented. The proposed receding horizon control is based on the solution of Bolza-type optimal control problems for the approximate discrete-time model of the nominal system. “Low measurement rate” is assumed. It is shown that the multistep receding horizon controller that stabilizes the nominal approximate discrete-time model also practically input-to-state stabilizes the exact discrete-time system with disturbances.     

Stabilization of planar discrete-time switched systems: Switched Lyapunov functional approach

In this paper, we investigate the problem of stabilization for single-input planar discrete-time switched systems by establishing necessary and/or sufficient conditions for the existence of switched quadratic Lyapunov functions of the closed-loop system. The results given in terms of a series of matrix inequalities generalize those results in our recent paper [Y.G. Sun, L. Wang, G. Xie, Necessary and sufficient conditions for stabilization of discrete-time planar switched systems, Nonlinear Anal.: Theory and Methods 65 (2006) 1039–1049] and clearly describe the set of switched quadratic Lyapunov functions for the system.     

Dynamic output feedback fault tolerant controller design for discrete-time switched systems with actuator fault

This paper investigates the problem of dynamic output feedback fault tolerant controller design for discrete-time switched systems with actuator fault. By using reduced-order observer method and switched Lyapunov function technique, a fault estimation algorithm is achieved for the discrete-time switched system with actuator fault. Then based on the obtained online fault estimation information, a switched dynamic output feedback fault tolerant controller is employed to compensate for the effect of faults by stabilizing the closed-loop systems. Finally, an example is proposed to illustrate the obtained results.     

Stability analysis of time-varying switched systems via indefinite difference Lyapunov functions

Asymptotic stability of time-varying switched systems is investigated in this paper. The less conservative sufficient criteria for asymptotic stability of time-varying discrete-time switched systems are proposed via common indefinite difference Lyapunov functions and multiple indefinite difference Lyapunov functions introduced in this note, respectively. Common indefinite difference Lyapunov functions can be used to analyze stability of a switched system with asymptotic stable subsystems and arbitrary switching signal. Multiple indefinite difference Lyapunov functions can be used to investigate stability of a switched system with unstable subsystems and a given switching signal. The difference of the proposed Lyapunov function may be positive at some instants for an asymptotically stable subsystem. We compare these main results and illustrate the effectiveness of the obtained theorems by three numerical examples.     

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.     

Exponential stability of discrete-time systems with slowly time-varying delays

Slowly time-varying delays are seldom, but do need to be, considered in the context of discrete-time systems. This paper addresses the exponential stability issue of discrete-time systems with slowly time-varying delays. The basic idea is to transform, by utilizing the switching transformation approach, the original system with slowly time-varying delays into an equivalent switched system with special switching signal. Different types of delays correspond to different types of switching signals, and the stability issue of the original system is converted into that of a switched system. It is the first time that the method of switched homogeneous polynomial Lyapunov function is applied to general delayed systems. Some sufficient exponential stability conditions for the original system are proposed in several situations. It is numerically shown that the conservativeness of the proposed conditions reduces as the degree of the switched homogeneous polynomial Lyapunov function increases.     

Synchronization of stochastic coupled systems via feedback control based on discrete-time state observations

In this paper, we formulate and investigate the synchronization of stochastic coupled systems via feedback control based on discrete-time state observations (SCSFD). The discrete-time state feedback control is used in the drift parts of response system. Combining Lyapunov method with graph theory, the upper bound of duration between two consecutive state observations is provided. And a global Lyapunov function of SCSFD is presented, which derives some sufficient criteria to guarantee the synchronization of drive–response systems in the sense of mean-square asymptotical synchronization. In addition, the theoretical results are applied to stochastic coupled oscillators and second-order Kuramoto oscillators. Finally, two numerical examples are given to verify the effectiveness of the theoretical results.