Sciweavers

1611 search results - page 22 / 323
» Experimental Integration of Planning in a Distributed Contro...
Sort
View
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
14 years 1 months ago
System Design and Dynamic Walking of Humanoid Robot KHR-2
- In this paper, we describe the mechanical design, system integration and dynamic walking of the humanoid, KHR-2 (KAIST Humanoid Robot–2). KHR-2 has 41 DOFs in total, that allow...
Jung-Yup Kim, Ill-Woo Park, Jungho Lee, Min-Su Kim...
AGENTS
1997
Springer
13 years 11 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
14 years 2 months ago
Trajectory planning and control of an underactuated dynamically stable single spherical wheeled mobile robot
— The ballbot is a dynamically stable mobile robot that moves on a single spherical wheel and is capable of omnidirectional movement. The ballbot is an underactuated system with ...
Umashankar Nagarajan, George Kantor, Ralph L. Holl...
WSC
1998
13 years 8 months ago
Initializing On-line Simulations from the State of a Distributed System
In this paper, we address the complex task of initializing an on-line simulation to a current system state collected from an operating physical system. The paper begins by discuss...
Fernando G. Gonzalez, Wayne J. Davis
FROCOS
2000
Springer
13 years 11 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge