Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Sahin, Yunus Emre"'
Autor:
Sahin, Yunus Emre, Ozay, Necmiye
In this paper, we consider the multi-robot path execution problem where a group of robots move on predefined paths from their initial to target positions while avoiding collisions and deadlocks in the face of asynchrony. We first show that this probl
Externí odkaz:
http://arxiv.org/abs/2001.00440
In many multirobot applications, planning trajectories in a way to guarantee that the collective behavior of the robots satisfies a certain high-level specification is crucial. Motivated by this problem, we introduce counting temporal logics---formal
Externí odkaz:
http://arxiv.org/abs/1810.13087
Autor:
Sahin, Yunus Emre, Ozay, Necmiye
This paper considers the synthesis of distributed reactive control protocols for a Boolean network in a distributed manner. We start with a directed acyclic graph representing a network of Boolean subsystems and a global contract, given as an assumpt
Externí odkaz:
http://arxiv.org/abs/1607.03479
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sahin, Yunus Emre, Ozay, Necmiye
Publikováno v:
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS); 2016, p1-1, 1p
