3,446 research outputs found
Robust Connectivity Analysis for Multi-Agent Systems
In this report we provide a decentralized robust control approach, which
guarantees that connectivity of a multi-agent network is maintained when
certain bounded input terms are added to the control strategy. Our main
motivation for this framework is to determine abstractions for multi-agent
systems under coupled constraints which are further exploited for high level
plan generation.Comment: 20 page
Online Abstractions for Interconnected Multi-Agent Control Systems
In this report, we aim at the development of an online abstraction framework
for multi-agent systems under coupled constraints. The motion capabilities of
each agent are abstracted through a finite state transition system in order to
capture reachability properties of the coupled multi-agent system over a finite
time horizon in a decentralized manner. In the first part of this work, we
define online abstractions by discretizing an overapproximation of the agents'
reachable sets over the horizon. Then, sufficient conditions relating the
discretization and the agent's dynamics properties are provided, in order to
quantify the transition possibilities of each agent.Comment: 22 pages. arXiv admin note: text overlap with arXiv:1603.0478
Decentralized Abstractions for Feedback Interconnected Multi-Agent Systems
The purpose of this report is to define abstractions for multi-agent systems
under coupled constraints. In the proposed decentralized framework, we specify
a finite or countable transition system for each agent which only takes into
account the discrete positions of its neighbors. The dynamics of the considered
systems consist of two components. An appropriate feedback law which guarantees
that certain performance requirements (eg. connectivity) are preserved and
induces the coupled constraints and additional free inputs which we exploit in
order to accomplish high level tasks. In this work we provide sufficient
conditions on the space and time discretization of the system which ensure that
we can extract a well posed and hence meaningful finite transition system.Comment: 15 page
Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems
This paper presents a fully automated procedure for controller synthesis for
a general class of multi-agent systems under coupling constraints. Each agent
is modeled with dynamics consisting of two terms: the first one models the
coupling constraints and the other one is an additional bounded control input.
We aim to design these inputs so that each agent meets an individual high-level
specification given as a Metric Interval Temporal Logic (MITL). Furthermore,
the connectivity of the initially connected agents, is required to be
maintained. First, assuming a polyhedral partition of the workspace, a novel
decentralized abstraction that provides controllers for each agent that
guarantee the transition between different regions is designed. The controllers
are the solution of a Robust Optimal Control Problem (ROCP) for each agent.
Second, by utilizing techniques from formal verification, an algorithm that
computes the individual runs which provably satisfy the high-level tasks is
provided. Finally, simulation results conducted in MATLAB environment verify
the performance of the proposed framework
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
- …