Improved conflict detection and resolution for service UAVs in shared airspace

F Ho, R Geraldes, A Goncalves… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
In future unmanned aerial vehicle (UAV)-based services, UAV fleets will be managed by
several independent flight operation service providers in shared low-altitude airspace …

Multi-agent path finding with continuous time and geometric agents viewed through satisfiability modulo theories (SMT)

P Surynek - Proceedings of the International Symposium on …, 2019 - ojs.aaai.org
This paper addresses a variant of multi-agent path finding (MAPF) in continuous space and
time. We present a new solving approach based on satisfiability modulo theories (SMT) to …

[PDF][PDF] On Satisfisfiability Modulo Theories in Continuous Multi-Agent Path Finding: Compilation-based and Search-based Approaches Compared.

P Surynek - ICAART (2), 2020 - scitepress.org
Multi-agent path finding (MAPF) in continuous space and time with geometric agents, ie
agents of various geometric shapes moving smoothly between predefined positions, is …

Hierarchical model predictive control for multi-robot navigation

C Huang, X Chen, Y Zhang, S Qin, Y Zeng, X Li - 2016 - research.tees.ac.uk
Ensuring the stability is the most important requirement for the navigation control of multi-
robot systems with no reference trajectory. The popular heuristic-search methods cannot …

Coordinating vessel traffic to improve safety and efficiency

THD TENG, HC Lau, A Kumar - 2017 - ink.library.smu.edu.sg
Global increase in trade leads to congestion of maritime traffic at the ports. This often leads
to increased maritime incidents or near-miss situations. To improve maritime safety while …

Switched linear multi-robot navigation using hierarchical model predictive control

C Huang, X Chen, Y Zhang, S Qin… - … Joint Conference on …, 2017 - research.tees.ac.uk
Multi-robot navigation control in the absence of reference trajectory is rather challenging as
it is expected to ensure stability and feasibility while still offer fast computation on control …

Swarms of mobile agents: from discrete to continuous movements in multi-agent path finding

P Surynek - 2020 IEEE International Conference on Systems …, 2020 - ieeexplore.ieee.org
A variant of multi-agent path finding in continuous space and time with geometric agents
MAPF is addressed in this paper. The task is to navigate agents that move smoothly …

Multi-agent path finding modulo theory with continuous movements and the sum of costs objective

P Surynek - German Conference on Artificial Intelligence …, 2020 - Springer
Multi-agent path finding with continuous movements and time (denoted MAPF^ RR) is
addressed. The task is to navigate agents that move smoothly between predefined positions …

Practical Implementation of Multi-UAV Flocking Path Planning

CC Chen - 2021 - search.proquest.com
The primary objective of this thesis is to implement a flocking path planning algorithm in the
three-dimensional dense environment to take into account the aerodynamics downwash …

Logic-based multi-agent path finding with continuous movements and the sum of costs objective

P Surynek - Russian Conference on Artificial Intelligence, 2020 - Springer
Multi-agent path finding with continuous movements and time (denoted MAPF^ R) is
addressed. The task is to navigate agents that move smoothly between predefined positions …