Vous êtes sur la page 1sur 4

Performances de rcepteurs multi-utilisateurs dans un systme OFDM

avec synchronisation et estimation du canal


Adrien RENOULT
1,2
, Marc CHENU-TOURNIER
1
, Inbar FIJALKOW
2
1
THALES Communications
66 rue du foss blanc, 92231 Gennevilliers,+33 1 46 13 32 64
2
ETIS / ENSEA - Univ. de Cergy-Pontoise - CNRS
adrien.renoult@fr.thalesgroup.com, marc.chenu@fr.thalesgroup.com
fijalkow@ensea.fr
Rsum Pour augmenter les dbits des systmes de transmission multi-porteuses, les techniques MIMO (Multiple Input Multiple Output) sont
devenues une voie naturelle. Nous proposons dans cet article dtudier les performances dune communication multi-point point (galement
appele transmission multi-utilisateurs) pour diffrents rcepteurs avec et sans estimation du canal. Lestimation du canal et de la synchronisation
en frquence peuvent se faire en une seule et mme tape reposant sur lutilisation du maximum de vraisemblance. Les performances des
galiseurs linaires (MMSE) et optimaux (Maximum de vraisemblance) seront compares avec un canal estim sur 2 symboles. Ce travail est
partiellement support par le projet IST STRIKE (FP5 IST-2001-38354).
Abstract To increase the throughput of transmission systems, MIMO transmission have become a natural path. Two different MIMO schemes
can be envisioned: point to point communications and multi-point to point communications. We propose in this paper to study the performances
of multi-point to point communication (also referred to as multi-user transmissions) for different receivers and with or without channel estimation.
The proposed channel estimator is a multi-user maximum likelihood estimator achieving both synchronization and the channel estimates. Linear
(MMSE, ZF) and non-linear (MLSE, MAP) egaliseur will be compare with 2 or 4 symboles in the preambule. This work is partially supported
by the IST project STRIKE (FP5 IST-2001-38354).
1 Introduction
Les systmes de transmission multi-porteuses ont t rete-
nus pour proposer des transmissions haut dbit en accs xe.
An daccrotre la capacit de ces systmes, cet article propose
dvaluer les performances des techniques multi-utilisateurs ap-
pliques ce type de modem. En effet, ces techniques per-
mettent daugmenter le nombre dutilisateurs simultans dans
la mme bande de frquence grce lutilisation de plusieurs
capteurs sur le point daccs.
Des performances de rcepteurs multi-utilisateurs utilisant
du ltrage spatial avec estimation du canal mais sans synchro-
nisation dans un systme OFDM ont t proposes dans [4].
Lestimation du canal se fait dans le domaine frquentiel sur
les porteuses pilotes et ncessite donc une intgration longue et
une interpolation entre les sous-porteuses. Il en va de mme
dans [1], o les performances sont values pour des codes
spatio-temporels. Dans les deux cas, la synchronisation est sup-
pose parfaite. Dans [2], des techniques de synchronisation dans
le cas MIMO sont proposes mais elles reposent sur lutilisa-
tion de chirps et non de symboles OFDM.
Nous proposons de prsenter les performances de diffrents
rcepteurs (MLSE, MLsE, MMSE) dans ce contexte avec et
sans estimateur du canal de propagation. Les techniques de
dtection multi-utilisateurs sont classiquement appliques aux
systmes CDMA o le code dtalement est utilis pour s-
parer les diffrents utilisateurs. Dans notre article, cette spa-
ration repose uniquement sur le canal de propagation. Ainsi, il
est important dtre en mesure de se synchroniser et didentier
le canal de propagation. Lestimateur du canal de propagation
tudi est un estimateur au sens du maximum de vraisemblance
adapt au cas multi-utilisateurs. Lestimation de la synchroni-
sation et des coefcients du canal de propagation seffectuent
conjointement. Les performances de lestimateur et des diff-
rents rcepteurs seront evalues par simulation sur des formes
dondes HiperLAN/2.
Dans la section 2, un modle de signal sera propos. Ensuite,
lestimateur conjoint du canal et de la synchronisation sera pr-
sent. Enn, les performances de diffrents rcepteurs seront
compares.
2 Modle des signaux
Dans un systme OFDM SISO (Single Input Single Output)
classique, le vecteur de taille N
DFT
des chantillons du signal
reu y sur lensemble des sous-porteuses scrit :
y = F
2
I
PC
H I
PC
F
1
a +b
o F
1
est une matrice de dimension N
DFT
N
DFT
effectuant
lopration de DFT inverse (et F

1
= F
2
la DFT),
I
PC
est la matrice de dimension (N
DFT
+N
lgr
PC
)N
DFT
qui ajoute le prxe cyclique (PC),

I
PC
une matrice de dimension N
DFT
(N
DFT
+N
lgr
PC
+
N
H
) qui synchronise et supprime le prxe cyclique,
Hla matrice canal de dimension (N
DFT
+N
lgr
PC
+N
H
)
(N
DFT
+ N
lgr
PC
),
a reprsente le vecteur de taille N
DFT
des symboles des
sous-porteuses (seules N
SP
sous-porteuses sont non nulles) et
b le vecteur de taille N
DFT
de bruit additif gaussien.
Dans le cas multi-utilisateurs (N
e
utilisateurs) et multi-rcepteur
(N
r
rcepteurs), le modle du signal est identique
y =

F
2

I
PC


H

I
PC


F
1
a +

b
avec : y est le vecteur de taille N
r
N
SP
des chantillons des
sous-porteuses pour chacun des capteurs de rception,

F
2
= F
2
I
N
r
avec I
N
r
est la matrice identit de dimension
N
r
,

F
1
= F
1
I
N
e
,

I
PC
= I
PC
I
N
r
,

H est la matrice des
canaux de propagations,

I
PC
= I
PC
I
N
e
, et a est le vecteur
de taille N
DFT
N
e
contenant les symboles mis.
Lorsque le systme est synchronis, la matrice

H =

I
PC

H

I
PC
est une matrice bloc circulante. Ainsi il est possible
de lcrire comme

H = F

F o F est une matrice de DFT


et est une matrice bloc diagonale. Ainsi, on peut simplier
lexpression de lobservation qui devient y = a +

b. Ceci
nest valide que sous les conditions suivantes : il ny a pas de
dcalage de frquence entre les diffrents utilisateurs, la lon-
gueur des canaux de propagation est infrieure la longueur du
prxe cyclique et les diffrents signaux reus arrivent au r-
cepteur de faon sufsamment synchronise. Ainsi, sur la sous-
porteuse i lobservation se rduit :
y
i
= H
i
a
i
+b
i
o y
i
est le vecteur de taille N
r
contenant les chantillons du
signal reu sur chaque capteur pour la sous-porteuse i ( y =
_
y
T
1
, , y
T
N
DFT

T
),
H
i
est la matrice de dimension N
r
N
e
contenant les coef-
cients du canal pour la sous-porteuse i donc
=diag({H
i
}
1iN
DFT
)
et a
i
contient les symboles mis par les diffrents utilisateurs
sur la sous-porteuse i ( a =
_
a
T
1
, , a
T
N
DFT

T
).
3 Estimateur de canal
Dans un cas multi-utilisateurs, il est ncessaire dadapter
lestimateur du canal et la synchronisation. EN effet dans le
cas mono-utilisateur classiquement, la synchronisation est ef-
fectue de manire temporelle, en utilisant soit la connaissance
de la structure des symboles du prambule soit la redondance
du prxe cyclique. Par contre, lestimation du canal se fait de
manire frquentielle et indpendamment pour chaque sous-
porteuse.
Dans le cas multi-utilisateurs, le nombre de coefcients
estimer par sous-porteuse est bien plus important. En effet,
dans un systme comportant N
u
metteurs et N
r
rcepteurs,
le nombre de coefcients estimer par sous-porteuse est de
N
u
N
r
compar 1 dans le cas SISO. Il va donc falloir ajouter
plus de symboles pilotes pour estimer le canal (par exemple:
avec deux symboles dans le prambule il nest pas possible
destimer un canal quatre metteurs). Nous proposons donc
destimer le canal dans le domaine temporel car dans ce cas
le nombre de symboles pilotes fournir devient beaucoup plus
faible que dans le cas frquentiel.
3.1 Principe de lestimateur
Lestimation de canal est base sur le critre du maximum
de vraisemblance. Le signal reu est z =

H

I
PC

F
1
a + n; Il
contient la concatnation pour tous les capteurs des diffrents
signaux transmis. Le signal reu peut ainsi scrire :
X = S() +N
o la matrice Xde taille N
s
N
CP
contient les symboles reus,
la matrice S() de taille N
s
N
CP
N
u
contient les symboles
connus du prambule dcals du retard estimer. La matrice
de taille N
u
N
r
contient les rponses impulsionnelles du
canal. Enn, la matrice Nde taille N
s
N
r
est forme du bruit
blanc additif gaussien. La matrice S() est organis ainsi:
S() = [S
1
() S
N
u
()]
chaque matrice S
u
() est elle-mme organise de la manire
suivante :
S
u
() =
_

_
s
u
() 0
.
.
.
.
.
.
0
s
u
((N
s
1)T
e
) s
u
()
0
.
.
.
.
.
.
0 s
u
((N
s
1)T
e
)
_

_
o s
u
(t) est le prambule de lutilisateur u.
Grce cette modlisation, on procde lestimation du ca-
nal en utilisant le maximum de vraisamblance :
P(X|, ,
2
) =
1

N
u
N
r

2N
u
N
r
e

2
XS()
2
La log-vraisemblance est donn par
L(X|, ,
2
) N
u
N
r
log(
2
)
1

2
XS()
2
Le bruit et la rponse impulsionelle sont considrs comme des
paramtres nuisibles. En drivant le critre de log-vraisemblance
par ces paramtres et en annulant cette driv, les estimateurs
suivants sont obtenus :

2
=
1
N
u
N
r
XS()
2

= (S

()S())
1
S

()X
Remplacer ces paramtres par leurs estims dans la log-vraisemblance
amne a lestimateur global de la synchronisation,
= arg min

S
()X
2
o
S
() est le projecteur sur le sous-espace bruit donn par :

S
() = I S()(S

()S())
1
S

()
3.2 Performance de lestimateur de canal
Gnralement les systmes OFDM sont utiliss dans des en-
vironnements comportant de nombreux trajets et avec des rap-
ports signal sur bruit (RSB) lvs. Cest pourquoi, mme avec
un faible nombre de symboles connus, la procdure destima-
tion de canal reste simple. La variance de lestimateur de canal
est donne par
2
h
i
=
2
/(S

S). Dans le cas de lHiperlan/2, 1


3 symboles sont utiliss.
Nous allons calculer les performances de cet estimateur. En
supposant lestimation sans biais, la variance de lestimateur de
canal est donne par :

= E
_
_
_
_

_
_
_
2
_
= E
_
tr
_
N

S(S

S)
2
S

N
_
=
2
_
tr(S

S)
N
s
N
r
_
1
Nous voyons donc que lorsque la taille du preambule augmente,
la variance diminue et que lorsque le nombre dmetteur ou de
rcepteur augmente alors la variance augmente.
4 Description des rcepteurs
Connaisant le canal et la synchronisation temporelle, il est
possible, partir du modle linaire des signaux de la sec-
tion 2, dvaluer des dtecteurs multi-utilisateurs. Les dtec-
teurs seront optimaux ou linaires. Deux dtecteurs optimaux
seront utiliss. Ces deux dtecteurs sont non-linaires et bass
sur la maximisation pour lun de la probabilit dune squence
de symboles et pour lautre dun seul symbole. Dans une se-
conde partie nous prsenterons un dtecteur linaire le MMSE.
4.1 Rcepteurs optimaux
Deux rcepteurs optimaux sont tudis, le MLSE (maximum
likehood sequenc estimator) et le MLsE (maximum likehood
symbol estimator). Ces deux rcepteurs optimisent des critres
diffrents.
Le MLSE maximise la probabilit dune squence de sym-
boles. Dans notre cas, la squence est constitue par les sym-
boles envoys par lensemble des metteurs sur une mme sous-
porteuse. La maximisation se fait indpendamment pour chaque
sous-porteuse mais conjointement pour tout les metteurs.
Le MLsE quant lui maximise la probabilit de chaque sym-
bole envoy. Cette maximisation est indpendante pour chaque
sous-porteuse et chaque metteur.
Dans les deux cas comme les symboles sont indpendants
et uniformment distribus, utiliser un critre du maximum de
vraisemblance sera quivalent utiliser un critre du maximum
a posteriori (MAP) (utilisation de la formule de Bayes).
4.1.1 MLSE
Lutilisation du MLSE dans le cas dune transmission multi-
canal nest pas rcente [3] mais son utilisation dans le cadre
de transmissions sans talement de spectre lest davantage. Le
principe du MLSE est de maximiser pour chaque sous-porteuse
i
p(y
i
|H
i
,
2
, a
i
)
1iN
SC
donc le MLSE a pour sortie un symbole vriant :
a
i
= arg max
a
i
p(y
i
|a
i
, H
i
,
2
)
La probablit de lobservation est :
p(y
i
|a
i
, H
i
,
2
) =
1

2N
R

N
R
exp
1

2
y
i
H
i
a
i

2
Donc a
i
est estim par :
a
i
= arg min
a
i
y
i
H
i
a
i

2
4.1.2 MLsE
Le rcepteur MLsE maximise la probabilit pour un sym-
bole donn davoir une certaine valeur. Cette maximisation par
la formule de Bayes (cf introduction) sera quivalente a une
maximisation a postriori.
p(y
i
|H
i
,
2
, a
k
i
) p(a
k
i
|y
i
, H
i
,
2
)
Cette probabilit se trouve en utilisant la formule de la proba-
bilit marginale.
p(a
k
i
= a|y
i
, H
i
,
2
) =

a
t
A
k
a
p(a
t
|y
i
, H
i
,
2
)
O A
k
a
= {a|a
k
= a} et o A est lensemble des combinai-
sons de symboles possibles. Sous les mmes hypothses et en
appliquant la mme mthode que dans le cas du MLSE:
p(a
k
i
= a|y
i
, H
i
,
2
) =

a
t
A
k
a
p(y
i
|a
t
, H
i
,
2
)

a
t
A
p(y
i
|a
t
, H
i
,
2
)
Et donc :
a
k
i
= arg max
a
k
i

a
t
A
k
a
p(y
i
|a
t
, H
i
,
2
)

a
t
A
p(y
i
|a
t
, H
i
,
2
)
4.2 Rcepteurs linaire
Le MMSE est une amlioration du Zro Forcing. En effet,
comme ce dernier il inverse le canal, mais en prennant en compte
la puissance du bruit. Le MMSE cherche pour chaque sous-
porteuse le ltre M qui minimise lerreur sur les symboles es-
tims :
M
i
= arg min
M
i
M
i
y
i
a
i

2
Et donc :
M
i
= (H
i

H+
2
I)
1
H

5 Performances
Les performances prsentes ci-dessous ont t ralises avec
les paramtres suivants (paramtres de lHiperLAN/2) : N
SP
=
52, N
DFT
= 64, N
lgr
PC
= 16, N
lgr
H
= N
lgr
PC
= 16. Le
"mapping" est de Gray. Le nombre dutilisateurs et de rcep-
teurs varient dune simulation lautre. Les canaux de propa-
gation sont au maximum de la longueur du prxe cyclique
(16 chantillons). Les chantillons du canal sont tirs alatoi-
rement selon une loi de Rayleigh. Les signaux des diffrents
utilisateurs arrivent au rcepteur de faon synchronise : lcart
temporel entre le premier trajet reu et le dernier trajet reu
est infrieur la dure du prxe cyclique. En revanche, les
signaux reus sont dans une plage dincertitude de 20 chan-
tillons (ncessitant une synchronisation). Lestimation de canal
et la synchronisation se fait quant elle sur 2 symboles OFDM.
La gure 1 reprsente les performances dans le cas SISO.
Dans ce cas, les diffrents rcepteurs ont les mmes rsultats
(lestimation tant base sur une maximum de vraisamblance,
les rsultats sont identiques pour les diffrentes tailles de pr-
ambules).
La gure 2 prsente les performances des diffrents rcep-
teurs dans un cas MIMO sans estimation de canal.
Enn la gure 3 est la reprsentation des performances des
rcepteurs dans le cas avec estimation de canal.
1e-04
0.001
0.01
0.1
1
0 5 10 15 20 25
T
E
B
Eb/No
MLSE canal connu
MLSE canal estime 2 symboles
MLSE canal estime 4 symboles
FIG. 1: Comparaison des performances dans le cas SISO avec
canal connu et estime modulation BPSK
1e-05
1e-04
0.001
0.01
0.1
1
-10 -5 0 5 10 15
T
E
B
Eb/No
MMSE canal connu
MAP canal connu
MLSE canal connu
FIG. 2: Comparaison des performances dans le cas MIMO
avec canal connu
Les performances sont les moyennes des TEBsur lensemble
des utilisateurs et le rapport E
b
/N
0
est celui du cas SISO. Ainsi,
en augmentant le nombre dutilisateurs, nous avons galement
augment la puissance totale dans la cellule. Pour se ramener
un cas dnergie constante mise, il faut translater les courbes
des TEB du cas MIMO de 6dB.
On note un gain de 6dB pour le cas du MMSE canal connu.
Donc puissance constante dans la cellule, il est possible de
multiplier par trois le nombre dutilisateurs sans perte de per-
formances en dmodulation. Il est galement intressant de re-
marquer que les performances du MLSE sont trs largement
suprieures celles du MMSE. Notons enn que dans les por-
tions de TEB dintrt (5.10
2
10
-3
), elles sont largement
limites par lestimateur du canal lorsquil ny a que deux sym-
boles connus.
1e-04
0.001
0.01
0.1
1
-10 -5 0 5 10 15
T
E
B
Eb/No
MMSE canal estime
MAP canal estime
MLSE canal estime
FIG. 3: Comparaison des performances dans le cas MIMO
avec canal estime
6 Conclusion
Dans cet article, les performances dun rcepteur (estimant
conjointement le canal et le dcalage en frquence) utilisant le
maximum de vraisemblance ont t tudies. Lestimateur de
canal fournit de bons rsultats dans le cas MIMO lorsquil est
utilis avec des paramtres du cas SISO. Ainsi cet estimateur
na-t-il pas besoin de profonds remaniements pour fonctionner
dans le cas MIMO.
Il faut aussi remarquer que lutilisation destimateur de type
MLSE dans le cas MIMO augmente de faon consquente la
capacit du canal par rapport au cas SISO, au prix dune aug-
mentation de la complexit. De plus les performances du MMSE-
MIMO montrent quavec une faible augmentation de la com-
plexit, il est possible de multiplier le nombre dutilisateurs si-
multans sans augmenter la puissance totale de la cellule.
Rfrences
[1] Y. Li, N. Seshadri, and S. Ariyavisitakul. Channel estima-
tion for ofdm systems with transmitter diversity in mobile
wireless channels. IEEE JSAC, Vol. 17(No. 3):pp. 461
471, March 1999.
[2] A.N. Mody and G.L. Stber. Synchronization for mimo
ofdm. In GLOBECOM 2001, volume vol. 1, pages pp.
509513.
[3] S. Verd. Minimum probability of error for asynchronous
gaussian multiple-access channels. IEEE Trans Informa-
tion Theory, Vol. 32:pp. 8596, January 1986.
[4] F.W. Vook and T.A. Thomas. Mmse multi-user channel es-
timation for broadband wireless communications. In GLO-
BECOM 2001, volume Vol. 1, pages pp. 470474.