16,695 research outputs found
Mobile Formation Coordination and Tracking Control for Multiple Non-holonomic Vehicles
This paper addresses forward motion control for trajectory tracking and
mobile formation coordination for a group of non-holonomic vehicles on SE(2).
Firstly, by constructing an intermediate attitude variable which involves
vehicles' position information and desired attitude, the translational and
rotational control inputs are designed in two stages to solve the trajectory
tracking problem. Secondly, the coordination relationships of relative
positions and headings are explored thoroughly for a group of non-holonomic
vehicles to maintain a mobile formation with rigid body motion constraints. We
prove that, except for the cases of parallel formation and translational
straight line formation, a mobile formation with strict rigid-body motion can
be achieved if and only if the ratios of linear speed to angular speed for each
individual vehicle are constants. Motion properties for mobile formation with
weak rigid-body motion are also demonstrated. Thereafter, based on the proposed
trajectory tracking approach, a distributed mobile formation control law is
designed under a directed tree graph. The performance of the proposed
controllers is validated by both numerical simulations and experiments
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints
We propose a framework for the decentralized control of a team of agents that
are assigned local tasks expressed as Linear Temporal Logic (LTL) formulas.
Each local LTL task specification captures both the requirements on the
respective agent's behavior and the requests for the other agents'
collaborations needed to accomplish the task. Furthermore, the agents are
subject to communication constraints. The presented solution follows the
automata-theoretic approach to LTL model checking, however, it avoids the
computationally demanding construction of synchronized product system between
the agents. We suggest a decentralized coordination among the agents through a
dynamic leader-follower scheme, to guarantee the low-level connectivity
maintenance at all times and a progress towards the satisfaction of the
leader's task. By a systematic leader switching, we ensure that each agent's
task will be accomplished.Comment: full version of CDC 2014 submissio
- …