50 citations · 80 across the 22 of their papers we have counts for
9 papers · 1 filter
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems
Christos K. Verginis, Zhe Xu, Ufuk Topcu
We develop a learning-based algorithm for the distributed formation control of networked multi-agent systems governed by unknown, nonlinear dynamics. Most existing algorithms eithe…
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…
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking
Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun +4
In this paper, we develop safe reinforcement-learning-based controllers for systems tasked with accomplishing complex missions that can be expressed as linear temporal logic specif…
Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems
Zhe Xu, Yichen Zhang
In this paper, we present a provably correct controller synthesis approach for switched stochastic control systems with metric temporal logic (MTL) specifications with provable pro…
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
Zhe Xu, Xiaoming Duan
Pandemics can bring a range of devastating consequences to public health and the world economy. Identifying the most effective control strategies has been the imperative task all a…
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach
Zhe Xu, Bo Wu, Ufuk Topcu
Ever since the outbreak of the COVID-19 epidemic, various public health control strategies have been proposed and tested against the coronavirus SARS-CoV-2. We study three specific…
Constrained Active Classification Using Partially Observable Markov Decision Processes
Bo Wu, Niklas Lauffer, Mohamadreza Ahmadi +3
In this work, we study the problem of actively classifying the attributes of dynamical systems characterized as a finite set of Markov decision process (MDP) models. We are interes…
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
Bo Wu, Steven Carr, Suda Bharadwaj +2
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. I…
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties
Zhe Xu, Yi Deng, Agung Julius
In this paper, we present a mechanism for building hybrid system observers to differentiate between specific positions of the hybrid system. The mechanism is designed through infer…