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

Privatized distributed anomaly detection for large-scale nonlinear uncertain systems

In this article two limitations in current distributed model based approaches for anomaly detection in large-scale uncertain nonlinear systems are addressed. The first limitation regards the high conservativeness of deterministic detection thresholds, against which a novel family of set-based thresholds is proposed. Such set-based thresholds...

Distributed stochastic reserve scheduling in AC power systems with uncertain generation

This paper presents a framework to carry out multi-area stochastic reserve scheduling (RS) based on an AC optimal power flow (OPF) model with high penetration of wind power using distributed consensus and the alternating direction method of multipliers (ADMM). We first formulate the OPF-RS problem using semidefinite programming (SDP) in...