Sciweavers

9325 search results - page 1535 / 1865
» The decentralized implementability problem
Sort
View
ICFEM
2010
Springer
15 years 3 months ago
Automating Coinduction with Case Analysis
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu
ICRA
2010
IEEE
102views Robotics» more  ICRA 2010»
15 years 3 months ago
Immobilizing 2D serial chains in form closure grasps
: The immobilization of non-rigid objects is currently an active research area in robotics. This paper explores the problem by studying the immobilization of serial chains of rigid...
Elon Rimon, A. Frank van der Stappen
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
15 years 3 months ago
Optimal Feedback Control for anthropomorphic manipulators
— We study target reaching tasks of redundant anthropomorphic manipulators under the premise of minimal energy consumption and compliance during motion. We formulate this motor c...
Djordje Mitrovic, Sho Nagashima, Stefan Klanke, Ta...
ICRA
2010
IEEE
117views Robotics» more  ICRA 2010»
15 years 3 months ago
Data-driven optimization for underactuated robotic hands
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...
Matei T. Ciocarlie, Peter K. Allen
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 3 months ago
Reinforcement learning of motor skills in high dimensions: A path integral approach
— Reinforcement learning (RL) is one of the most general approaches to learning control. Its applicability to complex motor systems, however, has been largely impossible so far d...
Evangelos Theodorou, Jonas Buchli, Stefan Schaal
« Prev « First page 1535 / 1865 Last » Next »