Search Results for author:
Found 7 papers, 2 papers with code
CURE: Simulation-Augmented Auto-Tuning in Robotics
This paper proposes CURE -- a method that identifies causally relevant configuration options, enabling the optimization process to operate in a reduced search space, thereby enabling faster optimization of robot performance.
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots
Finding the root cause of such faults is challenging due to the exponentially large configuration space and the dependencies between the robot's configuration settings and performance.
Accelerating combinatorial filter reduction through constraints
Reduction of combinatorial filters involves compressing state representations that robots use.
What to Do When You Can't Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints
In this paper, we consider a temporal logic planning problem in which the objective is to find an infinite trajectory that satisfies an optimal selection from a set of soft specifications expressed in linear temporal logic (LTL) while nevertheless satisfying a hard specification expressed in LTL.
Coverage of an Environment Using Energy-Constrained Unmanned Aerial Vehicles
The goal is to find a coordinated strategy for the UAV and UGV that visits and covers all cells in minimum time, while optimally finding how much to recharge, where to recharge, and when to recharge the battery.
Robotics
Multi-robot Dubins Coverage with Autonomous Surface Vehicles
In particular, we propose a novel approach for solving the problem of complete coverage of a known environment by a multi-robot team consisting of Dubins vehicles.
Toward a language-theoretic foundation for planning and filtering
We address problems underlying the algorithmic question of automating the co-design of robot hardware in tandem with its apposite software.
