Results 41 to 50 of about 73,852 (168)
Debugging of Markov Decision Processes (MDPs) Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In model checking, a counterexample is considered as a valuable tool for debugging. In Probabilistic Model Checking (PMC), counterexample generation has a quantitative aspect. The counterexample in PMC is a set of paths in which a path formula holds, and
Hichem Debbi
doaj +1 more source
The Compositional Construction of Markov Processes [PDF]
Applied Categorical Structures, 2010 We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in a model of the classical Dining Philosopher problem, and show, using the Perron-Frobenius Theorem, that this probability tends to 1 as k tends to infinity.
Luisa de Francesco Albasini +2 more
openaire +3 more sources
State assessment of protective devices based on data of information processing system
The Journal of Engineering, 2019 At present, the evaluation of relay status maintenance depends on a large amount of manpower. However, the data sources of relay protection devices and fault recorder information system (as known as the information processing system) have reached the ...
Yuanbo Ye +4 more
doaj +1 more source
Вестник Донского государственного технического университета, 2018 The issues concerning the potential application of Markov processes theory for efficient management decision making based on the production enterprise business modeling are considered.
Evgeniya R. Khabibullina
doaj
A Markov chain-based model for wind power prediction in congested electrical grids
The Journal of Engineering, 2019 The large penetration of wind generators in existing electrical grids induces critical issues that are pushing the system operators to improve several critical operation functions, such as the security analysis and the spinning reserve assessment, with ...
Fabrizio De Caro +2 more
doaj +1 more source
A Generalization of Markov Processes
The Annals of Probability, 1978 Osterwalder-Schrader (OS) positive symmetric stationary stochastic processes are discussed. A natural construction is given for the associated positive semigroup structure. Conversely, OS-positive symmetric stationary stochastic processes are constructed from positive semigroup structures. OS-positive processes are seen to be the natural generalization
openaire +2 more sources
A Novel Robust Interacting Multiple Model Algorithm for Maneuvering Target Tracking
Advances in Electrical and Computer Engineering, 2017 In this paper, the state estimation problem for discrete-time jump Markov systems is considered. A minimax filtering technique, interacting multiple model algorithm based on game theory, is developed for discrete-time stochastic systems.
GHAZAL, M., DOUSTMOHAMMADI, A.
doaj +1 more source
Journal of Agricultural and Resource Economics, 2002 This study investigates the costs of subsidies for land retention and conversion, in addition to a policy that combines the incentives. A Markov model of forest and agricultural land use is estimated for the U.S. South Central region and used to simulate
Andrew J. Plantinga, Soeun Ahn
doaj +1 more source
Excursions of a Markov Process
The Annals of Probability, 1979 The excursion straddling $t$ and the first excursion exceeding $u$ in length of a Markov process are compared in a general setting. These results are then specialized to the excursions from a point, and to specific processes. The main tool is the general theory of excursions as developed by Maisonneuve and others.
openaire +2 more sources
Unsupervised SAR image segmentation based on kernel TMFs with belief propagation
The Journal of Engineering, 2019 The triplet Markov field (TMF) model has achieved promising results in synthetic aperture radar (SAR) image segmentation. Focusing on the simple likelihood modelling of an SAR image and the effective optimisation of the TMF model, an unsupervised SAR ...
Lu Gan, Xiaoming Liu, Ziwei Li
doaj +1 more source