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...