Cellular automata (CA) models have increasingly been used to simulate land use/cover changes (LUCC). Metaheuristic optimization algorithms such as particle swarm (PSO) and genetic algorithm (GA) recently introduced into CA frameworks generate more accurate simulations. Although Markov Chain Monte Carlo (MCMC) is simpler than PSO GA, it rarely calibrate models. In this article, we introduce a no...

The land use cover change and its modeling approach has recently been considered by the scientific community to observe environmental changes. Remote Sensing Geographical Information System (GIS) give major techniques which can be useful in analysis at town locale as well city levels. RS data from Thematic Mapper sensor of 1998, 2002, 2010, 2014, 2018, Operational Land Imager 2018 were used for...

We discuss conceptional and foundational aspects of Markov automata [22]. We place this model in the context of continuousand discrete-time Markov chains, probabilistic automata and interactive Markov chains, and provide insight into the parallel execution of such models. We further give a detailled account of the concept of relations on distributions, and discuss how this can generalise known ...

Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) with quantitative models to capture such non-functional aspects of a system’s behaviour as delays, costs, resource needs and consumption, that depend on the internal details of the system. However, the performance of a system can...

In this paper we extend the predicate logic introduced in [Beauquier et al. 2002] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to SemiMarkov Processes. Furthermore we apply our logic to Probabilistic Timed Automata considering classical and urgent semantics, and considering als...

modeling and prediction of land use/cover changes is an essential need for planning sustainable use of land in country like iran with its high level of changes in land uses and land covers. this study aimed to analyze the capability of ca markov prediction model and landsat satellite images for land use/cover change detection within the framework of “iran at 1404 prospective” in esfarayen r...

We show how some graph theoretical arguments may be used to reduce the complexity of the computation of the steady-state distribution of Markov chain. We consider the directed graph associated to a Markov chain derived from a Stochastic Automata Network (SAN). The structural properties of the automata are used to establish new various results. First, we establish the complexity of the resolutio...