On the Bipartite Entanglement Capacity of Quantum Networks

We consider the problem of multipath entanglement distribution to a pair of nodes in a quantum network consisting of devices with nondeterministic entanglement swapping capabilities. Multipath entanglement distribution enables a network to establish end-to-end entangled links across any number of available paths with preestablished link-level...

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

Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems

We employ the scenario approach to compute probably approximately correct (PAC) bounds on the average inter-sample time (AIST) generated by an unknown PETC system, based on a finite number of samples. We extend the scenario optimisation to multiclass SVM algorithms in order to construct a PAC map between the concrete state-space and the inter...

Nessy: A Neuro-Symbolic System for Label Noise Reduction

Noisy labels represent one of the key issues in supervised machine learning. Existing work for label noise reduction mainly takes a probabilistic approach that infers true labels from data distributions in low-level feature spaces. Such an approach is not only limited by its capability to learn high-quality data representations, but also by...

Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics

In this work, we propose a data-driven approach for the stability analysis of discrete-time homogeneous nonlinear systems with unknown models. The proposed framework is based on constructing Lyapunov functions via a set of data, collected from trajectories of unknown systems, while providing an a-priori guaranteed confidence on the stability of...

Distributionally Robust Optimization via Haar Wavelet Ambiguity Sets

This paper introduces a spectral parameterization of ambiguity sets to hedge against distributional uncertainty in stochastic optimization problems. We build an ambiguity set of probability densities around a histogram estimator, which is constructed by independent samples from the unknown distribution. The densities in the ambiguity set are...

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

Approaches for Dialog Management in Conversational Agents

Dialog agents, like digital assistants and automated chat interfaces (e.g., chatbots), are becoming more and more popular as users adapt to conversing with their devices as they do with humans. In this paper, we present approaches and available tools for dialog management (DM), a component of dialog agents that handles dialog context and...