Sciweavers

467 search results - page 35 / 94
» Simple Mechanical Control Systems with Constraints and Symme...
Sort
View
POPL
2000
ACM
14 years 2 days ago
A Type System for Expressive Security Policies
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
David Walker
ICRA
2000
IEEE
102views Robotics» more  ICRA 2000»
14 years 3 days ago
Evaluating Control Modes for Constrained Robotic Surgery
Minimally invasive surgery (MIS) constrains instrument motions to 4 DOF by precluding lateral motion at the incision. Robotic MIS systems can interpose arbitrary mappings between ...
Fuji Lai, Robert D. Howe
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
14 years 1 months ago
Adaptive Running of a Quadruped Robot Using Delayed Feedback Control
— We report on the design and stability analysis of a simple quadruped running controller that can autonomously generate steady running with good energy efficiency and suppress ...
Zu Guang Zhang, Yasuhiro Fukuoka, Hiroshi Kimura
ICRA
2006
IEEE
175views Robotics» more  ICRA 2006»
14 years 1 months ago
Software Components and Frameworks for Medical Robot Control
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
Ankur Kapoor, Anton Deguet, Peter Kazanzides
ICS
2003
Tsinghua U.
14 years 28 days ago
PowerHerd: dynamic satisfaction of peak power constraints in interconnection networks
Power consumption is a critical issue in interconnection network design, driven by power-related design constraints, such as thermal and power delivery design. Usually, off-line w...
Li Shang, Li-Shiuan Peh, Niraj K. Jha