Sciweavers

49 search results - page 2 / 10
» Reusable motion synthesis using state-space controllers
Sort
View
AMDO
2006
Springer
13 years 8 months ago
Human Motion Synthesis by Motion Manifold Learning and Motion Primitive Segmentation
Abstract. We propose motion manifold learning and motion primitive segmentation framework for human motion synthesis from motion-captured data. High dimensional motion capture date...
Chan-Su Lee, Ahmed M. Elgammal
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
13 years 11 months ago
Single-Query Motion Planning with Utility-Guided Random Trees
— Randomly expanding trees are very effective in exploring high-dimensional spaces. Consequently, they are a powerful algorithmic approach to sampling-based single-query motion p...
Brendan Burns, Oliver Brock
GPCE
2008
Springer
13 years 6 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 9 months ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
13 years 11 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