Sciweavers

7778 search results - page 130 / 1556
» Designing Controllers for Reachability
Sort
View
HYBRID
2007
Springer
15 years 7 months ago
A Hybrid Bellman Equation for Bimodal Systems
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...
Peter E. Caines, Magnus Egerstedt, Roland P. Malha...
122
Voted
PSYCHNOLOGY
2008
115views more  PSYCHNOLOGY 2008»
15 years 2 months ago
Applying a Cognitive Engineering Approach to Interface Design of Energy Management Systems
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...
Thomas Hoff, Andreas Hauser
109
Voted
AUTOMATICA
2007
65views more  AUTOMATICA 2007»
15 years 3 months ago
Passivity-based designs for synchronized path-following
— 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...
Ivar-André F. Ihle, Murat Arcak, Thor I. Fo...
97
Voted
ICRA
2007
IEEE
171views Robotics» more  ICRA 2007»
15 years 9 months ago
Design and Philosophy of the BiMASC, a Highly Dynamic Biped
Abstract— This paper discusses the design principles and philosophy of the BiMASC, a biped with Mechanically Adjustable Series Compliance which incorporates tuned mechanical leg ...
Jonathan W. Hurst, Joel E. Chestnutt, Alfred A. Ri...
92
Voted
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
15 years 7 months ago
Validation coverage analysis for complex digital designs
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...
Richard C. Ho, Mark Horowitz