13717 search results - page 90 / 2744 » Control Systems |
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
131
click to vote
CDC
2009
IEEE
15 years 20 days ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
106
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— This article explains a control system, which stabilizes running biped robot HRP-2LR. The robot uses prescribed running pattern calculated by resolved momentum control, and a r...
112
click to vote
SIAMCO
2010
14 years 9 months ago
2010
In this paper we complement some results of [L. Marconi, L. Praly, and A. Isidori, SIAM J. Control Optim., 45 (2007), pp. 2277
104
Voted
WETICE
2003
IEEE
15 years 8 months ago
2003
IEEE
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...