A Consistent Time Level Implementation Preserving Second-Order Time Accuracy via a Framework of Unified Time Integrators in the Discrete Element Approach

In this work,a consistent and physically accurate implementation of the general framework of unified second-order time accurate integrators via the well-known GSSSS framework in the Discrete Element Method is presented.The improved tangential displacement evaluation in the present implementation of the discrete element method has been derived and implemented to preserve the consistency of the correct time level evaluation during the time integration process in calculating the algorithmic tangential displacement.Several numerical examples have been used to validate the proposed tangential displacement evaluation;this is in contrast to past practices which only seem to attain the first-order time accuracy due to inconsistent time level implementation with different algorithms for normal and tangential directions.The comparisons with the existing implementation and the superiority of the proposed implementation are given in terms of the convergence rate with improved numerical accuracy in time.Moreover,several schemes via the unified second-order time integrators within the framework of the GSSSS family have been carried out based on the proposed correct implementation.All the numerical results demonstrate that using the existing state-of-the-art implementation reduces the time accuracy to be first-order accurate in time,while the proposed implementation preserves the correct time accuracy to yield second-order.

Noise-Tolerant ZNN-Based Data-Driven Iterative Learning Control for Discrete Nonaffine Nonlinear MIMO Repetitive Systems

Aiming at the tracking problem of a class of discrete nonaffine nonlinear multi-input multi-output(MIMO) repetitive systems subjected to separable and nonseparable disturbances, a novel data-driven iterative learning control(ILC) scheme based on the zeroing neural networks(ZNNs) is proposed. First, the equivalent dynamic linearization data model is obtained by means of dynamic linearization technology, which exists theoretically in the iteration domain. Then, the iterative extended state observer(IESO) is developed to estimate the disturbance and the coupling between systems, and the decoupled dynamic linearization model is obtained for the purpose of controller synthesis. To solve the zero-seeking tracking problem with inherent tolerance of noise,an ILC based on noise-tolerant modified ZNN is proposed. The strict assumptions imposed on the initialization conditions of each iteration in the existing ILC methods can be absolutely removed with our method. In addition, theoretical analysis indicates that the modified ZNN can converge to the exact solution of the zero-seeking tracking problem. Finally, a generalized example and an application-oriented example are presented to verify the effectiveness and superiority of the proposed process.

SMOOTHNESS OF INERTIAL MANIFOLD UNDER TIME DISCRETIZATION

In this paper we discuss the smoothness of inertial manifolds under time discretization. By the fibre contract principle, see Section 4, we obtain a sufficient condition for C-k(k greater than or equal to 1) inertial manifolds. In view of the numerical computation for dissipative nonlinear evolution equations, it is more important to consider the discretized case than continuous case([3]).

Event-Triggered Finite-Time H∞ Filtering for Discrete-Time Nonlinear Stochastic Systems

This paper addresses the problem of event-triggered finite-time H∞ filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H∞ filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H∞ filter gain matrices can be expressed in an explicit form.

Strong-Stability-Preserving, K-Step, 5- to 10-Stage, Hermite-Birkhoff Time-Discretizations of Order 12

We construct optimal k-step, 5- to 10-stage, explicit, strong-stability-preserving Hermite-Birkhoff (SSP HB) methods of order 12 with nonnegative coefficients by combining linear k-step methods of order 9 with 5- to 10-stage Runge-Kutta (RK) methods of order 4. Since these methods maintain the monotonicity property, they are well suited for solving hyperbolic PDEs by the method of lines after a spatial discretization. It is seen that the 8-step 7-stage HB methods have largest effective SSP coefficient among the HB methods of order 12 on hand. On Burgers’ equations, some of the new HB methods have larger maximum effective CFL numbers than Huang’s 7-step hybrid method of order 7, thus allowing larger step size.

TIME-DISCRETIZATION PROCEDURE FOR FINITE ELEMENT APPROXIMATION OF COMPRESSIBLE MISCIBLE DISPLACEMENT IN POROUS MEDIA

We’ll consider the model of two-phase compressible miscible displacement in porous media which includes molecular diffusion and dispersion in one dimensional space. Time-discretization procedure is established and analysed. The optimal error estimate in L2 norm is proved by introducing a new interpolation operator R.

A high-order full-discretization method using Hermite interpolation for periodic time-delayed differential equations

A high-order full-discretization method （FDM） using Hermite interpolation （HFDM） is proposed and implemented for periodic systems with time delay. Both Lagrange interpolation and Hermite interpolation are used to approximate state values and delayed state values in each discretization step. The transition matrix over a single period is determined and used for stability analysis. The proposed method increases the approximation order of the semidiscretization method and the FDM without increasing the computational time. The convergence, precision, and efficiency of the proposed method are investigated using several Mathieu equations and a complex turning model as examples. Comparison shows that the proposed HFDM converges faster and uses less computational time than existing methods.

An Implicit-Explicit Computational Method Based on Time Semi-Discretization for Pricing Financial Derivatives with Jumps

This paper considers pricing European options under the well-known of SVJ model of Bates and related computational methods. According to the no-arbitrage principle, we first derive a partial differential equation that the value of any European contingent claim should satisfy, where the asset price obeys the SVJ model. This equation is numerically solved by using the implicit- explicit backward difference method and time semi-discretization. In order to explain the validity of our method, the stability of time semi-discretization scheme is also proved. Finally, we use a simulation example to illustrate the efficiency of the method.

The MAP/PH(PH/PH)/1 Discrete-time Queuing System with Repairable Server

In this paper, we discuss a discrete time repairable queuing system with Markovian arrival process, where lifetime of server, service time and repair time of server are all discrete phase type random variables. Using the theory of matrix geometric solution, we give the steady state distribution of queue length and waiting time. In addition, the stable availability of the system is also provided.

A Discrete-Time Stochastic Traffic Assignment Model

A discrete time stochastic traffic assignment model is proposed. The model provides a discrete time description of the variations of flows on a road network during a day or a peak period. The congestion effect at links and link junctions are taken into account. The first in first out principle is enforced on all links at all periods of the day. A stochastic user equilibrium assignment is achieved when the tripmaker is unable to find better travel alternatives. A computational procedure is also presented.

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.

Discrete time transfer matrix method for dynamics of multibody system with flexible beams moving in space

In this paper, by defining new state vectors and developing new transfer matrices of various elements mov- ing in space, the discrete time transfer matrix method of multi-rigid-flexible-body system is expanded to study the dynamics of multibody system with flexible beams moving in space. Formulations and numerical example of a rigid- flexible-body three pendulums system moving in space are given to validate the method. Using the new method to study the dynamics of multi-rigid-flexible-body system mov- ing in space, the global dynamics equations of system are not needed, the orders of involved matrices of the system are very low and the computational speed is high, irrespec- tive of the size of the system. The new method is simple, straightforward, practical, and provides a powerful tool for multi-rigid-flexible-body system dynamics.

Intrusion Detection System for PS-Poll DoS Attack in 802.11 Networks Using Real Time Discrete Event System

Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.

Iterative Learning Control for Discrete-time Stochastic Systems with Quantized Information

An iterative learning control (ILC) algorithm using quantized error information is given in this paper for both linear and nonlinear discrete-time systems with stochastic noises. A logarithmic quantizer is used to guarantee an adaptive improvement in tracking performance. A decreasing learning gain is introduced into the algorithm to suppress the effects of stochastic noises and quantization errors. The input sequence is proved to converge strictly to the optimal input under the given index. Illustrative simulations are given to verify the theoretical analysis. © 2014 Chinese Association of Automation.

Time effect and prediction of broken rock bulking coefficient on the base of particle discrete element method

Bulking characteristics of gangue are of great significance for the stability of goafs in mining overburden in the caving zones.In this paper,a particle discrete element method with clusters to represent gangue was adopted to explore the bulking coefficient time effect of the broken rock in the caving zone under three-dimensional triaxial compression condition.The phenomena of stress corrosion,deformation,and failure of rock blocks were simulated in the numerical model.Meanwhile,a new criterion of rock fragments damage was put forward.It was found that the broken rock has obvious viscoelastic properties.A new equation based on the Burgers creep model was proposed to predict the bulking coefficient of broken rock.A deformation characteristic parameter of the prediction equation was analyzed,which can be set as a fixed value in the mid-and long-term prediction of the bulking coefficient.There are quadratic function relationships between the deformation characteristic parameter value and Talbot gradation index,axial pressure and confining pressure.

H_∞ State Feedback Delay-dependent Control for Discrete Systems with Multi-time-delay

In this paper, H ∞ state feedback control with delay information for discrete systems with multi-time-delay is discussed. Making use of linear matrix inequality (LMI) approach, a time-delay-dependent criterion for a discrete system with multi-time-delay to satisfy H ∞ performance indices is induced, and then a strategy for H ∞ state feedback control with delay values for plant with multi-time-delay is obtained. By solving corresponding LMI, a delay-dependent state feedback controller satisfying H ∞ performance indices is designed. Finally, a simulation example demonstrates the validity of the proposed approach. Keywords Multi-time-delay - discrete time system - LMI - delay-dependent - H ∞ control Bai-Da Qu received B. S. degree in electrical automation from Fuxin Mining Institute, China in 1982, M. Eng. degree from Hefei University of Polytechnology in 1990, and Ph.D from Northerneastern University in 1999. He was an electro-mechanical engineer at Erdaohezi Mine, Heilongjiang, China from 1982 to 1990, a Lecturer, Senior Engineer, Associate Professor and Professor in Shenyang Institue of Technology from 1990 to 2002. He is currently a professor in Communication and Control Engineering School, Southern Yangtze University. His research interests include control theory and applications (robust control, H ∞ control, time-delay systems, complex systems), system engineering (modeling, analysis and simulation, MIS,CMIS), power-electronics and electrical driving, signal detecting and process, industrial automation.

The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra

A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.

H_∞ controller synthesis of piecewise discrete time linear systems

This paper presents an H∞ controller design method for piecewise discrete time linear systems based on a piecewise quadratic Lyapunov function. It is shown that the resulting closed loop system is globally stable with guaranteed H∞ performance and the controller can be obtained by solving a set of bilinear matrix inequalities. It has been shown that piecewise quadratic Lyapunov functions are less conservative than the global quadratic Lyapunov functions. A simulation example is also given to illustrate the advantage of the proposed approach.

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.