We propose a new class of logics for specifying and model-checking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different locations ...

We consider a spatial functional linear regression, where scalar response is related to square-integrable process. use smoothing spline estimator for the slope parameter and establish finite sample bound variance of this estimator. Then we give optimal prediction error under mixing dependence. Finally, illustrate our results by simulations an application ozone pollution forecasting at nonvisite...

In this work, we propose a sparsity-exploiting dynamic rainfall monitoring methodology using rain-induced attenuation measurements frommicrowave links. To estimate rainfall field intensity dynamically from a limited number of non-linear measurements, we exploit physical properties of the rainfall such as spatial sparsity and non-negativity along with the dynamics of rainfall intensity. We devel...

In this work, we analyse a pair of two-dimensional coupled reaction-diusion equations known as the Gray-Scott model, in which spot patterns have been observed. We focus on stationary patterns, and begin by deriving the asymptotic scaling of the parameters and variables necessary for the analysis of these patterns. A complete bifurcation study of these solutions is presented. The main mathematic...

In this paper, we have proposed a study on controllability and optimal harvestingof a prey predator model and mathematical non linear formation of the equation equilibriumpoint of Routh harvest stability analysis. The problem of determining the optimal harvestpolicy is solved by invoking Pontryagin0s maximum principle dynamic optimization of theharvest policy is studied by taking the combined h...

Consider a linear model for a spatial system of n areal units, (1) , ~ (0,) Y X u u N V    where both  and V are unknown. The simplest procedure for specifying the covariance matrix, V , is to start by assuming that (2) 2 n V I   , so that  can be estimated by OLS. Given this estimate, one can then test to see whether there is sufficient spatial autocorrelation in the residuals to warran...