ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, an approach to interaction control of a robot manipulator with a partially known environment is proposed. The environment is a rigid object of known geometry but...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present a fast GPU-based algorithm to approximate the Swept Volume (SV) boundary of arbitrary polygon soup models. Despite the extensive research on calculating the volume s...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we propose an on-line incremental vision-based topological map learning for AIBO robots. The topological map is represented through a graph, where the vertices en...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper applies the modified Fisher Information Matrix (FIM) motion algorithm previously proposed by the authors to the task of locating a circular biochemical source. We d...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Localisation is one of the most important tasks to be accomplished in order to realize the complete autonomy of a mobile robot. In this paper, a new strategy for global localis...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We introduce a method for constructing provably safe smooth feedback laws for car-like robots in obstaclecluttered polygonal environments. The robot is taken to be a point with...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...