Search

This paper addresses the consistency issue of multi-robot distributed cooperative localization. We introduce a consistent distributed cooperative localization algorithm conducting state estimation in a transformed coordinate. The core idea involves a linear time-varying coordinated transformation to render the propagation Jacobian independent of the state and make it suitable for a distributed manner. This transformation is seamlessly integrated into a server-based distributed cooperative localization framework, in which each robot estimates its own state while the server maintains the cross-correlations. The transformation ensures the correct observability property of the entire framework. Moreover, the algorithm accommodates various types of robot-to-robot relative measurements, broadening its applicability. Through simulations and real-world dataset experiments, the proposed algorithm has demonstrated better performance in terms of both consistency and accuracy compared to existing algorithms.

In this paper, we revisit the inconsistency problem of EKF-based cooperative localization (CL) from the perspective of system decomposition. By transforming the linearized system used by the standard EKF into its Kalman observable canonical form, the observable and unobservable components of the system are separated. Consequently, the factors causing the dimension reduction of the unobservable subspace are explicitly isolated in the state propagation and measurement Jacobians of the Kalman observable canonical form. Motivated by these insights, we propose a new CL algorithm called KD-EKF which aims to enhance consistency. The key idea behind the KD-EKF algorithm involves perform state estimation in the transformed coordinates so as to eliminate the influencing factors of observability in the Kalman observable canonical form. As a result, the KD-EKF algorithm ensures correct observability properties and consistency. We extensively verify the effectiveness of the KD-EKF algorithm through both Monte Carlo simulations and real-world experiments. The results demonstrate that the KD-EKF outperforms state-of-the-art algorithms in terms of accuracy and consistency.

Various decomposition of finite games have been proposed. The inner product of vectors plays a key role in the decomposition of finite games. This paper considers the effect of different inner products on the orthogonal decomposition of finite games. We find that only when the compatible condition is satisfied, a common decomposition can be induced by the standard inner product and the weighted inner product. To explain the result, we studied the existing decompositions, including potential based decomposition, zero-sum based decomposition, and symmetry based decomposition., Comment: 4 pages, 2019 IEEE CDC conference paper (submitted)

Learning algorithm design for state-based games is investigated. A heuristic uncoupled learning algorithm, which is a two memory better reply with inertia dynamics, is proposed. Under certain reasonable conditions it is proved that for any initial state, if all agents in the state-based game follow the proposed learning algorithm, the action state pair converges almost surely to an action invariant set of recurrent state equilibria. The design relies on global and local searches with finite memory, inertia, and randomness. Finally, existence of time-efficient universal learning algorithm is studied. A class of state-based games is presented to show that there is no universal learning algorithm converging to a recurrent state equilibrium., Comment: 13pages, 3 figures, submitted to Automatica

Consider a multiplayer game, and assume a system level objective function, which the system wants to optimize, is given. This paper aims at accomplishing this goal via potential game theory when players can only get part of other players' information. The technique is designing a set of local information based utility functions, which guarantee that the designed game is potential, with the system level objective function its potential function. First, the existence of local information based utility functions can be verified by checking whether the corresponding linear equations have a solution. Then an algorithm is proposed to calculate the local information based utility functions when the utility design equations have solutions. Finally, consensus problem of multiagent system is considered to demonstrate the effectiveness of the proposed design procedure., Comment: 6 pages, 5 figures, 2018 IEEECDC

This paper addresses formation control of reduced attitudes in which a continuous control protocol is proposed for achieving and stabilizing all regular polyhedra (also known as Platonic solids) under a unified framework. The protocol contains only relative reduced attitude measurements and does not depend on any particular parametrization as is usually used in the literature. A key feature of the control proposed is that it is intrinsic in the sense that it does not need to incorporate any information of the desired formation. Instead, the achieved formation pattern is totally attributed to the geometric properties of the space and the designed inter-agent connection topology. Using a novel coordinates transformation, asymptotic stability of the desired formations is proven by studying stability of a constrained nonlinear system. In addition, a methodology to investigate stability of such constrained systems is also presented., Comment: 13 pages, 18 figures

The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN., Comment: 6 pages

In this paper, formation control for reduced attitude is studied, in which both stationary and rotating regular tetrahedron formation can be achieved and are asymptotically stable under a large family of gain functions in the control. Moreover, by further restriction on the control gain, almost global stability of the stationary formation is obtained. In addition, the control proposed is an intrinsic protocol that only uses relative information and does not need to contain any information of the desired formation beforehand. The constructed formation pattern is totally attributed to the geometric properties of the space and the designed inter-agent connection topology. Besides, a novel coordinates transformation is proposed to represent the relative reduced attitudes in S^2, which is shown to be an efficient approach to reduced attitude formation problems.