Trust-based multi-robot symbolic motion planning with a human-in-the-loop
Symbolic motion planning for robots is the process of specifying and planning robot tasks in
a discrete space, then carrying them out in a continuous space in a manner that preserves …
a discrete space, then carrying them out in a continuous space in a manner that preserves …
Decentralized multi-agent control from local LTL specifications
I Filippidis, DV Dimarogonas… - 2012 IEEE 51st IEEE …, 2012 - ieeexplore.ieee.org
We propose a methodology for decentralized multi-agent control from Linear Temporal
Logic (LTL) specifications. Each agent receives an independent specification to formally …
Logic (LTL) specifications. Each agent receives an independent specification to formally …
Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace
KW Wong, H Kress-Gazit - 2015 IEEE International Conference …, 2015 - ieeexplore.ieee.org
We consider two robots operating in a common workspace where each can sense the
location of the other. Each robot has its own high-level task, given as a temporal logic …
location of the other. Each robot has its own high-level task, given as a temporal logic …
Trust-based human-robot interaction for multi-robot symbolic motion planning
DA Spencer, Y Wang… - 2016 IEEE/RSJ …, 2016 - ieeexplore.ieee.org
Symbolic motion planning for robots is the process of specifying and planning robot tasks in
a discrete space, then carrying them out in a continuous space in a manner that preserves …
a discrete space, then carrying them out in a continuous space in a manner that preserves …
Symbolic construction of GR (1) contracts for systems with full information
I Filippidis, RM Murray - 2016 American Control Conference …, 2016 - ieeexplore.ieee.org
This work proposes a symbolic algorithm for the construction of assume-guarantee
specifications that allow multiple agents to cooperate. Each agent is assigned goals …
specifications that allow multiple agents to cooperate. Each agent is assigned goals …
Analysis and synthesis of effective human-robot interaction at varying levels in control hierarchy
DA Spencer - 2015 - search.proquest.com
Robot controller design is usually hierarchical with both high-level task and motion planning
and low-level control law design. In the presented works, we investigate methods for low …
and low-level control law design. In the presented works, we investigate methods for low …
Automated synthesis of controllers for search and rescue from temporal logic specifications
C Wiltsche - arXiv preprint arXiv:1304.6898, 2013 - arxiv.org
In this thesis, the synthesis of correct-by-construction controllers for robots assisting in
Search and Rescue (SAR) is considered. In recent years, the development of robots …
Search and Rescue (SAR) is considered. In recent years, the development of robots …