7778 search results - page 130 / 1556 » Designing Controllers for Reachability |
183
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
179
click to vote
PSYCHNOLOGY
2008
15 years 6 months ago
2008
This article presents a case study of the user interface design of a grid (energy) management system. The theoretical backdrop of the case study is cognitive engineering, with its...
158
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
— We consider a formation control system where individual systems are controlled by a path-following design and the path variables are to be synchronized. We first show a passiv...
155
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper discusses the design principles and philosophy of the BiMASC, a biped with Mechanically Adjustable Series Compliance which incorporates tuned mechanical leg ...
151
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...