Sciweavers

470 search results - page 59 / 94
» Behavior Based Robotics Using Hybrid Automata
Sort
View
PPOPP
2005
ACM
14 years 1 months ago
Scaling model checking of dataraces using dynamic information
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
Ohad Shacham, Mooly Sagiv, Assaf Schuster
JIRS
2000
118views more  JIRS 2000»
13 years 7 months ago
A Flexible Microrobot-Based Microassembly Station
Abstract. A wide range of microcomponents can today be produced using various microfabrication techniques. The assembly of complex microsystems consisting of several single compone...
Sergej Fatikow, Jörg Seyfried, Stephan Fahlbu...
ICRA
2002
IEEE
70views Robotics» more  ICRA 2002»
14 years 23 days ago
The Operational Space Formulation Implementation to Aircraft Canopy Polishing using a Mobile Manipulator
The Operational Space Formulation creates a framework for the analysis and control of manipulator systems with respect to the behavior of their end-effectors. Its application to ...
Rodrigo S. Jamisola, Marcelo H. Ang, Denny Oetomo,...
ICRA
2003
IEEE
139views Robotics» more  ICRA 2003»
14 years 1 months ago
Vehicle motion planning using stream functions
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-ï¬...
Stephen Waydo, Richard M. Murray
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
14 years 2 months ago
Thermally constrained motor operation for a climbing robot
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
Salomon Trujillo, Mark R. Cutkosky