108 citations · 330 across the 34 of their papers we have counts for
7 papers · 1 filter
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
Zhe Xu, Agung Julius, Ufuk Topcu +1
In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provabl…
Minimizing the Information Leakage Regarding High-Level Task Specifications
Michael Hibbard, Yagis Savas, Zhe Xu +1
We consider a scenario in which an autonomous agent carries out a mission in a stochastic environment while passively observed by an adversary. For the agent, minimizing the inform…
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
Zhe Xu, Kasra Yazdani, Matthew T. Hale +1
Privacy is an important concern in various multiagent systems in which data collected from the agents are sensitive. We propose a differentially private controller synthesis approa…
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…
Transfer of Temporal Logic Formulas in Reinforcement Learning
Zhe Xu, Ufuk Topcu
Transferring high-level knowledge from a source task to a target task is an effective way to expedite reinforcement learning (RL). For example, propositional logic and first-order…
Joint Inference of Reward Machines and Policies for Reinforcement Learning
Zhe Xu, Ivan Gavran, Yousef Ahmad +4
Incorporating high-level knowledge is an effective way to expedite reinforcement learning (RL), especially for complex tasks with sparse rewards. We investigate an RL problem where…
Graph Temporal Logic Inference for Classification and Identification
Zhe Xu, Alexander J Nettekoven, A. Agung Julius +1
Inferring spatial-temporal properties from data is important for many complex systems, such as additive manufacturing systems, swarm robotic systems and biological networks. Such s…