On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 In the last decade, Process Mining has become a significant field to help healthcare process experts understand and gain relevant insights about the processes they execute.
Mauro Vallati +5 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
Stability Estimates for Finite-Dimensional Distributions of Time-Inhomogeneous Markov Chains
Mathematics, 2020 This paper is devoted to the study of the stability of finite-dimensional distribution of time-inhomogeneous, discrete-time Markov chains on a general state space.
Vitaliy Golomoziy, Yuliya Mishura
doaj +1 more source
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains [PDF]
Logical Methods in Computer Science, 2018 In this paper we propose a complete axiomatization of the bisimilarity distance of Desharnais et al. for the class of finite labelled Markov chains.
Giorgio Bacci +3 more
doaj +1 more source
An estimate for an expectation of the simultaneous renewal for time-inhomogeneous Markov chains
Modern Stochastics: Theory and Applications, 2016 In this paper, we consider two time-inhomogeneous Markov chains ${X_{t}^{(l)}}$, $l\in \{1,2\}$, with discrete time on a general state space. We assume the existence of some renewal set C and investigate the time of simultaneous renewal, that is, the ...
Vitaliy Golomoziy
doaj +1 more source
Hierarchical Reliability Modelling and Analysis of Life Support System of Fighter Aircraft
International Journal of Mathematical, Engineering and Management Sciences, 2023 The paper proposes a hierarchical reliability modelling and assessment approach for a life support system (LSS) that provides oxygen to the pilot and is employed in a combat aircraft.
Anubhav Tandon +2 more
doaj +1 more source
Subgeometric Ergodicity under Random-Time State-Dependent Drift Conditions
Journal of Probability and Statistics, 2014 Motivated by possible applications of Lyapunov techniques in the stability of stochastic networks, subgeometric ergodicity of Markov chains is investigated.
Mokaedi V. Lekgari
doaj +1 more source
Applications of Metric Coinduction [PDF]
Logical Methods in Computer Science, 2009 Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step showing that some property is preserved by one step of the approximation ...
Dexter Kozen, Nicholas Ruozzi
doaj +1 more source
Calibration of Transition Intensities for a Multistate Model: Application to Long-Term Care
Risks, 2021 We consider a non-homogeneous continuous time Markov chain model for Long-Term Care with five states: the autonomous state, three dependent states of light, moderate and severe dependence levels and the death state.
Manuel L. EsquÃvel +3 more
doaj +1 more source
Data-driven methods to estimate the committor function in conceptual ocean models [PDF]
Nonlinear Processes in Geophysics, 2023 In recent years, several climate subsystems have been identified that may undergo a relatively rapid transition compared to the changes in their forcing.
V. Jacques-Dumas +5 more
doaj +1 more source