Download as pdf or txt
Download as pdf or txt
You are on page 1of 6

Proceedings of the

15th IFAC Symposium on System Identification


Saint-Malo, France, July 6-8, 2009

Estimation of chaotic signals with


applications in communications
Marcio Eisencraft ∗ Marcos A. do Amaral ∗∗
Clodoaldo A. M. Lima ∗∗∗

Escola de Engenharia da Universidade Presbiteriana Mackenzie and
Escola Politécnica da Universidade de São Paulo, São Paulo, Brazil
(e-mail: marcioft@mackenzie.br; marcio@lcs.poli.usp.br).
∗∗
Escola de Engenharia da Universidade Presbiteriana Mackenzie, São
Paulo, Brazil (e-mail: marcos.amaral@mackenzista.br)
∗∗∗
Escola de Engenharia da Universidade Presbiteriana Mackenzie,
São Paulo, Brazil (e-mail: moraes@mackenzie.br)

Abstract: In this paper we extend an estimation technique based on Viterbi algorithm for
discrete-time chaotic signals immersed in noise. The proposed modification allows for orbits
generated by maps with nonuniform invariant density to be estimated. This modified Viterbi
algorithm is used in two digital modulation schemes: the Modified Maximum Likelihood Chaos
Shift Keying using one and two maps. Both have better symbol error rate characteristics than
non-coherent chaos communication schemes.

Keywords: Chaos theory; Communication systems; Estimation theory; Difference equations;


Digital communications

1. INTRODUCTION The objectives of this paper are twofold: i) to describe the


MVA and ii) to study the application of MVA in com-
munication systems, like the Maximum-Likelihood CSK
(ML-CSK) proposed by Kisel et al. [2001]. ML-CSK can
Recently, various digital modulations using chaotic carriers
be seen as an identification problem since in the receiver
have been proposed, e.g. [Kennedy et al., 2000b, Lau
it is necessary to identify the map used to transmit each
and Tse, 2003, Stavroulakis, 2005] and references therein.
symbol.
Among them, Chaos Shift Keying (CSK) and its variants
based on noncoherent or differential demodulation are The paper is organized as follows. In Section 2 we describe
promising for practical applications [Kolumbán et al., the MVA. In Section 3 we present the application of
1998a,b, Kennedy et al., 2000a,b, Lau and Tse, 2003, estimation methods in identification of chaotic systems
Stavroulakis, 2005]. However, these systems still have and its possible uses in chaotic communications. Finally,
lower performance than conventional equivalent ones when Section 4 deals with our conclusions.
it comes to symbol error rate in Additive White Gaussian
Noise (AWGN) channel [Kennedy et al., 2000b, Lau and 2. THE MODIFIED VITERBI ALGORITHM FOR
Tse, 2003, Xiaofeng et al., 2004, Escribano et al., 2006]. ESTIMATING CHAOTIC SIGNALS
This happens basically because the receiver does not
use information on the chaotic maps that generate the The estimation problem treated here can be stated as
transmitted signals. The performance of these systems follows. An N -point sequence s′ (n) is observed. It is
would be basically the same if one uses random instead modeled as
of chaotic signals. s′ (n) = s(n) + w(n), 0 ≤ n ≤ N − 1, (1)
An approach for improving these results is to use estima- where s(n) is an orbit of a one-dimensional system
tion techniques to counter channel noise before demodu- s(n) = f (s(n − 1)) (2)
lation [Kisel et al., 2001, Xiaofeng et al., 2004, Escribano and w(n) is AWGN with variance σ 2 . The map f (.) is
et al., 2006]. defined in an interval U . We seek an estimate ŝ(n) of the
orbit s(n).
An interesting possibility is the Viterbi Algorithm (VA) as
proposed originally by Kisel et al. [2001]. It interprets the Consider the domain U as the reunion of disjoint intervals
chaotic signals as Markov processes that, at each instant, Uj , j = 1, 2, . . . , NS . In a given instant n, we define that
assume one of NS possible states defined by a partition of the signal state is q(n) = j if s(n) ∈ Uj . A (k + 1)-length
the domain U in NS subintervals. Kisel et al. [2001] used an state sequence is represented by
uniform partition, which is a suitable choice for maps with qk = [q(0), q(1), . . . , q(k)]
T
(3)
uniform invariant density. Here we extend these results for
general one-dimensional maps using adequate partitions. and the first k + 1 observed samples by
T
Our proposal is called the Modified VA (MVA). s′k = [s′ (0), s′ (1), . . . , s′ (k)] . (4)

978-3-902661-47-0/09/$20.00 © 2009 IFAC 126 10.3182/20090706-3-FR-2004.0377


15th IFAC SYSID (SYSID 2009)
Saint-Malo, France, July 6-8, 2009

To simplify notation, we define the N -length sequences Using VA avoids doing an exhaustive search on the (NS )N
qN −1 ≡ q and s′N −1 ≡ s′ . Furthermore, the center of the possible state sequences for an N -point signal.
interval Uj is denoted by B(j).
Let γ(n, j) be the probability of the most probable state
Given s′ , we seek an estimated state sequence q̂ that sequence, in the maximum likelihood sense, that ends in
maximizes the posterior probability state j, at instant n ≥ 1, given the observed sequence s′ ,
P (q̂|s′ ) = max P (q|s′ ). (5) or
q
γ(n, j) = max P (qn−1 , q(n) = j|s′ ). (12)
qn
Using Bayes’ theorem,
p(s′ |q)P (q) Using Eqs. (8-9), γ(n, j) can be calculated in the recursive
P (q|s′ ) = , (6) form
p(s′ ) γ(n, j) = max [γ(n − 1, i)aij ] bj (s′ (n)) , (13)
where p(s′ ) and p(s′ |q) are, respectively, the Probability i
Density Function (PDF) of s′ and the PDF of s′ given that for n > 1 where
the state sequence of the signal is q. The probability P (q) aij = P (q(n) = j|q(n − 1) = i) (14)
is the chance of obtaining the state sequence q when f (.) and
is iterated. bj (s′ (n)) = p (s′ (n)|q(n) = j) . (15)
This way, we must find the argument q̂ so that The coefficients aij are the state transition probabilities
q̂ = arg max P (q|s′ ) = arg max p(s′ |q)P (q). (7) that depend on the map f (.) and on the partition. We
q q
define the transition probabilities matrix as
It is important to notice that because of the form as the ANS ×NS = aij , 1 ≤ i, j ≤ NS . (16)
signals are generated and of the AWGN model, qk is a first The coefficients bj (.) are the observation conditional prob-
order Markov process when we consider k as time variable. abilities that depend only on the PDF of the noise pw (.).
So,
P (qk ) = P (q(k)|q(k − 1)) P (qk−1 ) , (8) VA works in two passes, the forward and the backward
where P (q(k)|q(k − 1)) is the transition probability from one:
the state q(k − 1) to q(k). • Forward pass: for each instant 1 ≤ n ≤ N − 1,
Besides, taking into account the independency of noise Eqs. (12 - 13) are used to calculate γ(n, j) for the
samples, NS states. Among the NS paths that can link states
k k
j = 1, . . . , NS at instant n − 1 to state j at instant
Y Y n, only the most probable one is maintained. The
p(s′k |qk ) = p (s′ (n)|q(n)) = pw (s′ (n) − s(n)) ≈
matrix ϕ(n, j), n = 1, . . . , N − 1, j = 1, . . . , NS ,
n=0 n=0
stores the state at instant n − 1 that takes to state j
k
Y with maximal probability. In the end of this step, at
pw (s′ (n) − B (q(n))) , (9) instant n = N − 1, we select the most probable state
n=0 as q̂(N − 1).
where pw (.) is the PDF of the noise. The approximation • Backward pass: for obtaining the most probable
in Eq. (9) is valid only if NS is sufficiently large. sequence, it is necessary to consider the argument i
Using Eqs. (7-9), we can express P (q|s′ ) as a product of that maximizes Eq. (13) for each n and j. This is done
state transition probabilities by conditional observation defining
probabilities. Thus we conclude that q̂ is the sequence that q̂(n) = ϕ (n + 1, q̂(n + 1)) , n = N − 2, . . . , 0. (17)
maximizes Once obtained q̂(n), the estimated orbit is given by the
centers of the subintervals related to the most probable
N
Y −1
! state sequence,

P (q(n)|q(n − 1)) p (s (n)|q(n)) P (q(0)) . (10)
n=1
ŝ(n) = B (q̂(n)) , n = 0, . . . , N − 1. (18)
Choosing the partition Uj , j = 1, 2, . . . , NS so that the
To apply the VA it is necessary to choose a partition so
probability of each possible state q(n) = j is the same for
that the probability of an orbit point to be in any state
all j, the last term in Eq. (10), P (q(0)), can be eliminated
is the same, so that P (q(0)) in Expression (10) can be
and we get
eliminated. This means that if a given map has invariant
N −1
Y density p(s) [Lasota and Mackey, 1985], we should take NS
q̂ = arg max P (q(n)|q(n − 1)) p (s′ (n)|q(n)), (11) intervals Uj = [uj ; uj+1 ] so that, for every j = 1, . . . , NS ,
q
n=1 Z uj+1
1
as Kisel et al. [2001] do. Note, however, the importance of p(s)ds = . (19)
the choice of the partition in obtaining this result. As far uj NS
as we know, this fact was not noticed before. Using the ergodicity of chaotic orbits [Lasota and Mackey,
1985], it is possible to estimate p(s) for a given f (.) and
To find q that maximizes the product in Eq. (11) is a
consequently to find the correct partition.
classic problem for which an efficient solution is given by
VA [Viterbi, 1967], applied to the estimation of chaotic The maps taken as examples by Xiaofeng et al. [2004] and
signals for the first time by Marteau and Abarbanel [1991]. Kisel et al. [2001] have uniform invariant density and the

127
15th IFAC SYSID (SYSID 2009)
Saint-Malo, France, July 6-8, 2009

authors have proposed the use of equal length subintervals. Quadratic map f (.)
Q
However, this choice cannot be generalized for an arbitrary (a)
1
one-dimensional map.

fQ(s)
0
The use of VA with the correct partition is called here
−1
Modified Viterbi Algorithm (MVA). −1 −0.8 −0.6 −0.4 −0.2 0 0.2 0.4 0.6 0.8 1
s
(b) 1
As illustrative examples, consider the uniform invariant
density tent map defined in U = [−1, 1] as

s(n)
0
fT (s) = 1 − 2|s| (20)
−1
and the nonuniform invariant density quadratic map 0 10 20 30 40 50
n
60 70 80 90 100

fQ (s) = 1 − 2s2 , (21) (c)


1
defined over the same U [Eisencraft and Baccala, 2008].

p (s)
It can be shown [Lasota and Mackey, 1985] that, the

Q
0.5
U1 U5
invariant density of these maps are 0
U
2 U3 U4

pT (s) = 1/2 (22) −1 −0.81 −0.31 0.31 0.81 1


s
and
1
pQ (s) = √ , (23) Fig. 2. (a) Quadratic map fQ (.); (b) example of a 100-point
π 1 − s2 signal generated by fQ (.); (c) invariant density along
respectively. with the partition satisfying Eq. (19) for NS = 5.
An example of orbit for each of these maps and their Tent map f (.) − Uniform partition
respective invariant densities are shown in Figures 1 and 45
T

2. The partition satisfying Eq. (19) for each case is also


40
indicated when NS = 5.
35
Tent map f (.)
T
(a) 30
1
25
f (s)

(dB)

0
T

20
out

−1
SNR

−1 −0.8 −0.6 −0.4 −0.2 0 0.2 0.4 0.6 0.8 1 15


s
1 10
(b) NS = 5
5 N = 10
s(n)

0 S
0 N = 20
S
−1 NS = 50
0 10 20 30 40 50 60 70 80 90 100 −5
n N = 100
S
(c) −10
−10 −5 0 5 10 15 20 25 30
1 SNR (dB)
in
p (s)
T

0.5
U U U U
1
U
2 3 4 5 Fig. 3. SNRout of VA for an orbit of length N = 10
0
−1 −0.6 −0.2 0.2 0.6 1
using different numbers of partition intervals NS .
s The generating map is fT (.). Performance limits of
Eq. (26) are indicated by dashed lines.
Fig. 1. (a) Tent map fT (.); (b) example of a 100-point
signal generated by fT (.); (c) invariant density along Choosing the right partition, the estimation algorithm has
with the partition satisfying Eq. (19) for NS = 5. an increasing performance as a function of SNRin until
SNRout attains a limit value which depends on NS . This
Figures 3 and 4 present how the performance of VA varies limiting value can be calculated assuming that, in the best
for different values of NS and N = 10. In Figure 3 the possible case, the estimation error is caused by domain
generating map is fT (.) whereas fQ (.) is used in Figure 4. quantization alone. As such, for an uniform partition,
To illustrate the importance of the correct partition choice, the estimation error is an uniformly distributed random
Figure 4(a) displays the results of mistakenly using a variable in the interval [−1/NS , 1/NS ]. Therefore the mean

uniform partition whereas Figure 4(b) displays the results squared value of s(n) − ŝ(n) is limited by 1/ 3NS2 .
of using the correct partition according to Eq. (19). The Additionally, s(n) is uniformly distributed in [−1, 1] and,
input and output SNR are defined as consequently, has a mean squared value of 1/3. Hence if
PN −1 2 all the points are in the correct subintervals, the expected
s (n)
SNRin = n=0 2 (24) value of SNRout , E[SNRout ] in dB is

and " PN −1 #
PN −1 2
s (n) n=0 s2 (n)
SNRout = PN −1 n=0 . (25) E [SNRout ] = E 10 log PN −1 =
2 (s(n) − ŝ(n))2
n=0 (s(n) − ŝ(n))
n=0
For each SNRin of the input sequence, the average SNRout N/3
= 10 log = 20 log NS . (26)
of 1000 estimates is shown. N/(3NS2 )

128
15th IFAC SYSID (SYSID 2009)
Saint-Malo, France, July 6-8, 2009

(a) Quadratic map fQ(.) − uniform partition fied Maximum Likelihood Chaos Shift Keying (MMLCSK)
45 using one and two maps. Both are based on the ones
40 proposed by Kisel et al. [2001]. We have modified them
using nonuniform partitions for the MVA as discussed in
35
the previous section. This way, it is possible to test the
30 performance of nonuniform invariant density maps.
25
3.1 MMLCSK using two maps
SNRout (dB)

20

15 In this case, each symbol is associated with a different map


10
f1 (.) and f2 (.). To transmit a 0, the transmitter sends an
N =5
S N -point orbit s1 (.) of f1 (.) and to transmit a 1, it sends
5 NS = 10 an N -point orbit s2 (.) of f2 (.).
0 N = 20
S
NS = 50 Maps must be chosen so that their state transition proba-
−5
N = 100 bilities matrix A1 and A2 are different. Estimating s1 (n)
S
−10 using MVA with A2 must produce a small estimation gain
−10 −5 0 5 10 15 20 25 30
SNRin (dB) or even a negative (in dB) one. The same must happen
when we try to estimate s2 (n) using A1 .
(b) Quadratic map fQ(.) − partition satisfying Eq. (18)
45 The receiver for MMLCSK using two maps is shown in
40 Figure 5. The Viterbi decoders try to estimate the original
35
s(n) using A1 or A2 . For each symbol, the estimated state
sequences are q̂1 and q̂2 .
30

25 q̂1 zm1
Viberbi Likelihood
(dB)

Decoder A1 Calculation Estimated


20 n = N −1 Decision symbol
out

s '(n )
SNR

15 Circuit
q̂ 2 zm 2
10 Viterbi Likelihood
NS = 5 Decoder A2 Calculation
n = N −1
5 NS = 10
0 N = 20
S
N = 50
S
Fig. 5. Receiver for MMLCSK using two maps.
−5
NS = 100
−10 Given the observed samples, zm1 e zm2 are proportional to
−10 −5 0 5 10 15 20 25 30
SNR (dB) the probability of obtaining q̂1 and q̂2 respectively. More
in
precisely,
N −1
Fig. 4. SNRout of the Viterbi algorithm for an orbit of Y
length N = 10 using different number of partition zm1 = P (qˆ1 (n)|q̂1 (n − 1), A1 )p(s′ (n)|qˆ1 (n)), (27)
intervals NS . The generating map is fQ (.). Results n=1
for an uniform partition (a) are contrasted to the N
Y −1
improved values in (b) using a partition satisfying Eq. zm2 = P (qˆ2 (n)|q̂2 (n − 1), A2 )p(s′ (n)|qˆ2 (n)). (28)
(19). Limits of Eq. (26) are indicated by dashed lines. n=1
In this equations we have used the likelihood measure of
These limits, which are exact only in the uniform partition
Eq. (11). The probability P (q̂(n)|q̂(n − 1), Ai ) can be
case, are indicated with dashed lines for each NS value in
read directly from Ai and p(x′ (n)|q̂(n)) depends only on
Figures 3 and 4.
the noise and can be approximated as described by Dedieu
Comparing Figures 4(a) and (b) reveals the critical role and Kisel [1999].
played by the partition choice. Clearly the uniform parti-
Choosing the largest between zm1 e zm2 we can identify
tion of Xiaofeng et al. [2004] and Kisel et al. [2001] cannot
the map used in the transmitter with maximum likelihood
attain the best possible SNRout for the quadratic map
and, this way, decode the transmitted symbol.
whose invariant density is not uniform.
Given a map f1 (.), an important problem is to find a map
Figures 3 and 4(b) show that the algorithm has a slightly
better performance for the quadratic map. This result f2 (.) so that its probability transition matrix A2 permits
to discriminate between the likelihood measures of Eqs.
confirms the importance of the choose of map to be used.
(27) and (28). For piecewise linear maps on the interval
The modification on VA proposed here permits testing
more maps looking for an optimal one. U = [−1, 1] we can use the following rule adapted from
[Kisel et al., 2001]:

3. CHAOTIC SYSTEM ESTIMATION AND f1 (s) + 1, f1 (s) < 0
IDENTIFICATION: APPLICATIONS IN f2 (s) = . (29)
f1 (s) − 1, f1 (s) ≥ 0
COMMUNICATION
Figure 6 shows the construction of map f2 (.) from f1 (.) =
In this section we propose two binary digital modulation fT (.). This way, f1 (s) and f2 (s) map a point s a unity
using chaotic system identification. They are the Modi- away.

129
15th IFAC SYSID (SYSID 2009)
Saint-Malo, France, July 6-8, 2009

1 f1(s) 1 f (s)
1
f (s) f (s)
0.5 2 0.5 2

f(s)
0
f(s)

−0.5
−0.5
−1
−1
−1 0 1
−1 0 1 s
s

Fig. 6. Construction of map f2 (.) for f1 (.) = fT (.) using Fig. 8. Construction of f2 (.) for f1 (.) = fQ (.) used in
Eq. (29). simulations.
way, we expect a worst performance of this couple of maps
In this case, using an uniform partition for NS = 5 we when compared to the one with matrices given by Eq. (30).
have

1/2 1/2 0 0 0
 
0

0 1/3 1/3 1/3 To find f2 (.) given a map f1 (.) that presents optimal prop-
 0 0 1/2 1/2 0   1/3 1/3 0 0 1/3  erties when it comes to identification throw the matrices
A1 =  0 0 0 0 1  , A2 =  0 1/2 1/2 0 0 . A1 and A2 is an open problem. As shown by the last
example, it is necessary to impose that f2 (.) generates
   
0 0 1/2 1/2 0 1/3 1/3 0 0 1/3
1/2 1/2 0 0 0 0 0 1/3 1/3 1/3 chaotic orbits.
(30)
It can be shown that almost every orbit generated by f2 (.) 3.2 MMLCK using one map
are in fact chaotic [Kisel et al., 2001]. Note however that
this method is not necessarily optimal and must be used As an alternative, it is possible to construct a communica-
prudently. There is no guaranty that the orbits of f2 (.) tion system based on MVA estimation using just one map.
given by Eq. (29) are chaotic in general. In this case, according to the symbol that is intended to be
communicated, the chaotic signal is directly transmitted
For instance, if we apply the same strategy for the or an invertible transformation is applied on the sequence.
quadratic map f1 (s) = fQ (s), we obtain f2 (s) show in This operation must modify the sequence so that it is no
Figure 7. All the orbits of f2 (.) converge to a stable fixed more a valid orbit of the used map. This way, it is no longer
point at s = 0 and hence are not chaotic at all [Devaney, necessary to find a map f2 (.).
2003].
In the binary case, for maps that are not odd, this
transformation can be, for instance, T (s) = −s witch
1 f (s)
1 can be undone multiplying again the sequence by −1. To
0.5
f (s)
2
transmit a 0, we send an N -point orbit s1 (.) of f1 (.). To
f(s) = s transmit a 1, we send −s1 (.).
f(s)

0
The receiver for this system is shown in Figure 9. The
−0.5 variables zm1 and zm2 are calculated by Eq. (27). However,
Attracting
Fixed Point when calculating zm2 , s′ (n) is substituted by −s′ (n). So,
−1 when a 0 is received, the likelihood expressed by zm1 must
−1 0 1 be greater than zm2 because −s1 (n) is not an orbit of f1 (.).
s
The opposite is true when a 1 is received.
Fig. 7. Construction of f2 (.) for f1 (.) = fQ (.) using
Eq. (29). Note the attracting fixed point. Viberbi qˆ1 Likelihood zm1
Decoder A1 Calculation Estimated
n = N −1 Decision
symbol
In the simulations, we have used f2 (.) = −fQ (.) shown in s '(n )
Circuit
Figure 8. This map is possibly not optimum because points qˆ 2 zm 2
Viterbi Likelihood
next to the roots of f1 (.) and f2 (.) are mapped near to each Decoder A1 Calculation
n = N −1
other by both functions. The transition matrix for these
two maps for NS = 5 using the partition obeying Eq. (19) -1
are
   
1/2 1/2 0 0 0 0 0 0 1/2 1/2 Fig. 9. Receiver for MMLCSK using two maps.
 0 0 1/2 1/2 0  0 0 1 0 0 
A1 = 
 0 0 0 0 1,
 A2 = 
1 0 0 0 0 .
 It is relevant to note that this scheme can be easily
0 0 1/2 1/2 0 0 0 1 0 0 generalized for an M -ary modulation, M > 2. For this it is
1/2 1/2 0 0 0 0 0 0 1/2 1/2
necessary just to consider other invertible transformations.
(31)
In this case, it can be shown that f2 (.) generates chaotic 3.3 Numerical simulations
orbits [Devaney, 2003]. However, note that a23 e a43
exhibit nonzero probabilities in both matrices what will Figure 10 show the Symbol Error Rate (SER) as a function
probably generate errors in the MMLCSK receptor. This of the Bit Energy per Power Spectral Density of the

130
15th IFAC SYSID (SYSID 2009)
Saint-Malo, France, July 6-8, 2009

AWGN (Eb /N0 ) for the MMLCSK using one and two ACKNOWLEDGEMENTS
maps. In the estimation and identification process it was
considered NS = 100 subsets and N = 50 samples per bit. Marcos Almeida do Amaral is partially supported by
For sake of comparison, it is also shown the performance of Mackpesquisa. Clodoaldo A. M. Lima an Marcio Eisen-
Chaos On-Off Keying (COOK) [Kolumbán et al., 1998a], craft are partially supported by CNPq.
the non-coherent chaos communication that does not use
estimation with best performance. This system is based REFERENCES
only on energy estimation to decode the signal.
H. Dedieu and A. Kisel. Communications with chaotic
Our simulations show that MMLCSK using one map has time series: probabilistic methods for noise reduction.
a slightly better performance than MMLCSK using two International Journal of Circuit Theory and Applica-
maps. Besides fT (.) performs better than fQ (.). This last tions, 27(6):577–587, 1999.
results confirms the importance of the choose of map and R. L. Devaney. An Introduction to Chaotic Dynamical
transform to be employed. Systems, 2nd Edition. Westview Press, March 2003.
M. Eisencraft and L. A. Baccala. The Cramer-Rao Bound
0
ML−CSK − N = 10 for initial conditions estimation of chaotic orbits. Chaos
10 Solitons & Fractals, 38(1):132–139, Oct 2008.
F.J. Escribano, L. Lopez, and M. A. F. Sanjuan. Evalu-
ation of channel coding and decoding algorithms using
discrete chaotic maps. Chaos, 16(1), March 2006.
M. P. Kennedy, G. Kolumbán, G. Kis, and Z. Jákó. Per-
−1
10 formance evaluation of fm-dcsk modulation in multipath
enviromnments. IEEE Trans. Circuits Syst. I, 47(12):
1702–1711, December 2000a.
SER

M. P. Kennedy, G. Setti, and R. Rovatti, editors. Chaotic


Electronics in Telecommunications. CRC Press, Inc.,
−2
10 Boca Raton, FL, USA, 2000b.
A. Kisel, H. Dedieu, and T. Schimming. Maximum
2 mapas − fT(.)
likelihood approaches for noncoherent communications
2 mapas − f (.)
Q
1 mapa − fT(.)
with chaotic carriers. IEEE Trans. Circuits Syst. I, 48
1 mapa − fQ(.)
(5):533–542, May 2001.
−3
10 COOK G. Kolumbán, M. P. Kennedy, and L. O. Chua. The role of
0 5 10 15 20 25 30
synchronization in digital communications using chaos
Eb/N0 (dB) - part ii: chaotic modulation and chaotic synchroniza-
tion. IEEE Trans. Circuits Syst. I, 45(11):1129–1140,
Fig. 10. Symbol Error Rate (SER) for the tested MMLCSK November 1998a.
modulations. Each bit was represented by N = 10 G. Kolumbán, M. P.Kennedy, G. Kis, and Z. Jákó. Fm-
samples. dcsk: a novel method for chaotic communications. In
Proc. ISCAS’98, volume 4, pages 477–480, Monterey,
USA, June 1998b.
A. Lasota and M. Mackey. Probabilistic Properties of
4. CONCLUSIONS Deterministic Systems. Cambridge University Press,
Cambridge, 1985.
In this paper we present a generalization of Viterbi al- F. C. M. Lau and C. K. Tse. Chaos-based digital commu-
gorithm proposed by Kisel et al. [2001], the Modified nication systems. Springer, Berlin, 2003.
Viterbi Algorithm (MVA). The modification consists of F. F. Marteau and H. D. I. Abarbanel. Noise reduction
using nonuniform partition of the domain to allow for in chaotic time series using scaled probabilistic method.
orbits of maps with nonuniform invariant density to be Jornal of Nonlinear Science, 1(3):313–343, 1991.
correctly estimated. Peter Stavroulakis. Chaos Applications in Telecommuni-
cations. CRC Press, Inc., Boca Raton, FL, USA, 2005.
Following, MVA was applied in the identification of chaotic
A. J. Viterbi. Error bounds for convolutional codes and
maps from its orbits and its application in communica-
an asymptotically optimum decoding algorithm. IEEE
tions. It was proposed the MMLCSK, which is the MLCSK
Trans. Inf. Theory, 13(2):260–269, April 1967.
using MVA. Compared with methods that do not use
G. Xiaofeng, W. Xingang, and Z. Meng. Chaotic digital
estimation, these systems performs better in terms of SER
communication by encoding initial conditions. Chaos,
in AWGN. The cost of this improvement is the complexity
14(2):358–363, June 2004.
of the receiver. However, the information is coded on the
dynamic of the chaotic system and not in easily measured
properties like energy, what makes it more difficult to be
detected without authorization. It is necessary to know the
state transitions matrices to demodulate.
More research is necessary in order to find optimal cou-
ple maps and transforms to optimize the discrimination
between maps in the receiver.

131

You might also like