An Algebraic Detection Approach for Control Systems under Multiple Stochastic Cyber-attacks

In order to compromise a target control system successfully, hackers possibly attempt to launch multiple cyberattacks aiming at multiple communication channels of the control system. However, the problem of detecting multiple cyber-attacks has been hardly investigated so far. Therefore, this paper deals with the detection of multiple stochastic cyber-attacks aiming at multiple communication channels of a control system. Our goal is to design a detector for the control system under multiple cyberattacks. Based on frequency-domain transformation technique and auxiliary detection tools, an algebraic detection approach is proposed. By applying the presented approach, residual information caused by different attacks is obtained respectively and anomalies in the control system are detected. Sufficient and necessary conditions guaranteeing the detectability of the multiple stochastic cyber-attacks are obtained. The presented detection approach is simple and straightforward. Finally, two simulation examples are provided, and the simulation results show that the detection approach is effective and feasible. © 2014 Chinese Association of Automation.

Stochastic Model for Multiple Classes and Subclasses Simple Documents Processing

The issue of document management has been raised for a long time, especially with the appearance of office automation in the 1980s, which led to dematerialization and Electronic Document Management (EDM). In the same period, workflow management has experienced significant development, but has become more focused on the industry. However, it seems to us that document workflows have not had the same interest for the scientific community. But nowadays, the emergence and supremacy of the Internet in electronic exchanges are leading to a massive dematerialization of documents;which requires a conceptual reconsideration of the organizational framework for the processing of said documents in both public and private administrations. This problem seems open to us and deserves the interest of the scientific community. Indeed, EDM has mainly focused on the storage (referencing) and circulation of documents (traceability). It paid little attention to the overall behavior of the system in processing documents. The purpose of our researches is to model document processing systems. In the previous works, we proposed a general model and its specialization in the case of small documents (any document processed by a single person at a time during its processing life cycle), which represent 70% of documents processed by administrations, according to our study. In this contribution, we extend the model for processing small documents to the case where they are managed in a system comprising document classes organized in subclasses;which is the case for most administrations. We have thus observed that this model is a Markovian ML×K/ML×K/1 queues network. We have analyzed the constraints of this model and deduced certain characteristics and metrics. In fine, the ultimate objective of our work is to design a document workflow management system, integrating a component of global behavior prediction.

A Stochastic Approach for Cooperative Position Estimation of Multiple Mobile Robots

This paper proposes the cooperative position estimation of a group of mobile robots, which pertbrms disaster relief tasks in a wide area. When searching the wide area, it becomes important to know a robot＇s position correctly. However, for each mobile robot, it is impossible to know its own position correctly. Therefore, each mobile robot estimates its position from the data of sensor equipped on it. Generally, the sensor data is incorrect since there is sensor noise, etc. This research considers two types of the sensor data errors from omnidirectional camera. One is the error of white noise of the image captured by omnidirectional camera and so on. Another is the error of position and posture between two omnidirectional cameras. To solve the error of latter case, we proposed a self-position estimation algorithm for multiple mobile robots using two omnidirectional cameras and an accelerometer. On the other hand, to solve the error of the former case, this paper proposed an algorithm of cooperative position estimation for multiple mobile robots. In this algorithm, each mobile robot uses two omnidirectional cameras to observe the surrounding mobile robot and get the relative position between mobile robots. Each mobile robot estimates its position with only measurement data of each other mobile robots. The algorithm is based on a Bayesian filtering. Simulations of the proposed cooperative position estimation algorithm for multiple mobile robots are performed. The results show that position estimation is possible by only using measurement value from each other robot.

Stochastic Resonance in Bistable System Subject to Multiplicative and Additive Noise

In this paper, a simulation model of bistable system subject to multiplicative and additive noise is built on the basis of the theory of stochastic resonance(SR). SR phenomenon appears in the system subject to multiplicative and additive noise when a single signal transmits in the system. The output waveforms and the power spectrums at different frequencies are compared. The impact of the intensity of multiplicative and additive noise on the bistable system is discussed. It is found that this simulation model can upgrade the quality of the signal processing and the noise intensity can be effectively used for improving the effect of SR.

REGULARITY OF RANDOM ATTRACTORS FOR A STOCHASTIC DEGENERATE PARABOLIC EQUATIONS DRIVEN BY MULTIPLICATIVE NOISE

We study the regularity of random attractors for a class of degenerate parabolic equations with leading term div（o（x）↓△u） and multiplicative noises. Under some mild conditions on the diffusion variable o（x） and without any restriction on the upper growth p of nonlinearity, except that p 〉 2, we show the existences of random attractor in D0^1,2（DN, σ） space, where DN is an arbitrary （bounded or unbounded） domain in R^N N 〉 2. For this purpose, some abstract results based on the omega-limit compactness are established.

Robust stability analysis for Markovian jumping stochastic neural networks with mode-dependent time-varying interval delay and multiplicative noise

This paper is concerned with the problem of robust stability for a class of Markovian jumping stochastic neural networks （MJSNNs） subject to mode-dependent time-varying interval delay and state-multiplicative noise. Based on the Lyapunov-Krasovskii functional and a stochastic analysis approach, some new delay-dependent sufficient conditions are obtained in the linear matrix inequality （LMI） format such that delayed MJSNNs are globally asymptotically stable in the mean-square sense for all admissible uncertainties. An important feature of the results is that the stability criteria are dependent on not only the lower bound and upper bound of delay for all modes but also the covariance matrix consisting of the correlation coefficient. Numerical examples are given to illustrate the effectiveness.

Stochastic Multi-Resonance in a Linear System Driven by Multiplicative Polynomial Dichotomous Noise

We investigate stochastic resonance in a linear system subjected to multiplicative noise that is a polynomial function of colored noise.Using the stochastic averaging method,the analytical expression of the output signal-to-noise ratio(SNR)is derived.Theoretical analysis and numerical results show that the output SNR is a non-monotonic function of both the noise intensity and the correlation rate.Moreover,the phenomoenon of stochastic multi-resonance(SMR)is found,which is not observed in conventional linear systems driven by multiplicative noise with only a linear term.

Optimal Filtering Algorithm for Stochastic 2-D FMM Ⅱ with Multiplicative Noise

A stochastic two dimensional Fornasini Marchesini’s Model Ⅱ (2 D FMM Ⅱ) with multiplicative noise is given, and a filtering algorithm for this model, which is optimal in the sense of linear minimum variance, is developed. The stochastic 2 D FMM Ⅱ with multiplicative noise can be reduced to a 1 D model, and the proposed optimal filtering algorithm for the stochastic 2 D FMM Ⅱ with multiplicative noise is obtained by using the state estimation theory of 1 D systems. An example is given to illustrate the validity of this algorithm.

来自于Multiple-Outlier模型的最小次序统计量序性质（英文）

本文中,我们研究来自于两个multiple-outlier模型的最小次序统计量的随机比较,其中两个模型中独立同分布的随机变量个数不同.令X_(1:n)(p,q)和X_(1:n~*)(p~*,q~*)分别表示来自于X_1,…,X_p,X_(p+1),…,X_n和X_1,…,X_(p),X_(p~*+1),…,X_(n)的最小次序统计量,这里q=n-p,q~*=n~*-p~*.在参数(p,q)和(p~*,q~*)满足某些优化序条件下,我们根据普通随机序,失效率序和似然比序给出了X_(1:n)(p,q)和X_(1:n~*)(p~*,q~*)的序比较.

Spatial Exploration of Multiple Cropping Efficiency in China Based on Time Series Remote Sensing Data and Econometric Model

This study explored spatial explicit multiple cropping efficiency （MCE） of China in 2005 by coupling time series remote sensing data with an econometric model - stochastic frontier analysis （SFA）. We firstly extracted multiple cropping index （MCI） on the basis of the close relationship between crop phenologies and moderate-resolution imaging spectroradiometer （MODIS） enhanced vegetation index （EVI） value. Then, SFA model was employed to calculate MCE, by considering several indicators of meteorological conditions as inputs of multiple cropping systems and the extracted MCI was the output. The result showed that 46% of the cultivated land in China in 2005 was multiple cropped, including 39% double- cropped land and 7% triple-cropped land. Most of the multiple cropped land was distributed in the south of Great Wall. The total efficiency of multiple cropping in China was 87.61% in 2005. Southwestern China, Ganxin Region, the middle and lower reaches of Yangtze River and Huanghuaihai Plain were the four agricultural zones with the largest rooms for increasing MCI and improving MCE. Fragmental terrain, soil salinization, deficiency of water resources, and loss of labor force were the obstacles for MCE promotion in different zones. The method proposed in this paper is theoretically reliable for MCE extraction, whereas further studies are need to be done to investigate the most proper indicators of meteorological conditions as the inputs of multiple cropping systems.

Group consensus of multi-agent systems subjected to cyber-attacks

In this paper, we investigate the group consensus for leaderless multi-agent systems. The group consensus protocol based on the position information from neighboring agents is designed. The network may be subjected to frequent cyberattacks, which is close to an actual case. The cyber-attacks are assumed to be recoverable. By utilizing algebraic graph theory, linear matrix inequality(LMI) and Lyapunov stability theory, the multi-agent systems can achieve group consensus under the proposed control protocol. The sufficient conditions of the group consensus for the multi-agent networks subjected to cyber-attacks are given. Furthermore, the results are extended to the consensus issue of multiple subgroups with cyber-attacks. Numerical simulations are performed to demonstrate the effectiveness of the theoretical results.

A mixed stochastic user equilibrium model considering influence of advanced traveller information systems in degradable transport network

Advanced traveler information systems （ATIS） can not only improve drivers＇ accessibility to the more accurate route travel time information, but also can improve drivers＇ adaptability to the stochastic network capacity degradations. In this paper, a mixed stochastic user equilibrium model was proposed to describe the interactive route choice behaviors between ATIS equipped and unequipped drivers on a degradable transport network. In the proposed model the information accessibility of equipped drivers was reflected by lower degree of uncertainty in their stochastic equilibrium flow distributions, and their behavioral adaptability was captured by multiple equilibrium behaviors over the stochastic network state set. The mixed equilibrium model was formulated as a fixed point problem defined in the mixed route flows, and its solution was achieved by executing an iterative algorithm. Numerical experiments were provided to verify the properties of the mixed network equilibrium model and the efficiency of the iterative algorithm.

The M^X/M/1 Queue with Multiple Working Vacation

We study a batch arrival MX/M/1 queue with multiple working vacation. The server serves customers at a lower rate rather than completely stopping service during the service period. Using a quasi upper triangular transition probability matrix of two-dimensional Markov chain and matrix analytic method, the probability generating function (PGF) of the stationary system length distribution is obtained, from which we obtain the stochastic decomposition structure of system length which indicates the relationship with that of the MX/M/1 queue without vacation. Some performance indices are derived by using the PGF of the stationary system length distribution. It is important that we obtain the Laplace Stieltjes transform (LST) of the stationary waiting time distribution. Further, we obtain the mean system length and the mean waiting time. Finally, numerical results for some special cases are presented to show the effects of system parameters.

FRACTIONAL 2D-STOCHASTIC CURRENTS

Using multiple stochastic integrals and the stochastic calculus for the frac-tional Brownian sheet, we define and we analyze the 2D-fractional stochastic currents.

CHAOTIC OUTPUT OF SST FLUCTUATION STOCHASTIC MODEL WITH GIVEN PARAMETERS

Starting from the Saltzman's air-sea stochastic climatic model, we have derived a langevin-type equation describing SST fluctuation and the related pokker-Plank expression, which were then numerically solved with parameters given, yielding the probability density curve P (x, t) of multiple bifurcations, with the Cantor set of images given in phase space of P (x, t) and P (x, t+), thereby indicating that chaotic output comes from the random system under the conditions of the above parameters.

Preventive condition-based maintenance model of EMU components based on stochastic differential equation

To improve the operation and maintenance management level of large repairable components,such as electrical equipment,large nuclear power facilities,and high-speed electric multiple unit(EMU),and increase economic benefits,preventive maintenance has been widely used in industrial enterprises in recent years.Focusing on the problems of high maintenance costs and considerable failure hazards of EMU components in operation,we establish a state preventive maintenance model based on a stochastic differential equation.Firstly,a state degradation model of the repairable components is established in consideration of the degradation of the components and external random interference.Secondly,based on topology and martingale theory,the state degradation model is analyzed,and its simplex,stopping time,and martingale properties are proven.Finally,the monitoring data of the EMU components are taken as an example,analyzed and simulated to verify the effectiveness of the model.

Simultaneous Position Estimation and Omnidirectional Camera Parameter Calibration for Multiple Mobile Robots

This paper proposed an algorithm on simultaneous position estimation and calibration of omnidirectional camera parameters for a group of multiple mobile robots. It is aimed at developing of exploration and information gathering robotic system in unknown environment. Here, each mobile robot is not possible to know its own position. It can only estimate its own position by using the measurement value including white noise acquired by two omnidirectional cameras mounted on it. Each mobile robot is able to obtain the distance to those robots observed from the images of two omnidirectional cameras while making calibration during moving but not in advance. Simulation of three robots moving straightly shows the effectiveness of the proposed algorithm.

面向线束预装配的多约束线束布局方法研究

线束由一组线束段按树状结构连接而成,是飞机汽车等产品中连接各电气设备的接线部件。为提高安装效率,复杂线束需要在线束工装板图上进行预安装,即根据角度、距离、交叉、边界等工艺约束在工装板上摆放线束,是一个多约束下的线束布局问题。通过借鉴图布局算法,将线束布局转换为优化问题,并采用随机梯度下降法SGD每次随机挑选一对线束段进行优化,逐步迭代收敛。因为线束段是长度不变的刚体,所以移动一根线束段时会带动相连的其他线束段,进而导致SGD迭代过程出现震荡,难以收敛。通过提出双向传递的线束段移动算法,在保证线束段能移动到目标位置的同时尽量少相连线束段的变动。使用合成线束案例和某真实飞机线束案例进行有效性验证,结果表明各工艺约束能均能得到满足,符合线束预装配的生产要求。