— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
Abstract—In this paper, we consider robust joint linear precoder/receive filter design for multiuser multi-input multi-output (MIMO) downlink that minimizes the sum mean square ...
In this paper, a single antenna downlink channel with K users is analyzed in the presence of Rayleigh flat fading. A limited channel state information (CSI) feedback scheme is co...
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...