Results 1 to 10 of about 98,858 (265)
Imprecise continuous-time Markov chains [PDF]
International Journal of Approximate Reasoning, 2017 Continuous-time Markov chains are mathematical models that are used to describe the state-evolution of dynamical systems under stochastic uncertainty, and have found widespread applications in various fields. In order to make these models computationally tractable, they rely on a number of assumptions that may not be realistic for the domain of ...
Thomas Krak, Jasper De Bock, Arno Siebes
core +8 more sources
Optimizing intra-facility crowding in Wi-Fi environments using continuous-time Markov chains [PDF]
Discover Internet of Things, 2022 Various measures have been devised to reduce crowdedness and alleviate the transmission of COVID-19. In this study, we propose a method for reducing intra-facility crowdedness based on the usage of Wi-Fi networks.
Shinya Mizuno, Haruka Ohba
doaj +3 more sources
A Definition Scheme for Quantitative Bisimulation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov chains, interactive Markov chains, and Markov automata.
Diego Latella +2 more
doaj +4 more sources
Matrix Analysis for Continuous-Time Markov Chains
Special Matrices, 2021 Continuous-time Markov chains have transition matrices that vary continuously in time. Classical theory of nonnegative matrices, M-matrices and matrix exponentials is used in the literature to study their dynamics, probability distributions and other ...
Le Hung V., Tsatsomeros M. J.
doaj +2 more sources
Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains [PDF]
BMC Bioinformatics, 2011 Background Continuous time Markov chains (CTMCs) is a widely used model for describing the evolution of DNA sequences on the nucleotide, amino acid or codon level.
Tataru Paula, Hobolth Asger
doaj +2 more sources
Modeling gaze behavior with continuous-time markov chains to investigate social attention dynamics in autism [PDF]
Scientific ReportsThis study introduces a novel methodological framework combining continuous-time Markov chains and principal component analysis (PCA) to model and investigate gaze behavior in young children observing naturalistic social interactions.
R. Bruschetta +15 more
doaj +2 more sources
Markov chains and applications
Selecciones Matemáticas, 2022 This work has three important purposes: first it is the study of Markov Chains, the second is to show that Markov chains have different applications and finally it is to model a process of this behaves. Throughout this work we will describe what a Markov
Mississippi Valenzuela
doaj +1 more source
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications [PDF]
Logical Methods in Computer Science, 2011 We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or Muller acceptance conditions.
Taolue Chen +3 more
doaj +1 more source
Barekeng, 2023 Markov chain is a stochastic process to describe a phenomenon in the future based on a previous state. In practice, Markov chains are distinguished by time into two, namely discrete-time Markov chain and continuous-time Markov Chain.
Putri Monika +3 more
doaj +1 more source
A tool for model-checking Markov chains [PDF]
, 2002 Markov chains are widely used in the context of the performance and reliability modeling of various systems. Model checking of such chains with respect to a given (branching) temporal logic formula has been proposed for both discrete [34, 10] and ...
Hermanns, H. +3 more
core +9 more sources