Sciweavers

4894 search results - page 135 / 979
» Dynamic Abstraction Planning
Sort
View
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 4 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
AUSAI
2010
Springer
15 years 2 months ago
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search
Abstract. Planning-specific heuristics for SAT have recently been shown to produce planners that match best earlier ones that use other search methods, including the until now dom...
Jussi Rintanen
WOSP
2010
ACM
15 years 10 months ago
SLA-driven planning and optimization of enterprise applications
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...
Hui Li, Giuliano Casale, Tariq N. Ellahi
IROS
2007
IEEE
143views Robotics» more  IROS 2007»
15 years 10 months ago
A framework for planning motion in environments with moving obstacles
— In this paper we present a heuristic approach to planning in an environment with moving obstacles. Our approach assumes that the robot has no knowledge of the future trajectory...
Samuel Rodríguez, Jyh-Ming Lien, Nancy M. A...
ICRA
2005
IEEE
152views Robotics» more  ICRA 2005»
15 years 9 months ago
An Incremental Harmonic Function-based Probabilistic Roadmap Approach to Robot Path Planning
— A new hybrid motion planning technique based on Harmonic Functions (HF) and Probabilistic Roadmaps (PRM) is presented. The proposed approach consists of incrementally building ...
Moslem Kazemi, Mehran Mehrandezh, Kamal K. Gupta