Formal Abstraction of General Stochastic Systems via Noise Partitioning

Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonlinear stochastic systems with nonstandard (e.g., non-affine, non-symmetric, non-unimodal) noise distributions for verification purposes. The method uses a finite...

Stochastic Stability of Discrete-time Phase-coupled Oscillators over Uncertain and Random Networks

This article studies stochastic relative phase stability, i.e., stochastic phase-cohesiveness, of discrete-time phase-coupled oscillators. Stochastic phase-cohesiveness in two types of networks is studied. First, we consider oscillators coupled with 2π -periodic odd functions over underlying undirected graphs subject to both multiplicative...

Migration-aware Network Services with Edge Computing

The development of Multi-access edge computing (MEC) has resulted from the requirement for supporting next generation mobile services, which need high capacity, high reliability and low latency. The key issue in such MEC architectures is to decide which edge nodes will be employed for serving the needs of the different end users. Here, we...

Conditioning continuous-time Markov processes by guiding

A continuous-time Markov process X can be conditioned to be in a given state at a fixed time T>0 using Doob's h-transform. This transform requires the typically intractable transition density of X. The effect of the h-transform can be described as introducing a guiding force on the process. Replacing this force with an approximation...

Distinguishing level-1 phylogenetic networks on the basis of data generated by Markov processes

Phylogenetic networks can represent evolutionary events that cannot be described by phylogenetic trees. These networks are able to incorporate reticulate evolutionary events such as hybridization, introgression, and lateral gene transfer. Recently, network-based Markov models of DNA sequence evolution have been introduced along with model...

The exponential resolvent of a markov process and large deviations for markov processes via hamilton-jacobi equations

We study the Hamilton-Jacobi equation f − λHf = h, where Hf = e^−f Ae^f and where A is an operator that corresponds to a well-posed martingale problem. We identify an operator that gives viscosity solutions to the Hamilton-Jacobi equa-tion, and which can therefore be interpreted as the resolvent of H. The operator is given...

Reservoir Lithology Determination by Hidden Markov Random Fields Based on a Gaussian Mixture Model

In this paper, geological prior information is incorporated in the classification of reservoir lithologies after the adoption of Markov random fields (MRFs). The prediction of hidden lithologies is based on measured observations, such as seismic inversion results, which are associated with the latent categorical variables, based on the...

Sign Language Recognition by Combining Statistical DTW and Independent Classification

To recognize speech, handwriting, or sign language, many hybrid approaches have been proposed that combine Dynamic Time Warping (DTW) or Hidden Markov Models (HMMs) with discriminative classifiers. However, all methods rely directly on the likelihood models of DTW/HMM. We hypothesize that time warping and classification should be separated...