Sciweavers

217 search results - page 35 / 44
» Concurrent Simulation and Control of Robot Tasks
Sort
View
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
14 years 1 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
RSS
2007
176views Robotics» more  RSS 2007»
13 years 8 months ago
Active Policy Learning for Robot Planning and Exploration under Uncertainty
Abstract— This paper proposes a simulation-based active policy learning algorithm for finite-horizon, partially-observed sequential decision processes. The algorithm is tested i...
Ruben Martinez-Cantin, Nando de Freitas, Arnaud Do...
ICRA
2005
IEEE
186views Robotics» more  ICRA 2005»
14 years 9 days ago
Experimental Studies of a Neural Oscillator for Biped Locomotion with QRIO
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
Gen Endo, Jun Nakanishi, Jun Morimoto, Gordon Chen...
ICRA
2007
IEEE
174views Robotics» more  ICRA 2007»
14 years 1 months ago
Full Motion Tracking in Ultrasound Using Image Speckle Information and Visual Servoing
— This paper presents a new visual servoing method that is able to stabilize a moving area of soft tissue within an ultrasound B-mode imaging plane. The approach consists of movi...
Alexandre Krupa, Gabor Fichtinger, Gregory D. Hage...
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
14 years 23 days ago
Policies based on Trajectory Libraries
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
Martin Stolle, Christopher G. Atkeson