5200 search results - page 355 / 1040 » Symbolic models for control systems |
196
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes the design of a motion control algorithm for a humanoid robotic head, which consists of a neck with four degrees of freedom and two eyes (a stereo pair sys...
129
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
149
click to vote
ICRA
2003
IEEE
16 years 4 days ago
2003
IEEE
— This paper describes an experimental modular distributed manipulation system upon which one can implement a variety of control schemes. We have shown elsewhere that when one in...
151
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...
164
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...