4693 search results - page 383 / 939 » Verifying Hybrid Systems |
161
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
191
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
134
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper proposes a motion duplication control scheme, which not only synchronizes motions between two distributed separate dynamic systems but also perfectly preserves presc...
166
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— In this paper, we propose a power assist system that amplifies sinusoidal human’s torque and attains minimization of control input requirement using an impedance control and...
167
click to vote
ASYNC
2005
IEEE
16 years 13 days ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...