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.

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.

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.

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.

A novel reaching law approach of quasi-sliding-mode control for uncertain discrete-time systems

A novel discrete-time reaching law was proposed for uncertain discrete-time system,which contained process noise and measurement noise.The proposed method reserves all the advantages of discrete-time reaching law,which not only decreases the band width of sliding mode and strengthens the system robustness,but also improves the dynamic performance and stability capability of the system.Moreover,a discrete-time sliding mode control strategy based on Kalman filter method was designed,and Kalman filter was employed to eliminate the influence of system noise.Simulation results show that there is no chattering phenomenon in the output of controller and the state variables of controlled system,and the proposed algorithm is also feasible and has strong robustness to external disturbances.

On Asymptotic Stabilization of Linear Discrete-time Systems with Saturated State Feedback

As saturation is involved in the stabilizing feedback control of a linear discrete-time system, the original global-asymptotic stabilization (GAS) may drop to region-asymptotic stabilization (RAS). How to test if the saturated feedback system is GAS or RAS? The paper presents a criterion to answer this question, and describes an algorithm to calculate an invariant attractive ellipsoid for the RAS case. At last, the effectiveness of the approach is shown with examples.

Robust Stabilization of Nonlinear Time Delay Discrete-time Systems Based on T-S Model

A robust stabilization problem is considered for time delay nonlinear discrete-time systems based on T-S fuzzy model. A necessary and sufficient condition for the existence of such controllers is given through Lyapunov stability theorem. And it is further shown that this condition is equivalent to the solvability of a certain linear matrix inequality, which can be solved easily by using the LMI toolbox of Matlab. At last, an illustrative example of truck-trailer is presented to show the feasibility and effectiveness of the proposed method.

Exponential stability for networked control systems based on the model of nonlinear discrete-time system with time-varying delay

An uncertain nonlinear discrete-time system model with time-varying input delays for networked control systems (NCSs) is presented. The problem of exponential stability for the system is considered and some new criteria of exponential stability are obtained based on norm inequality methods. A numerical example is given todemonstrate that those criteria are useful to analyzing the stability of nonlinear NCSs.

Differences in Informal Time System and Intercultural Communication

Informal time system refers to the assumption that cultures make about how time should be used or experienced. In this essay, three related aspects of informal time system are discussed, i.e. monochronic time system vs. polychronic time system, sequence of events and interval between events. Different cultures are compared with respect to the three aspects. The differences in the three aspects and the impacts on intercultural communication have been highlighted in each part.