123 research outputs found
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
Temporal logic based synthesis approaches are often used to find trajectories
that are correct-by-construction for tasks in systems with complex behavior.
Some examples of such tasks include synchronization for multi-agent hybrid
systems, reactive motion planning for robots. However, the scalability of such
approaches is of concern and at times a bottleneck when transitioning from
theory to practice. In this paper, we identify a class of problems in the GR(1)
fragment of linear-time temporal logic (LTL) where the synthesis problem allows
for a decomposition that enables easy parallelization. This decomposition also
reduces the alternation depth, resulting in more efficient synthesis. A
multi-agent robot gridworld example with coordination tasks is presented to
demonstrate the application of the developed ideas and also to perform
empirical analysis for benchmarking the decomposition-based synthesis approach
Multi-agent Coordination Under Temporal Logic Tasks and Team-Wise Intermittent Communication
Multi-agent systems outperform single agent in complex collaborative tasks.
However, in large-scale scenarios, ensuring timely information exchange during
decentralized task execution remains a challenge. This work presents an online
decentralized coordination scheme for multi-agent systems under complex local
tasks and intermittent communication constraints. Unlike existing strategies
that enforce all-time or intermittent connectivity, our approach allows agents
to join or leave communication networks at aperiodic intervals, as deemed
optimal by their online task execution. This scheme concurrently determines
local plans and refines the communication strategy, i.e., where and when to
communicate as a team. A decentralized potential game is modeled among agents,
for which a Nash equilibrium is generated iteratively through online local
search. It guarantees local task completion and intermittent communication
constraints. Extensive numerical simulations are conducted against several
strong baselines.Comment: 6 pages, 2 figure
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
This paper presents a fully automated procedure for controller synthesis for
multi-agent systems under the presence of uncertainties. We model the motion of
each of the agents in the environment as a Markov Decision Process (MDP)
and we assign to each agent one individual high-level formula given in
Probabilistic Computational Tree Logic (PCTL). Each agent may need to
collaborate with other agents in order to achieve a task. The collaboration is
imposed by sharing actions between the agents. We aim to design local control
policies such that each agent satisfies its individual PCTL formula. The
proposed algorithm builds on clustering the agents, MDP products construction
and controller policies design. We show that our approach has better
computational complexity than the centralized case, which traditionally suffers
from very high computational demands.Comment: IFAC WC 2017, Toulouse, Franc
- …