Sciweavers

1941 search results - page 100 / 389
» The representation of planning strategies
Sort
View
CEC
2009
IEEE
14 years 4 months ago
Robot path planning in uncertain environments based on particle swarm optimization
— We propose a robot path planning method based on particle swarm optimization in an uncertain environment. We consider the case that a robot’s cognition to its environment is ...
Dunwei Gong, Li Lu, Ming Li
IROS
2009
IEEE
154views Robotics» more  IROS 2009»
14 years 4 months ago
Graph signature for self-reconfiguration planning of modules with symmetry
— In our previous works we had developed a framework for self-reconfiguration planning based on graph signature and graph edit-distance. The graph signature is a fast isomorphism...
Masoud Asadpour, Mohammad Hassan Zokaei Ashtiani, ...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 4 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
MKM
2005
Springer
14 years 3 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 2 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...