SearcharxivSearch

arXiv subjects

Jieqiang Wei

Publications and source records attributed to Jieqiang Wei.

At least 19 recordsLinked to original sources

Errors Dynamics in Affine Group Systems

Errors dynamics captures the evolution of the state errors between two distinct trajectories, that are governed by the same system rule but initiated or perturbed differently. In particular, state observer error dynamics analysis in matrix Lie group is fundamental in practice. In this paper, we focus on the error dynamics analysis for an affine group system under external disturbances or random noises. To this end, we first discuss the connections between the notions of affine group systems and linear group systems. We provide two equivalent characterizations of a linear group system. Such characterizations are based on the homeomorphism of its transition flow and linearity of its Lie algebra counterpart, respectively. Next, we investigate the evolution of a linear group system and we assume it is diffused by a Brownian motion in tangent spaces. We further show that the dynamics projected in the Lie algebra is governed by a stochastic differential equation with a linear drift term. We apply these findings in analyzing the error dynamics. Under differentiable disturbance, we derive an ordinary differential equation characterizing the evolution of the projected errors in the Lie algebra. In addition, the counterpart with stochastic disturbances is derived for the projected errors in terms of a stochastic differential equation. Explicit and accurate derivation of error dynamics is provided for matrix group $SE_N(3)$, which plays a vital role especially in robotic applications.

eess.SY

Geometrical Characterization of Sensor Placement for Cone-Invariant and Multi-Agent Systems against Undetectable Zero-Dynamics Attacks

Undetectable attacks are an important class of malicious attacks threatening the security of cyber-physical systems, which can modify a system's state but leave the system output measurements unaffected, and hence cannot be detected from the output. This paper studies undetectable attacks on cone-invariant systems and multi-agent systems. We first provide a general characterization of zero-dynamics attacks, which characterizes fully undetectable attacks targeting the non-minimum phase zeros of a system. This geometrical characterization makes it possible to develop a defense strategy seeking to place a minimal number of sensors to detect and counter the zero-dynamics attacks on the system's actuators. The detect and defense scheme amounts to computing a set containing potentially vulnerable actuator locations and nodes, and a defense union for feasible placement of sensors based on the geometrical properties of the cones under consideration.

eess.SY

Multi-agent deployment under the leader displacement measurement: a PDE-based approach

We study the deployment of a first-order multi-agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that the desired curve is a closed C^2 curve and we assume that the leader transmit his measurement to other agents through a communication network. We start the algorithm with displacement-based formation control protocol. Connections from this ODE model to a PDE model (heat equation), which can be seen as a reduced model, are then established. The resulting closed-loop system is modeled as a heat equation with delay (due to the communication). The boundary condition is periodic since the desired curve is closed. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.

math.OC

Cooperative decentralized circumnavigation with application to algal bloom tracking

Harmful algal blooms occur frequently and deteriorate water quality. A reliable method is proposed in this paper to track algal blooms using a set of autonomous surface robots. A satellite image indicates the existence and initial location of the algal bloom for the deployment of the robot system. The algal bloom area is approximated by a circle with time varying location and size. This circle is estimated and circumnavigated by the robots which are able to locally sense its boundary. A multi-agent control algorithm is proposed for the continuous monitoring of the dynamic evolution of the algal bloom. Such algorithm comprises of a decentralized least squares estimation of the target and a controller for circumnavigation. We prove the convergence of the robots to the circle and in equally spaced positions around it. Simulation results with data provided by the SINMOD ocean model are used to illustrate the theoretical results.

cs.RO

Projected Primal-Dual Gradient Flow of Augmented Lagrangian with Application to Distributed Maximization of the Algebraic Connectivity of a Network

In this paper, a projected primal-dual gradient flow of augmented Lagrangian is presented to solve convex optimization problems that are not necessarily strictly convex. The optimization variables are restricted by a convex set with computable projection operation on its tangent cone as well as equality constraints. As a supplement of the analysis in \cite{niederlander2016distributed}, we show that the projected dynamical system converges to one of the saddle points and hence finding an optimal solution. Moreover, the problem of distributedly maximizing the algebraic connectivity of an undirected network by optimizing the port gains of each nodes (base stations) is considered. The original semi-definite programming (SDP) problem is relaxed into a nonlinear programming (NP) problem that will be solved by the aforementioned projected dynamical system. Numerical examples show the convergence of the aforementioned algorithm to one of the optimal solutions. The effect of the relaxation is illustrated empirically with numerical examples. A methodology is presented so that the number of iterations needed to reach the equilibrium is suppressed. Complexity per iteration of the algorithm is illustrated with numerical examples.

math.OC

Multi-agent formation control for circumnavigation of dynamic shapes

The problem of multi-agent formation control for target tracking is considered in this paper. The target is an irregular dynamic shape approximated by a circle with moving centre and varying radius. It is assumed that there are n agents and one of them is capable of measuring both the distance to the boundary of the target and to its centre. All the agents must circumnavigate the boundary of the target while forming a regular polygon. We also consider a satellite capable of providing an initial noisy estimate of the target. A control protocol is designed for all agents and the convergence to the desired state is proved up to a limit bound. A simulated example is provided to verify the performance of the control protocol designed in this paper.

math.OC

Steady-state Analysis of a Neural-cognition Based Human-social Behavior Model

We consider an extension of the Rescorla-Wagner model which bridges the gap between conditioning and learning on a neural-cognitive, individual psychological level, and the social population level. In this model, the interaction among individuals is captured by a Markov process. The resulting human-social behavior model is a recurrent iterated function systems which behaves differently from the classical Rescorla-Wagner model due to randomness. Convergence and ergodicity properties of the internal states of agents in the proposed model are studied.

math.OC

Optimal Weight Allocation of Dynamic Distribution Networks and Positive Semi-definiteness of Signed Laplacians

In this paper, we consider the robustness of a basic model of a dynamical distribution network. In the first problem, i.e., optimal weight allocation, we minimize the H-inf- norm of the dynamical distribution network subject to allocation of the weights on the edges. It is shown that this optimization problem can be formulated as a semi-definite program. Next we consider the semi-definiteness of the weighted graph Laplacian matrix with negative weights on the edges. A necessary and sufficient condition, using the effective resistance matrix, is established to guarantee the positive semi-definiteness of the Laplacian matrix. Furthermore, the bounded real lemma is derived for state-space symmetric systems.

math.OC

Asymptotic and finite-time almost global attitude tracking: representations free approach

In this paper, the attitude tracking problem is considered using the rotation matrices. Due to the inherent topological restriction, it is impossible to achieve global attractivity with any continuous attitude control system on $SO(3)$. Hence in this work, we propose some control protocols achieve almost global tracking asymptotically and in finite time, respectively. In these protocols, no world frame is needed and only relative state informations are requested. For finite-time tracking case, Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Simulation examples are provided to verify the performances of the control protocols designed in this paper.

math.OC

Optimization of the $H_\infty$-norm of Dynamic Flow Networks

In this paper, we study the $H_\infty$-norm of linear systems over graphs, which is used to model distribution networks. In particular, we aim to minimize the $H_\infty$-norm subject to allocation of the weights on the edges. The optimization problem is formulated with LMI (Linear-Matrix-Inequality) constraints. For distribution networks with one port, i.e., SISO systems, we show that the $H_\infty$-norm coincides with the effective resistance between the nodes in the port. Moreover, we derive an upper bound of the $H_\infty$-norm, which is in terms of the algebraic connectivity of the graph on which the distribution network is defined.

math.OC

Finite-time attitude synchronization with distributed discontinuous protocols

The finite-time attitude synchronization problem is considered in this paper, where the rotation of each rigid body is expressed using the axis-angle representation. Two discontinuous and distributed controllers using the vectorized signum function are proposed, which guarantee almost global and local convergence, respectively. Filippov solutions and non-smooth analysis techniques are adopted to handle the discontinuities. Sufficient conditions are provided to guarantee finite-time convergence and boundedness of the solutions. Simulation examples are provided to verify the performances of the control protocols designed in this paper.

math.OC

Finite-time Consensus Protocols for Multi-dimensional Multi-agent Systems

Two finite-time consensus protocols are proposed for multi-dimensional multi-agent systems, using direction-preserving and component-wise signum controls respectively. Filippov solutions and non-smooth analysis techniques are adopted to handle discontinuities. Sufficient and necessary conditions are provided to guarantee finite-time convergence and boundedness of the solutions. It turns out that the number of agents which have continuous control law plays an essential role for finite-time convergence. In addition it is shown that the unit balls introduced by $\ell_p$ and $\ell_{\infty}$ norms are invariant for these two protocols respectively.

math.OC

Formation Control for Multi-Agent Systems with Connectivity Preservation and Event-Triggered Controllers

In this paper, event-triggered controllers and corresponding algorithms are proposed to establish the formation with connectivity preservation for multi-agent systems. Each agent needs to update its control input and to broadcast this control input together with the relative state information to its neighbors at its own triggering times, and to receive information at its neighbors' triggering times. Two types of system dynamics, single integrators and double integrators, are considered. As a result, all agents converge to the formation exponentially with connectivity preservation, and Zeno behavior can be excluded. Numerical simulations show the effectiveness of the theoretical results.

eess.SY

Finite-time attitude synchronization with a discontinuous protocol

A finite-time attitude synchronization problem is considered in this paper where the rotation of each rigid body is expressed using the axis-angle representation. One simple discontinuous and distributed controller using the vectorized signum function is proposed. This controller only involves the sign of the state differences of adjacent neighbors. In order to avoid the singularity introduced by the axis-angular representation, an extra constraint is added to the initial condition. It is proved that for some initial conditions, the control law achieves finite-time attitude synchronization. One simulated example is provided to verify the usage of the control protocol designed in this paper.

math.OC

On the modeling of neural cognition for social network applications

In this paper, we study neural cognition in social network. A stochastic model is introduced and shown to incorporate two well-known models in Pavlovian conditioning and social networks as special case, namely Rescorla-Wagner model and Friedkin-Johnsen model. The interpretation and comparison of these model are discussed. We consider two cases when the disturbance is independent identical distributed for all time and when the distribution of the random variable evolves according to a markov chain. We show that the systems for both cases are mean square stable and the expectation of the states converges to consensus.

math.OC

Nonlinear consensus protocols with applications to quantized systems

This paper studies multi-agent systems with nonlinear consensus protocols, i.e., only nonlinear measurements of the states are available to agents. The solutions of these systems are understood in Filippov sense since the possible discontinuity of the nonlinear controllers. Under the condition that the nonlinear functions are monotonic increasing without any continuous constraints, asymptotic stability is derived for systems defines on both directed and undirected graphs. The results can be applied to quantized consensus which extend some existing results from undirected graphs to directed ones.

math.OC

Self-Triggered Control for Multi-Agent Systems with Quantized Communication or Sensing

The consensus problem for multi-agent systems with quantized communication or sensing is considered. Centralized and distributed self-triggered rules are proposed to reduce the overall need of communication and system updates. It is proved that these self-triggered rules realize consensus exponentially if the network topologies have a spanning tree and the quantization function is uniform. Numerical simulations are provided to show the effectiveness of the theoretical results.

eess.SY

Nonlinear consensus protocols with applications to quantized systems

Two types of general nonlinear consensus protocols are considered in this paper, namely the systems with nonlinear measurement and communication of the agents' states, respectively. The solutions of the systems are understood in the sense of Filippov to handle the possible discontinuity of the nonlinear functions. For each case, we prove the asymptotic stability of the systems defined on both directed and undirected graphs. Then we reinterpret the results about the general models for a specific type of systems, i.e., the quantized consensus protocols, which extend some existing results (e.g., [1,2]) from undirected graphs to directed ones.

math.OC