arXiv subjects

Zhongkui Li

Publications and source records attributed to Zhongkui Li.

At least 37 records · Page 2Linked to original sources

arXiv2023

Observation of Periodic Systems: Bridge Centralized Kalman Filtering and Consensus-Based Distributed Filtering

Compared with linear time invariant systems, linear periodic system can describe the periodic processes arising from nature and engineering more precisely. However, the time-varying system parameters increase the difficulty of the research on periodic system, such as stabilization and observation. This paper aims to consider the observation problem of periodic systems by bridging two fundamental filtering algorithms for periodic systems with a sensor network: consensus-on-measurement-based distributed filtering (CMDF) and centralized Kalman filtering (CKF). Firstly, one mild convergence condition based on uniformly collective observability is established for CMDF, under which the filtering performance of CMDF can be formulated as a symmetric periodic positive semidefinite (SPPS) solution to a discrete-time periodic Lyapunov equation. Then, the closed form of the performance gap between CMDF and CKF is presented in terms of the information fusion steps and the consensus weights of the network. Moreover, it is pointed out that the estimation error covariance of CMDF exponentially converges to the centralized one with the fusion steps tending to infinity. Altogether, these new results establish a concise and specific relationship between distributed and centralized filterings, and formulate the trade-off between the communication cost and distributed filtering performance on periodic systems. Finally, the theoretical results are verified with numerical experiments.

eess.SP↗

arXiv2023

Roto-Translation Invariant Formation of Fixed-Wing UAVs in 3D: Feasibility and Control

This paper investigates the formation of fixed-wing UAVs in 3D, which communicate via a directed acyclic graph. Different from common formation problems, we consider the roto-translation invariant (RTI) formation, where the "roto-translation" refers to a rigid-body motion obtained by composing rotation and translation. Besides, the fixed-wing UAV is modelled by a 3-D nonholonomic constrained rigid body instead of a particle agent. The main results of this paper include proposing the formation feasibility conditions and designing the formation controller. Firstly, we define the RTI formation and propose the conditions to guarantee that the formations are feasible for the fixed-wing UAVs under the nonholonomic and input saturation constraints. Secondly, given feasible formations, we design a formation controller by introducing a virtual leader and employing the compensation of rotation, followed by proving the stability of the closed-loop system. Finally, simulation examples are presented to verify the theoretical results.al with the motion coupling among multiple robots. Finally, numerical simulations are conducted to verify the theoretical results.

eess.SY↗

arXiv2023

Multi-Robot Trajectory Planning with Feasibility Guarantee and Deadlock Resolution: An Obstacle-Dense Environment

This article presents a multi-robot trajectory planning method which not only guarantees optimization feasibility and but also resolves deadlocks in obstacle-dense environments. The method is proposed via formulating a recursive optimization problem, where a novel safe corridor is generated online to ensure obstacle avoidance in trajectory planning. A dynamic-priority mechanism is combined with the right-hand rule to handle potential deadlocks that are much harder to resolve due to static obstacles. Comparisons with other state-of-the-art results are conducted to validate the improved safety and success rate. Additional hardware experiments are carried out with up to eight nano-quadrotors in various cluttered scenarios.

cs.RO↗

arXiv2023

Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints

Safety is crucial for robotic missions within an uncertain environment. Common safety requirements such as collision avoidance are only state-dependent, which can be restrictive for complex missions. In this work, we address a more general formulation as safe-return constraints, which require the existence of a return-policy to drive the system back to a set of safe states with high probability. The robot motion is modeled as a Markov Decision Process (MDP) with probabilistic labels, which can be highly non-ergodic. The robotic task is specified as Linear Temporal Logic (LTL) formulas over these labels, such as surveillance and transportation. We first provide theoretical guarantees on the re-formulation of such safe-return constraints, and a baseline solution based on computing two complete product automata. Furthermore, to tackle the computational complexity, we propose a hierarchical planning algorithm that combines the feature-based symbolic and temporal abstraction with constrained optimization. It synthesizes simultaneously two dependent motion policies: the outbound policy minimizes the overall cost of satisfying the task with a high probability, while the return policy ensures the safe-return constraints. The problem formulation is versatile regarding the robot model, task specifications and safety constraints. The proposed hierarchical algorithm is more efficient and can solve much larger problems than the baseline solution, with only a slight loss of optimality. Numerical validations include simulations and hardware experiments of a search-and-rescue mission and a planetary exploration mission over various system sizes.

cs.RO↗

arXiv2022

Time Minimization and Online Synchronization for Multi-agent Systems under Collaborative Temporal Tasks

Multi-agent systems can be extremely efficient when solving a team-wide task in a concurrent manner. However, without proper synchronization, the correctness of the combined behavior is hard to guarantee, such as to follow a specific ordering of sub-tasks or to perform a simultaneous collaboration. This work addresses the minimum-time task planning problem for multi-agent systems under complex global tasks stated as Linear Temporal Logic (LTL) formulas. These tasks include the temporal and spatial requirements on both independent local actions and direct sub-team collaborations. The proposed solution is an anytime algorithm that combines the partial-ordering analysis of the underlying task automaton for task decomposition, and the branch and bound (BnB) search method for task assignment. Analyses of its soundness, completeness and optimality as the minimal completion time are provided. It is also shown that a feasible and near-optimal solution is quickly reached while the search continues within the time budget. Furthermore, to handle fluctuations in task duration and agent failures during online execution, an adaptation algorithm is proposed to synchronize execution status and re-assign unfinished subtasks dynamically to maintain correctness and optimality. Both algorithms are validated rigorously over large-scale systems via numerical simulations and hardware experiments, against several strong baselines.

cs.RO↗

arXiv2022

DiscreteCommunication and ControlUpdating in Event-Triggered Consensus

This paper studies the consensus control problem faced with three essential demands, namely, discrete control updating for each agent, discrete-time communications among neighboring agents, and the fully distributed fashion of the controller implementation without requiring any global information of the whole network topology. Noting that the existing related results only meeting one or two demands at most are essentially not applicable, in this paper we establish a novel framework to solve the problem of fully distributed consensus with discrete communication and control. The first key point in this framework is the design of controllers that are only updated at discrete event instants and do not depend on global information by introducing time-varying gains inspired by the adaptive control technique. Another key point is the invention of novel dynamic triggering functions that are independent of relative information among neighboring agents. Under the established framework, we propose fully distributed state-feedback event-triggered protocols for undirected graphs and also further study the more complexed cases of output-feedback control and directed graphs. Finally, numerical examples are provided to verify the effectiveness of the proposed event-triggered protocols.

eess.SY↗

arXiv2022

Minimal-order Appointed-time Unknown Input Observers: Design and Applications

This paper presents a framework on minimal-order appointed-time unknown input observers for linear systems based on the pairwise observer structure. A minimal-order appointed-time observer is first proposed for the linear system without the unknown input, which can estimate the state exactly at the preset time by seeking for the unique solution of a system of linear equations. To further release the computational burden, another form of the appointed-time observer is designed. For the general linear system with the unknown input acting on both the system dynamics and the measured output, the model reconfiguration is made to decouple the effect of the unknown input, and the gap between the existing reduced-order appointed-time unknown input observer and the possible minimal-order appointed-time observer is revealed. Based on the reconstructed model, the minimal-order appointed-time unknown input observer is presented to realize state estimation of linear system with the unknown input at the arbitrarily small preset time. The minimal-order appointed-time unknown input observer is then applied to the design of fully distributed adaptive output-feedback attack-free consensus protocols for linear multi-agent systems.

eess.SY↗

arXiv2022

Simultaneous Position and Orientation Planning of Nonholonomic Multi-Robot Systems: A Dynamic Vector Field Approach

This paper considers the simultaneous position and orientation planning of nonholonomic multirobot systems. Different from common researches which only focus on final position constraints, we model the nonholonomic mobile robot as a rigid body and introduce the orientation as well as position constraints for the robot's final states. In other words, robots should not only reach the specified positions, but also point to the desired orientations simultaneously. The challenge of this problem lies in the underactuation of full-state motion planning, since three states need to be planned by mere two control inputs. To this end, we propose a dynamic vector field (DVF) based on the rigid body modeling. Specifically, the dynamics of the robot orientation are brought into the vector field, implying that the vector field is not static on the 2-D plane anymore, but a dynamic one varying with the attitude angle. Hence, each robot can move along the integral curve of the DVF to arrive at the desired position, and in the meantime, the attitude angle can converge to the specified value following the orientation dynamics. Subsequently, by designing a circular vector field under the framework of the DVF, we further study the obstacle avoidance and mutual-robot-collision avoidance in the motion planning. Finally, numerical simulation examples are provided to verify the effectiveness of the proposed methodology.

cs.RO↗

arXiv2022

Distributed Optimal Control with Recovered Robustness for Uncertain Network Systems: A Complementary Design Approach

This paper considers the distributed robust suboptimal consensus control problem of linear multi-agent systems, with both H2 and H_infty performance requirements. A novel two-step complementary design approach is proposed. In the first step, a distributed control law is designed for the nominal multi-agent system to achieve consensus with a prescribed H2 performance. In the second step, an extra control input, depending on some carefully chosen residual signals indicating the modeling mismatch, is designed to complement the H2 performance by providing robustness guarantee in terms of H_infty requirement with respect to disturbances or uncertainties. The proposed complementary design approach provides an additional degree of freedom for design, having two separate controls to deal with the H2 performance and the robustness of consensus, respectively. Thereby, it does not need to make much trade-off, and can be expected to be much less conservative than the trade-off design such as the mixed H2/H_infty control method. Besides, this complementary approach will recover the achievable H2 performance when external disturbances or uncertainties do not exist. The effectiveness of the theoretical results and the advantages of the complementary approach are validated via numerical simulations.

eess.SY↗

arXiv2022

Robust Event-Based Control: Bridge Time-Domain Triggering and Frequency-Domain Uncertainties

This paper considers the robustness of event-triggered control of general linear systems against additive or multiplicative frequency-domain uncertainties. It is revealed that in static or dynamic event triggering mechanisms, the sampling errors are images of affine operators acting on the sampled outputs. Though not belonging to $\mathcal{RH}_\infty$, these operators are finite-gain $\mathcal{L}_2$ stable with operator-norm depending on the triggering conditions and the norm bound of the uncertainties. This characterization is further extended to the general integral quadratic constraint (IQC)-based triggering mechanism. As long as the triggering condition characterizes an $\mathcal{L}_2$-to-$\mathcal{L}_2$ mapping relationship (in other words, small-gain-type constraints) between the sampled outputs and the sampling errors, the robust event-triggered controller design problem can be transformed into the standard $H_\infty$ synthesis problem of a linear system having the same order as the controlled plant. Algorithms are provided to construct the robust controllers for the static, dynamic and IQC-based event triggering cases.

eess.SY↗

arXiv2022

An Operator-Theoretic Approach to Robust Event-Triggered Control of Network Systems with Frequency-Domain Uncertainties

In this paper, we study the robustness of the event-triggered consensus algorithms against frequency-domain uncertainties. It is revealed that the sampling errors resulted by event triggering are essentially images of linear finite-gain $\mathcal{L}_2$-stable operators acting on the consensus errors of the sampled states and the event-triggered mechanism is equivalent to a negative feedback loop introduced additionally to the feedback system. In virtue of this, the robust consensus problem of the event-triggered network systems subject to additive dynamic uncertainties and network multiplicative uncertainties are considered, respectively. In both cases, quantitative relationships among the parameters of the controllers, the Laplacian matrix of the network topology, and the robustness against aperiodic event triggering and frequency-domain uncertainties are unveiled. Furthermore, the event-triggered dynamic average consensus (DAC) problem is also investigated, wherein the sampling errors are shown to be images of nonlinear finite-gain operators. The robust performance of the proposed DAC algorithm is analyzed, which indicates that the robustness and the performance are negatively related to the eigenratio of the Laplacian matrix. Simulation examples are also provided to verify the obtained results.

eess.SY↗

arXiv2021

Privacy-Preserved Average Consensus Algorithms with Edge-based Additive Perturbations

In this paper, we consider the privacy preservation problem in both discrete- and continuous-time average consensus algorithms with strongly connected and balanced graphs, against either internal honest-but-curious agents or external eavesdroppers. A novel algorithm is proposed, which adds edge-based perturbation signals to the process of consensus computation. Our algorithm can be divided into two phases: a coordinated scrambling phase, which is for privacy preservation, and a convergence phase. In the scrambling phase, each agent is required to generate some perturbation signals and add them to the edges leading out of it. In the convergence phase, the agents update their states following a normal updating rule. It is shown that an internal honest-but-curious agent can obtain the privacy of a target agent if and only if no other agents can communicate with the target agent.

eess.SY↗

arXiv2021

Distributed adaptive stabilization

In this paper we consider distributed adaptive stabilization for uncertain multivariable linear systems with a time-varying diagonal matrix gain. We show that uncertain multivariable linear systems are stabilizable by diagonal matrix high gains if the system matrix is an H-matrix with positive diagonal entries. Based on matrix measure and stability theory for diagonally dominant systems, we consider two classes of uncertain linear systems, and derive a threshold condition to ensure their exponential stability by a monotonically increasing diagonal gain matrix. When each individual gain function in the matrix gain is updated by state-dependent functions using only local state information, the boundedness and convergence of both system states and adaptive matrix gains are guaranteed. We apply the adaptive distributed stabilization approach to adaptive synchronization control for large-scale complex networks consisting of nonlinear node dynamics and time-varying coupling weights. A unified framework for adaptive synchronization is proposed that includes several general design approaches for adaptive coupling weights to guarantee network synchronization.

eess.SY↗

arXiv2020

Event-Triggered Consensus of Homogeneous and Heterogeneous Multi-Agent Systems with Jointly Connected Switching Topologies

This paper investigates the distributed event-based consensus problem of switching networks satisfying the jointly connected condition. Both the state consensus of homogeneous linear networks and output consensus of heterogeneous networks are studied. Two kinds of event-based protocols based on local sampled information are designed, without the need to solve any matrix equation or inequality. Theoretical analysis indicates that the proposed event-based protocols guarantee the achievement of consensus and the exclusion of Zeno behaviors for jointly connected undirected switching graphs. These protocols, relying on no global knowledge of the network topology and independent of switching rules, can be devised and utilized in a completely distributed manner. They are able to avoid continuous information exchanges for either controllers' updating or triggering functions' monitoring, which ensures the feasibility of the presented protocols.

eess.SY↗

arXiv2018

Fully Distributed Event-Triggered Protocols for Linear Multi-Agent Networks

This paper considers the distributed event-triggered consensus problem for general linear multi-agent networks. Both the leaderless and leader-follower consensus problems are considered. Based on the local sampled state or local output information, distributed adaptive event-triggered protocols are designed, which can ensure that consensus of the agents is achieved and the Zeno behavior is excluded by showing that the interval between any two triggering events is lower bounded by a strictly positive value. Compared to the previous related works, our main contribution is that the proposed adaptive event-based protocols are fully distributed and scalable, which do not rely on any global information of the network graph and are independent of the network's scale. In these event-based protocols, continuous communications are not required for either control laws updating or triggering functions monitoring.

eess.SY↗

arXiv2017

Robust Consensus for Multi-Agent Systems Communicating over Stochastic Uncertain Networks

In this paper, we study the robust consensus problem for a set of discrete-time linear agents to coordinate over an uncertain communication network, which is to achieve consensus against the transmission errors and noises resulted from the information exchange between the agents. We model the network by means of communication links subject to multiplicative stochastic uncertainties, which are susceptible to describing packet dropout, random delay, and fading phenomena. Different communication topologies, such as undirected graphs and leader-follower graphs, are considered. We derive sufficient conditions for robust consensus in the mean square sense. This results unveil intrinsic constraints on consensus attainment imposed by the network synchronizability, the unstable agent dynamics, and the channel uncertainty variances. Consensus protocols are designed based on the state information transmitted over the uncertain channels, by solving a modified algebraic Riccati equation.

eess.SY↗

arXiv2016

Distributed Average Tracking for Multiple Signals Generated by Linear Dynamical Systems: An Edge-based Framework

This paper studies the distributed average tracking problem for multiple time-varying signals generated by linear dynamics, whose reference inputs are nonzero and not available to any agent in the network. In the edge-based framework, a pair of continuous algorithms with, respectively, static and adaptive coupling strengths are designed. Based on the boundary layer concept, the proposed continuous algorithm with static coupling strengths can asymptotically track the average of multiple reference signals without the chattering phenomenon. Furthermore, for the case of algorithms with adaptive coupling strengths, average tracking errors are uniformly ultimately bounded and exponentially converge to a small adjustable bounded set. Finally, a simulation example is presented to show the validity of theoretical results.

eess.SY↗

arXiv2015

Fully Distributed Adaptive Output Feedback Protocols for Linear Multi-Agent Systems with Directed Graphs: A Sequential Observer Design Approach

This paper studies output feedback consensus protocol design problems for linear multi-agent systems with directed graphs. We consider both leaderless and leader-follower consensus with a leader whose control input is nonzero and bounded. We propose a novel sequential observer design approach, which makes it possible to design fully distributed adaptive output feedback protocols that the existing methods fail to accomplish. With the sequential observer architecture, we show that leaderless consensus can be achieved for any strongly connected directed graph in a fully distributed manner, whenever the agents are stabilizable and detectable. For the case with a leader of bounded control input, we further present novel distributed adaptive output feedback protocols, which include nonlinear functions to deal with the effect of the leaders's nonzero control input and are able to achieve leader-follower consensus for any directed graph containing a directed spanning tree with the leader as the root.

eess.SY↗