Sciweavers

390 search results - page 6 / 78
» Hybrid Control as a Method for Robot Motion Programming
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
ICRA
2005
IEEE
113views Robotics» more  ICRA 2005»
14 years 28 days ago
Symmetric Walking Control: Invariance and Global Stability
— This paper first presents a novel control strategy for periodic motion control based on a Hamiltonian system. According to the strategy, hybrid symmetric orbits (ideal walking...
Sang-Ho Hyon, Takashi Emura
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
14 years 2 months ago
Controller decomposition and combination design of body / motion elements based on orbit attractor
Abstract— Robot control systems consist of a feedback controller and reference motion pattern. They are designed based on the robot dynamics and coupled with each other, and it r...
Masafumi Okada, Masaaki Watanabe
IROS
2006
IEEE
125views Robotics» more  IROS 2006»
14 years 1 months ago
Reactionless Control for two Manipulators Mounted on a Cable-Suspended Platform
— The dynamics and control of a cable-suspended, two-arm robotic system are developed for an entertainment application. One manipulator arm is controlled to fulfill a user defi...
Roberto Lampariello, Johann Heindl, Ralf Koeppe, G...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 1 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....