Multimodel analysis and controller design for nonlinear processes via gap metric is discussed. It is shown that the loop-shaping H approach can integrate the procedure of selectin...
Wen Tan, Horacio J. Marquez, Tongwen Chen, Ji-zhen...
This paper presents the joint transmitter and receiver design with adaptive beamforming for multiple-input multiple output (MIMO) single carrier-frequency division multiple access...
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
We describe the design and implementation of graphical interaction widgets for use with a steerable projectorcamera unit. The design of our widgets is adapted to provide the right...
1 We propose a test resource partitioning and optimization technique for core-based designs. Our technique includes test set selection and test resource floor-planning with the ai...