3 citations · 6 across the 9 of their papers we have counts for
10 papers
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
Franck Djeumou, Zhe Xu, Murat Cubuktepe +1
We develop a probabilistic control algorithm, , for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The r…
Privacy-Utility Trade-Offs Against Limited Adversaries
Xiaoming Duan, Zhe Xu, Rui Yan +1
We study privacy-utility trade-offs where users share privacy-correlated useful information with a service provider to obtain some utility. The service provider is adversarial in t…
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications
Christos K. Verginis, Zhe Xu, Ufuk Topcu
We develop a learning-based algorithm for the control of autonomous systems governed by unknown, nonlinear dynamics to satisfy user-specified spatio-temporal tasks expressed as sig…
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider +2
Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inferenc…
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy +2
We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing appr…
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications
Zhe Xu, Federico M. Zegers, Bo Wu +3
This paper investigates the controller synthesis problem for a multi-agent system (MAS) with intermittent communication. We adopt a relay-explorer scheme, where a mobile relay agen…