NECESSARY AND SUFFICIENT CONDITIONS FOR QUADRATIC STABILITY OF UNCERTAIN DISCRETE TIME SYSTEMS

The robust stability analysis of discrete time systems with fast time varying uncertainties is considered in this paper. The necessary and sufficient conditions for quadratic stability are presented. Moreover, the stability robustness index is introduced as the measurement of the stability robustness. For the systems with given uncertain parameter bounds, checking the necessary and sufficient conditions and calculating the stability robust index are converted to solving minimax problems. It is shown that the maximization can be reduced to comparisons between the functional values of the corners when the parameter region is bounded by hyperpolydredon, and any local minimum value in the minimization is exactly the global minimum.

Specifying Requirements of Real-Time System with Rules and Templates

This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.

Identification of linear continuous-time system using wavelet modulating filters

An approach to identification of linear continuous-time system is studied with modulating functions. Based on wavelet analysis theory, the multi-resolution modulating functions are designed, and the corresponding filters have been analyzed. Using linear modulating filters, we can obtain an identification model that is parameterized directly in continuous-time model parameters. By applying the results from discrete-time model identification to the obtained identification model, a continuous-time estimation method is developed. Considering the accuracy of parameter estimates, an instrumental variable (Ⅳ) method is proposed, and the design of modulating integral filter is discussed. The relationship between the accuracy of identification and the parameter of modulating filter is investigated, and some points about designing Gaussian wavelet modulating function are outlined. Finally, a simulation study is also included to verify the theoretical results.

Stability Criterion with Less LMI Variables for Linear Discrete-time Systems with Additive Time-delays

In this correspondence paper, an equivalent stability criterion with minimal number of linear matrix inequality （LMI） variables is presented for a delay-dependent stability criterion reported recently in the International Journal of Automation and Computing for a class of linear discrete-time systems with additive time delays. The reported stability criterion for the additive timedelay systems has more number of matrix variables in the LMI and, hence, demand additional computational burden. The proposed equivalent stability criterion, unlike the reported one, does not involve free-weighing matrices and encompass only the matrix variables that are associated in the Lyapunov-Krasovskii functional, making the criterion mathematically less complex and computationally more effective.

Improved Results on Robust H_∞ Control of Uncertain Discrete-time Systems with Time-varying Delay

In this paper, the robust H∞ control problem for uncertain discrete-time systems with time-varying state delay is con- sidered. Based on the Lyapunov functional method, and by resorting to the new technique for estimating the upper bound of the difference of the Lyapunov functional, a new less conservative sufficient condition for the existence of a robust H∞ controller is obtained. Moreover, the cone complementary linearisation procedure is employed to solve the nonconvex feasibility problem. Finally, several numerical examples are presented to show the effectiveness and less conservativeness of the proposed method.

Composite nonlinear feedback control for output regulation problem of linear discrete-time systems with input saturation

Transient performance for output regulation problems of linear discrete-time systems with input saturation is addressed by using the composite nonlinear feedback（CNF） control technique. The regulator is designed to be an additive combination of a linear regulator part and a nonlinear feedback part. The linear regulator part solves the regulation problem independently which produces a quick output response but large oscillations. The nonlinear feedback part with well-tuned parameters is introduced to improve the transient performance by smoothing the oscillatory convergence. It is shown that the introduction of the nonlinear feedback part does not change the solvability conditions of the linear discrete-time output regulation problem. The effectiveness of transient improvement is illustrated by a numeric example.

H-infinity measurement-feedback control for discrete-time systems with a single measurement delay

H-infinity control problem for linear discrete-time systems with instantaneous and delayed measurements is studied. A necessary and sufficient condition for the existence of the H-infinity controller is derived by applying reorganized innovation analysis approach in Krein space. The measurement-feedback controller is designed by performing two Riccati equations. The presented approach does not require the state augmentation.

Indirect adaptive fuzzy control for a class of nonlinear discrete-time systems

An indirect adaptive fuzzy control scheme is developed for a class of nonlinear discrete-time systems. In this method, two fuzzy logic systems are used to approximate the unknown functions, and the parameters of membership functions in fuzzy logic systems are adjusted according to adaptive laws for the purpose of controlling the plant to track a reference trajectory. It is proved that the scheme can not only guarantee the boundedness of the input and output of the closed-loop system, but also make the tracking error converge to a small neighborhood of the origin. Simulation results indicate the effectiveness of this scheme.

UML statechart based rigorous modeling of real-time system

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.

Robust sliding mode control for uncertain discrete time systems

A novel variable structure control (VSC) strategy with a dynamic disturbance compensator based on the reaching law for a class of uncertain discrete systems is presented. The robust stability to disturbance and the system dynamics in the vicinity of the switching plane are studied. A measure of the uncertain parameters and external disturbance is obtained through delaying every sampling time. Theoretical analysis and experimental simulation results demonstrate that the dynamic performance and robustness of the closed-loop system are improved effectively.

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper.

The permanence of a higher order discrete time system

The permanence of a nonlinear higher order discrete time system from macroeconomics is studied, and a sufficient condition is proposed for the permanence of the system described by 11(,...,)nnnnkxrxfxx---=+ where :kfRR, the initial values 01,,kxx-are real numbers and [0,1)r is constant after exploring the relationship between this equation and 1(,...,)nnnkxfxx--= for certain classes of function f. As an application a short proof is given to a known result in a simpler way than ever reported.

OUTPUT REGULATION OF THE GENERAL NONLINEARDISCRETE-TIME SYSTEM

With the use of centre manifold and dynamic system theory, the necessary and sufficient conditions are obtained for the solvabilities of the output regulator problems for the general nonlinear discrete-time system. This work generalizes and refines the corresponding results by Isidori and Byrnes on the affine nonlinear continuous-time 'system.

Approximation methods of mixed l_1/H_2 optimization problems for MIMO discrete-time systems

The mixed l1/H2 optimization problem for MIMO (multiple input-multiple output) discrete-time systems is considered. This problem is formulated as minimizing the l1-norm of a closed-loop transfer matrix while maintaining the H2-norm of another closed-loop transfer matrix at prescribed level. The continuity property of the optimal value in respect to changes in the H2-norm constraint is studied. The existence of the optimal solutions of mixed l1/H2 problem is proved. Because the solution of the mixed l1/H2 problem is based on the scaled-Q method, it avoids the zero interpolation difficulties. The convergent upper and lower bounds can be obtained by solving a sequence of finite dimensional nonlinear programming for which many efficient numerical optimization algorithms exist.

Robust stability analysis of uncertain discrete-time systems with state delay

The sufficient conditions of stability for uncertain discrete-time systems with state delay have been proposed by some researchers in the past few years, yet these results may be conservative in application. The stability analysis of these systems is discussed, and the necessary and sufficient condition of stability is derived by method other than constructing Lyapunov function and solving Riccati inequality. The root locations of system characteristic polynomial, which is obtained by augmentation approach and Laplace expansion, determine the stability of uncertain discrete-time systems with state delay, the system is stable if and only if all roots lie within the unit circle. In order to analyze robust stability of system characteristic polynomial effectively, Kharitonov theorem and edge theorem are applied. Example shows the practicability of these methods.

Arbitrary full-state hybrid projective synchronization for chaotic discrete-time systems via a scalar signal

In this paper we present a new projective synchronization scheme, where two chaotic （hyperchaotic） discrete-time systems synchronize for any arbitrary scaling matrix. Specifically, each drive system state synchronizes with a linear combination of response system states. The proposed observer-based approach presents some useful features： i） it enables exact synchronization to be achieved in finite time （i.e., dead-beat synchronization）; ii） it exploits a scalar synchronizing signal; iii） it can be applied to a wide class of discrete-time chaotic （hyperchaotic） systems; iv） it includes, as a particular case, most of the synchronization types defined so far. An example is reported, which shows in detail that exact synchronization is effectively achieved in finite time, using a scalar synchronizing signal only, for any arbitrary scaling matrix.

Energy-Efficient Deterministic Fault-Tolerant Scheduling for Embedded Real-Time Systems

By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT ＋ EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems.

H_∞ Filter Design for Discrete-time Systems with Missing Measurements

For packet-based transmission of data over a network, or temporary sensor failure, etc., data samples may be missing in the measured signals. This paper deals with the problem of H∞ filter design for linear discrete-time systems with missing measurements. The missing measurements will happen at any sample time, and the probability of the occurrence of missing data is assumed to be known. The main purpose is to obtain both full-and reduced-order filters such that the filter error systems are exponentially mean-square stable and guarantee a prescribed H∞ performance in terms of linear matrix inequality (LMI). A numerical example is provided to demonstrate the validity of the proposed design approach.