Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 10 of 10 for “"Continuous-time Markov chains"”.
-
Reciprocal classes of continuous time Markov Chains
In this thesis we study reciprocal classes of Markov chains. Given a continuous time Markov chain on a countable state space, acting as reference dynamics, the associated reciprocal class is the set of all probability measures on path space that can be written as a mixture of its bridges. These …
-
Specification and verification of systems using model checking and Markov reward models
This thesis examines Markov reward models, a formalism based on continuous time Markov chains, and it's usage in the generation and analysis of service levels. The particular solution technique we employ in this thesis is model checking, using Continuous Reward Logic as a means to specify …
-
Probabilistic reasoning and inference for systems biology
… are a novel modelling approach using continuous time Markov chains that enables deductive derivation of model behaviours and their properties, and the application of Bayesian inferential methods to solve the inverse problem of model inference and comparison, given uncertain knowledge …
-
Approximation and System Identification Techniques for Stochastic Biomolecular Systems
… models of chemical reaction networks, given by continuous time Markov chains with countably infinite state spaces, creates computational and analytical difficulties when performing analysis or system identification. Therefore, approximate models that exploit timescale separation between …
-
Statistical verification and differential privacy in cyber-physical systems
… techniques are performed on both Discrete-Time and Continuous-Time Stochastic Hybrid Systems to reduce them to Discrete-Time Markov Chains and Continuous-Time Markov Chains, respectively; and statistical verification algorithms are proposed to verify Linear Inequality LTL and Metric …
-
Controlling Molecular-Scale Motion: Exact Predictions for Driven Stochastic Systems
… pumps: stochastic systems that are driven by time-dependent perturbations. A number of exact theoretical predictions have been made recently describing how stochastic pumps respond to arbitrary driving. This work investigates one such prediction, the current decomposition formula, and its …
-
Large deviations of stochastic systems and applications
… identification. It encompasses analysis of two-time-scale Markov processes and system identification with regular and quantized data. First, we develops large deviations principles for systems driven by continuous-time Markov chains with twotime scales and related optimal control problems. A …
-
A path-based framework for analyzing large markov models
… on the solutions of transient measures in large continuous-time Markov chains (CTMCs). It extends existing path-based and uniformization-based methods by identifying sets of paths that are equivalent with respect to a reward measure and related to one another via a simple structural relationship. …
-
Applications of jump processes in epidemiology and neuroscience
… models the occurrence of discrete events over time. In epidemiology, the events correspond to catching an infection, recovering from a disease, etc. In neuroscience, the spike train of a neuron can be described as a jump process. The first contribution of this thesis is a data-informed approach …
-
Stochastic processes in T-cell signaling
… such as escapes from stable basins, take a long time (waiting time) to occur, they take little time to complete once they have started. We showed that for Markov processes characterized by detailed balance, successful transitions, on average, complete exactly as quickly as transitions in the …