13717 search results - page 90 / 2744 » Control Systems |
133
click to vote
HYBRID
2001
Springer
15 years 10 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...
183
click to vote
CDC
2009
IEEE
15 years 4 months 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...
141
click to vote
ICRA
2005
IEEE
15 years 11 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...
156
click to vote
SIAMCO
2010
15 years 29 days 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
142
click to vote
WETICE
2003
IEEE
15 years 11 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...