Stochastic Models to Mitigate Sparse Sensor Attacks in Continuous-Time Non-Linear Cyber-Physical Systems

Cyber-Physical Systems are very vulnerable to sparse sensor attacks.But current protection mechanisms employ linear and deterministic models which cannot detect attacks precisely.Therefore,in this paper,we propose a new non-linear generalized model to describe Cyber-Physical Systems.This model includes unknown multivariable discrete and continuous-time functions and different multiplicative noises to represent the evolution of physical processes and randomeffects in the physical and computationalworlds.Besides,the digitalization stage in hardware devices is represented too.Attackers and most critical sparse sensor attacks are described through a stochastic process.The reconstruction and protectionmechanisms are based on aweighted stochasticmodel.Error probability in data samples is estimated through different indicators commonly employed in non-linear dynamics(such as the Fourier transform,first-return maps,or the probability density function).A decision algorithm calculates the final reconstructed value considering the previous error probability.An experimental validation based on simulation tools and real deployments is also carried out.Both,the new technology performance and scalability are studied.Results prove that the proposed solution protects Cyber-Physical Systems against up to 92%of attacks and perturbations,with a computational delay below 2.5 s.The proposed model shows a linear complexity,as recursive or iterative structures are not employed,just algebraic and probabilistic functions.In conclusion,the new model and reconstructionmechanism can protect successfully Cyber-Physical Systems against sparse sensor attacks,even in dense or pervasive deployments and scenarios.

Assessment of prediction performances of stochastic models:Monthly groundwater level prediction in Southern Italy

Stochastic modelling of hydrological time series with insufficient length and data gaps is a serious challenge since these problems significantly affect the reliability of statistical models predicting and forecasting skills.In this paper,we proposed a method for searching the seasonal autoregressive integrated moving average(SARIMA)model parameters to predict the behavior of groundwater time series affected by the issues mentioned.Based on the analysis of statistical indices,8 stations among 44 available within the Campania region(Italy)have been selected as the highest quality measurements.Different SARIMA models,with different autoregressive,moving average and differentiation orders had been used.By reviewing the criteria used to determine the consistency and goodness-of-fit of the model,it is revealed that the model with specific combination of parameters,SARIMA(0,1,3)(0,1,2)_(12),has a high R^(2) value,larger than 92%,for each of the 8 selected stations.The same model has also good performances for what concern the forecasting skills,with an average NSE of about 96%.Therefore,this study has the potential to provide a new horizon for the simulation and reconstruction of groundwater time series within the investigated area.

Comparison of Stochastic Models in Forecasting Monthly Streamflow in Rivers: A Case Study of River Nile and Its Tributaries

The dynamic and accurate forecasting of monthly streamflow processes of a river are important in the management of extreme events such as floods and drought, optimal design of water storage structures and drainage network. Many Rivers are selected in this study: White Nile, Blue Nile, Atbara River and main Nile. This paper aims to recommend the best linear stochastic model in forecasting monthly streamflow in rivers. Two commonly hydrologic models: the deseasonalized autoregressive moving average (DARMA) models and seasonal autoregressive integrated moving average (SARIMA) models are selected for modeling monthly streamflow in all Rivers in the study area. Two different types of monthly streamflow data (deseasonalized data and differenced data) were used to develop time series model using previous flow conditions as predictors. The one month ahead forecasting performances of all models for predicted period were compared. The comparison of model forecasting performance was conducted based upon graphical and numerical criteria. The result indicates that deasonalized autoregressive moving average (DARMA) models perform better than seasonal autoregressive integrated moving average (SARIMA) models for monthly streamflow in Rivers.

A Stochastic Model to Assess the Epidemiological Impact of Vaccine Booster Doses on COVID-19 and Viral Hepatitis B Co-Dynamics with Real Data

A patient co-infected with COVID-19 and viral hepatitis B can be atmore risk of severe complications than the one infected with a single infection.This study develops a comprehensive stochastic model to assess the epidemiological impact of vaccine booster doses on the co-dynamics of viral hepatitis B and COVID-19.The model is fitted to real COVID-19 data from Pakistan.The proposed model incorporates logistic growth and saturated incidence functions.Rigorous analyses using the tools of stochastic calculus,are performed to study appropriate conditions for the existence of unique global solutions,stationary distribution in the sense of ergodicity and disease extinction.The stochastic threshold estimated from the data fitting is given by:R_(0)^(S)=3.0651.Numerical assessments are implemented to illustrate the impact of double-dose vaccination and saturated incidence functions on the dynamics of both diseases.The effects of stochastic white noise intensities are also highlighted.

A modified stochastic model for LS+AR hybrid method and its application in polar motion short-term prediction

Short-term(up to 30 days)predictions of Earth Rotation Parameters(ERPs)such as Polar Motion(PM:PMX and PMY)play an essential role in real-time applications related to high-precision reference frame conversion.Currently,least squares(LS)+auto-regressive(AR)hybrid method is one of the main techniques of PM prediction.Besides,the weighted LS+AR hybrid method performs well for PM short-term prediction.However,the corresponding covariance information of LS fitting residuals deserves further exploration in the AR model.In this study,we have derived a modified stochastic model for the LS+AR hybrid method,namely the weighted LS+weighted AR hybrid method.By using the PM data products of IERS EOP 14 C04,the numerical results indicate that for PM short-term forecasting,the proposed weighted LS+weighted AR hybrid method shows an advantage over both the LS+AR hybrid method and the weighted LS+AR hybrid method.Compared to the mean absolute errors(MAEs)of PMX/PMY sho rt-term prediction of the LS+AR hybrid method and the weighted LS+AR hybrid method,the weighted LS+weighted AR hybrid method shows average improvements of 6.61%/12.08%and 0.24%/11.65%,respectively.Besides,for the slopes of the linear regression lines fitted to the errors of each method,the growth of the prediction error of the proposed method is slower than that of the other two methods.

Numerical Analysis of Bacterial Meningitis Stochastic Delayed Epidemic Model through Computational Methods

Based on theWorld Health Organization(WHO),Meningitis is a severe infection of the meninges,the membranes covering the brain and spinal cord.It is a devastating disease and remains a significant public health challenge.This study investigates a bacterial meningitis model through deterministic and stochastic versions.Four-compartment population dynamics explain the concept,particularly the susceptible population,carrier,infected,and recovered.The model predicts the nonnegative equilibrium points and reproduction number,i.e.,the Meningitis-Free Equilibrium(MFE),and Meningitis-Existing Equilibrium(MEE).For the stochastic version of the existing deterministicmodel,the twomethodologies studied are transition probabilities and non-parametric perturbations.Also,positivity,boundedness,extinction,and disease persistence are studiedrigorouslywiththe helpofwell-known theorems.Standard and nonstandard techniques such as EulerMaruyama,stochastic Euler,stochastic Runge Kutta,and stochastic nonstandard finite difference in the sense of delay have been presented for computational analysis of the stochastic model.Unfortunately,standard methods fail to restore the biological properties of the model,so the stochastic nonstandard finite difference approximation is offered as an efficient,low-cost,and independent of time step size.In addition,the convergence,local,and global stability around the equilibria of the nonstandard computational method is studied by assuming the perturbation effect is zero.The simulations and comparison of the methods are presented to support the theoretical results and for the best visualization of results.

Analytical and NumericalMethods to Study the MFPT and SR of a Stochastic Tumor-Immune Model

The Mean First-Passage Time (MFPT) and Stochastic Resonance (SR) of a stochastic tumor-immune model withnoise perturbation are discussed in this paper. Firstly, considering environmental perturbation, Gaussian whitenoise and Gaussian colored noise are introduced into a tumor growth model under immune surveillance. Asfollows, the long-time evolution of the tumor characterized by the Stationary Probability Density (SPD) and MFPTis obtained in theory on the basis of the Approximated Fokker-Planck Equation (AFPE). Herein the recurrenceof the tumor from the extinction state to the tumor-present state is more concerned in this paper. A moreefficient algorithmof Back-Propagation Neural Network (BPNN) is utilized in order to testify the correction of thetheoretical SPDandMFPT.With the existence of aweak signal, the functional relationship between Signal-to-NoiseRatio (SNR), noise intensities and correlation time is also studied. Numerical results show that both multiplicativeGaussian colored noise and additive Gaussian white noise can promote the extinction of the tumors, and themultiplicative Gaussian colored noise can lead to the resonance-like peak on MFPT curves, while the increasingintensity of the additiveGaussian white noise results in theminimum of MFPT. In addition, the correlation timesare negatively correlated with MFPT. As for the SNR, we find the intensities of both the Gaussian white noise andthe Gaussian colored noise, as well as their correlation intensity can induce SR. Especially, SNR is monotonouslyincreased in the case ofGaussian white noisewith the change of the correlation time.At last, the optimal parametersin BPNN structure are analyzed for MFPT from three aspects: the penalty factors, the number of neural networklayers and the number of nodes in each layer.

Optimal Quota-Share and Excess-of-Loss Reinsurance and Investment with Heston’s Stochastic Volatility Model

An optimal quota-share and excess-of-loss reinsurance and investment problem is studied for an insurer who is allowed to invest in a risk-free asset and a risky asset.Especially the price process of the risky asset is governed by Heston's stochastic volatility(SV)model.With the objective of maximizing the expected index utility of the terminal wealth of the insurance company,by using the classical tools of stochastic optimal control,the explicit expressions for optimal strategies and optimal value functions are derived.An interesting conclusion is found that it is better to buy one reinsurance than two under the assumption of this paper.Moreover,some numerical simulations and sensitivity analysis are provided.

Exit problem of stochastic SIR model with limited medical resource

Nonlinearity and randomness are both the essential attributes for the real world,and the case is the same for the models of infectious diseases,for which the deterministic models can not give a complete picture of the evolution.However,although there has been a lot of work on stochastic epidemic models,most of them focus mainly on qualitative properties,which makes us somewhat ignore the original meaning of the parameter value.In this paper we extend the classic susceptible-infectious-removed(SIR)epidemic model by adding a white noise excitation and then we utilize the large deviation theory to quantitatively study the long-term coexistence exit problem with epidemic.Finally,in order to extend the meaning of parameters in the corresponding deterministic system,we tentatively introduce two new thresholds which then prove rational.

A Comparison of Deterministic and Stochastic Susceptible-Infected-Susceptible (SIS) and Susceptible-Infected-Recovered (SIR) Models

In this paper we build and analyze two stochastic epidemic models with death. The model assumes that only susceptible individuals (S) can get infected (I) and may die from this disease or a recovered individual becomes susceptible again (SIS model) or completely immune (SIR Model) for the remainder of the study period. Moreover, it is assumed there are no births, deaths, immigration or emigration during the study period;the community is said to be closed. In these infection disease models, there are two central questions: first it is the disease extinction or not and the second studies the time elapsed for such extinction, this paper will deal with this second question because the first answer corresponds to the basic reproduction number defined in the bibliography. More concretely, we study the mean-extinction of the diseases and the technique used here first builds the backward Kolmogorov differential equation and then solves it numerically using finite element method with FreeFem++. Our contribution and novelty are the following: however the reproduction number effectively concludes the extinction or not of the disease, it does not help to know its extinction times because example with the same reproduction numbers has very different time. Moreover, the SIS model is slower, a result that is not surprising, but this difference seems to increase in the stochastic models with respect to the deterministic ones, it is reasonable to assume some uncertainly.

The Stochastic Asymptotic Stability Analysis in Two Species Lotka-Volterra Model

The asymptotic stability of two species stochastic Lotka-Volterra model is explored in this paper. Firstly, the Lotka-Volterra model with random parameter is built and reduced into the equivalent deterministic system by orthogonal polynomial approximation. Then, the linear stability theory and Routh-Hurwitz criterion for nonlinear deterministic systems are applied to the equivalent one. At last, at the aid of Lyapunov second method, we obtain that as the random intensity or statistical parameter of random variable is changed, the stability about stochastic Lotka-Volterra model is different from the deterministic system.

Algorithms and statistical analysis for linear structured weighted total least squares problem

Weighted total least squares(WTLS)have been regarded as the standard tool for the errors-in-variables(EIV)model in which all the elements in the observation vector and the coefficient matrix are contaminated with random errors.However,in many geodetic applications,some elements are error-free and some random observations appear repeatedly in different positions in the augmented coefficient matrix.It is called the linear structured EIV(LSEIV)model.Two kinds of methods are proposed for the LSEIV model from functional and stochastic modifications.On the one hand,the functional part of the LSEIV model is modified into the errors-in-observations(EIO)model.On the other hand,the stochastic model is modified by applying the Moore-Penrose inverse of the cofactor matrix.The algorithms are derived through the Lagrange multipliers method and linear approximation.The estimation principles and iterative formula of the parameters are proven to be consistent.The first-order approximate variance-covariance matrix(VCM)of the parameters is also derived.A numerical example is given to compare the performances of our proposed three algorithms with the STLS approach.Afterwards,the least squares(LS),total least squares(TLS)and linear structured weighted total least squares(LSWTLS)solutions are compared and the accuracy evaluation formula is proven to be feasible and effective.Finally,the LSWTLS is applied to the field of deformation analysis,which yields a better result than the traditional LS and TLS estimations.

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 genetic algorithm based stochastic programming model for air quality management

This paper presents a model that can aid planners in defining the total allowable pollutant discharge in the planning region, accounting for the dynamic and stochastic character of meteorological conditions. This is accomplished by integrating Monte Carlo simulation and using genetic algorithm to solve the model. The model is demonstrated by using a realistic air urban scale SO 2 control problem in the Yuxi City of China. To evaluate effectiveness of the model, results of the approach are shown to compare with those of the linear deterministic procedures. This paper also provides a valuable insight into how air quality targets should be made when the air pollutant will not threat the residents' health. Finally, a discussion of the areas for further research are briefly delineated.

A Stochastic Numerical Analysis for Computer Virus Model with Vertical Transmission Over the Internet

We are presenting the numerical analysis for stochastic SLBR model of computer virus over the internet in this manuscript.We are going to present the results of stochastic and deterministic computer virus model.Outcomes of the threshold number C∗hold in stochastic computer virus model.If C∗<1 then in such a condition virus controlled in the computer population while C∗>1 shows virus spread in the computer population.Unfortunately,stochastic numerical techniques fail to cope with large step sizes of time.The suggested structure of the stochastic non-standard finite difference scheme(SNSFD)maintains all diverse characteristics such as dynamical consistency,bounded-ness and positivity as well-defined by Mickens.On this basis,we can suggest a collection of plans for eradicating viruses spreading across the internet effectively.

Improvements of corner frequency and scaling factor for stochastic finite-fault modeling

In this paper, three existing source spectral models for stochastic finite-fault modeling of ground motion were reviewed. These three models were used to calculate the far-field received energy at a site from a vertical fault and the mean spectral ratio over 15 stations of the Northridge earthquake, and then compared. From the comparison, a necessary measure was observed to maintain the far-field received energy independent of subfault size and avoid overestimation of the long- period spectra/level. Two improvements were made to one of the three models （i.e., the model based on dynamic comer frequency） as follows： （i） a new method to compute the subfault comer frequency was proposed, where the subfault comer frequency is determined based on a basic value calculated from the total seismic moment of the entire fault and an increment depending on the seismic moment assigned to the subfault; and （ii） the difference of the radiation energy from each suhfault was considered into the scaling factor. The improved model was also compared with the unimproved model through the far-field received energy and the mean spectral ratio. The comparison proves that the improved model allows the received energy to be more independent of subfault size than the unimproved model, and decreases the overestimation degree of the long-period spectral amplitude.

Reservoir Stochastic Modeling Constrained by Quantitative Geological Conceptual Patterns

This paper discusses the principles of geologic constraints on reservoir stochastic modeling. By using the system science theory, two kinds of uncertainties, including random uncertainty and fuzzy uncertainty, are recognized. In order to improve the precision of stochastic modeling and reduce the uncertainty in realization, the fuzzy uncertainty should be stressed, and the ＂geological genesis-controlled modeling＂ is conducted under the guidance of a quantitative geological pattern. An example of the Pingqiao horizontal-well division of the Ansai Oilfield in the Ordos Basin is taken to expound the method of stochastic modeling.

DYNAMICAL BEHAVIOR OF A STOCHASTIC HBV INFECTION MODEL WITH LOGISTIC HEPATOCYTE GROWTH

This paper is concerned with a stochastic HBV infection model with logistic growth. First, by constructing suitable stochastic Lyapunov functions, we establish sufficient conditions for the existence of ergodic stationary distribution of the solution to the HBV infection model. Then we obtain sufficient conditions for extinction of the disease. The stationary distribution shows that the disease can become persistent in vivo.

Stochastic and upscaled analytical modeling of fines migration in porous media induced by low-salinity water injection

Fines migration induced by injection of low-salinity water(LSW) into porous media can lead to severe pore plugging and consequent permeability reduction. The deepbed filtration(DBF) theory is used to model the aforementioned phenomenon, which allows us to predict the effluent concentration history and the distribution profile of entrapped particles. However, the previous models fail to consider the movement of the waterflood front. In this study, we derive a stochastic model for fines migration during LSW flooding, in which the Rankine-Hugoniot condition is used to calculate the concentration of detached particles behind and ahead of the moving water front. A downscaling procedure is developed to determine the evolution of pore-size distribution from the exact solution of a large-scale equation system. To validate the proposed model,the obtained exact solutions are used to treat the laboratory data of LSW flooding in artificial soil-packed columns. The tuning results show that the proposed model yields a considerably higher value of the coefficient of determination, compared with the previous models, indicating that the new model can successfully capture the effect of the moving water front on fines migration and precisely match the effluent history of the detached particles.

Numerical Simulations for Stochastic Computer Virus Propagation Model

We are presenting the numerical simulations for the stochastic computer virus propagation model in this manuscript.We are comparing the solutions of stochastic and deterministic computer virus models.Outcomes of a threshold number R0 hold in stochastic computer virus model.If R_(0)<1 then in such a condition virus controlled in the computer population while R_(0)>1 shows virus rapidly spread in the computer population.Unfortunately,stochastic numerical techniques fail to cope with large step sizes of time.The suggested structure of the stochastic non-standard finite difference technique can never violate the dynamical properties.On this basis,we can suggest a collection of strategies for removing virus’s propagation in the computer population.