7 citations · 23 across the 19 of their papers we have counts for
5 papers · 1 filter
On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems
Alexandros Nikou, Dimitris Boskos, Jana Tumova +1
This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two t…
Decentralized Control of Uncertain Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance
Alexandros Filotheou, Alexandros Nikou, Dimos V. Dimarogonas
This paper addresses the problem of navigation control of a general class of uncertain nonlinear multi-agent systems in a bounded workspace of with static obstacles.…
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas
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…
Decentralized Abstractions and Timed Constrained Planning of a General Class of Coupled Multi-Agent Systems
Alexandros Nikou, Shahab Heshmati-alamdari, Christos Verginis +1
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…
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Sofie Andersson, Alexandros Nikou, Dimos V. Dimarogonas
This paper presents a framework for automatic synthesis of a control sequence for multi-agent systems governed by continuous linear dynamics under timed constraints. First, the mot…