108 citations · 330 across the 34 of their papers we have counts for
9 papers · 1 filter
Distributed Neurodynamics-Based Backstepping Optimal Control for Robust Constrained Consensus of Underactuated Underwater Vehicles Fleet
Tao Yan, Zhe Xu, Simon X. Yang +1
Robust constrained formation tracking control of underactuated underwater vehicles (UUVs) fleet in three-dimensional space is a challenging but practical problem. To address this p…
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications
Nasim Baharisangari, Zhe Xu
In this paper, we propose a distributed differentially private receding horizon control (RHC) approach for multi-agent systems (MAS) with metric temporal logic (MTL) specifications…
Non-Parametric Neuro-Adaptive Formation Control
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…
Consensus Formation Tracking for Multiple AUV Systems Using Distributed Bioinspired Sliding Mode Control
Tao Yan, Zhe Xu, Simon X. Yang
Consensus formation tracking of multiple autonomous underwater vehicles (AUVs) subject to nonlinear and uncertain dynamics is a challenging problem in robotics. To tackle this chal…
Robust Inference and Verification of Temporal Logic Classifier-in-the-loop Systems
Zhe Xu
Autonomous systems embedded with machine learning modules often rely on deep neural networks for classifying different objects of interest in the environment or different actions o…
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…
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…
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…