2 citations · 2 across the 3 of their papers we have counts for
8 papers
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…
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching
Bo Wu, Murat Cubuktepe, Franck Djeumou +2
We study the synthesis of mode switching protocols for a class of discrete-time switched linear systems in which the mode jumps are governed by Markov decision processes (MDPs). We…
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization
Suda Bharadwaj, Louis Ly, Bo Wu +2
This paper studies a two-player game with a quantitative surveillance requirement on an adversarial target moving in a discrete state space and a secondary objective to maximize sh…
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex
Parham Gohari, Bo Wu, Matthew Hale +1
As members of a network share more information with each other and network providers, sensitive data leakage raises privacy concerns. To address this need for a class of problems,…
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
Zhe Xu, Federico M. Zegers, Bo Wu +2
This paper develops a controller synthesis approach for a multi-agent system (MAS) with intermittent communication. We adopt a leader-follower scheme, where a mobile leader with ab…
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis
Bo Wu, Murat Cubuktepe, Ufuk Topcu
Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise natur…