Single Parameter Dissipativity and Attractors in DiscreteTirne Asynchronous Systems ∗

Discrete time nonautonomous dynamical systems generated by nonautonomous difference equations are formulated as discrete time skew—product systems consisting of cocycle state mappings that are driven by discrete time autonomous dynamical systems. Forwards and pullback attractors are two possible generalizations of autonomous attractors to such systems. Their existence follows from appropriate forwards or pullback dissipativity conditions. For discrete time nonautonomous dynamical systems generated by asynchronous systems with frequency updating components such a dissipativity condition is usually known for a single starting parameter value of the driving system. Additional conditions that then ensure the existence of a forwards or pullback attractor for such an asynchronous system are investigated here     

非线性抛物型方程组离散向量解的收敛性

应用离散泛函分析方法证明了非线性抛物型方程组的隐格式离散向量解的收敛性，同时得到微分方程组弱解的存在性．     

Mathematical programming formulations for approximate simulation of multistage production systems

Mathematical programming representation has been recently used to describe the behavior of discrete event systems as well as their formal properties. This new way of representing discrete event systems paves the way to the creation of simpler mathematical programming models that reduce the complexity of the system analysis. The paper proposes an approximate representation for a class of production systems characterized by several stages, limited buffer capacities and stochastic production times. The approximation exploits the concept of a time buffer, modeled as a constraint that put into a temporal relationship the completion times of two customers in a sample path. The main advantage of the proposed formulation is that it preserves its linearity even when used for optimization and, for such a reason, it can be adopted in simulation–optimization problems to reduce the initial solution space. The approximate formulation is applied to relevant problems such as buffer capacity allocation in manufacturing systems and control parameters setting in pull systems.     

线性离散大系统的稳定性

本文直接运用线性范数型Liapunov函数处理线性定常和时变离散大系统的稳定性,得到了渐近稳定若干判别准则.     

Model predictive control of nonlinear hybrid systems with discrete inputs employing a hybrid fuzzy model

The paper deals with model predictive control (MPC) of nonlinear hybrid systems with discrete inputs based on reachability analysis. In order to implement a MPC algorithm, a model of the process that we are dealing with is needed. In the paper, a hybrid fuzzy modelling approach is proposed. The hybrid system hierarchy is explained and the Takagi–Sugeno fuzzy formulation for hybrid fuzzy modelling purposes is tackled. An efficient method of identification of the hybrid fuzzy model is also discussed.

An algorithm that is–due to its MPC nature–suitable for controlling a wide spectrum of systems (provided that they have discrete inputs only) is presented.

The benefits of the algorithm employing a hybrid fuzzy model are verified on a batch reactor example. The results suggest that by suitably determining the cost function, satisfactory control can be attained, even when dealing with complex hybrid–nonlinear–stiff systems such as the batch reactor.

Finally, a comparison between MPC employing a hybrid linear model and a hybrid fuzzy model is carried out. It has been established that the latter approach clearly outperforms the approach where a linear model is used.     

Controllability of nonlinear discrete systems without differentiability assumption

The paper gives another approach to studying controllability of nonlinear discrete systems, which is based on proving the support principle for some boundary problems involving locally Lipschitzian set-valued maps. The approach enables us to develop sufficient conditions for various types of local controllability of nonlinear non-stationary discrete systems without differentiability assumption. For linear discrete systems with constrained states and controls, necessary and sufficient conditions for local controllability are given.     

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.     

Gabor systems on discrete periodic sets

Due to its good potential for digital signal processing, discrete Gabor analysis has interested some mathematicians. This paper addresses Gabor systems on discrete periodic sets, which can model signals to appear periodically but intermittently. Complete Gabor systems and Gabor frames on discrete periodic sets are characterized; a sufficient and necessary condition on what periodic sets admit complete Gabor systems is obtained; this condition is also proved to be sufficient and necessary for the existence of sets E such that the Gabor systems generated by χ _E are tight frames on these periodic sets; our proof is constructive, and all tight frames of the above form with a special frame bound can be obtained by our method; periodic sets admitting Gabor Riesz bases are characterized; some examples are also provided to illustrate the general theory. This work was supported by National Natural Science Foundation of China (Grant No. 10671008), Beijing Natural Science Foundation (Grant No. 1092001), PHR (IHLB) and the project sponsored by SRF for ROCS, SEM of China     

Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems

We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of excitation parameters. This provides a discrete time analog of our previous continuous time Lyapunov function constructions. We also construct explicit strict Lyapunov functions for systems satisfying nonstrict discrete time analogs of the conditions from Matrosov’s Theorem. We use our methods to build strict Lyapunov functions for time-varying hybrid systems that contain mixtures of continuous and discrete time evolutions.     

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.