Analisis de pasividad y estabilidad de un circuito

detector de envolvente mediante el enfoque

en variable de estado
1

Manuel Gonzalez S.1 , S. A. Rodrguez1 J. L. Vazquez Gonzalez 2

Division Academica de Ingenieria y Arquitectura de la UJAT, Tabasco, Mexico.
2
Depto. Ingeniera en Electronica, Universidad de las AmericasPuebla.
manuel.gonzalez@daia.ujat.mx
capacitor, con una resistencia y haciendo una coneccion serial con un diodo. Una gran cantidad de analisis algebraico ha sido hecho, por ejemplo ver [3] y
[6]. Sin embargo, a nuestro conocimiento no existe un analisis de estabilidad de este sistema. La propiedad de estabilidad es importante por que permite estudiar el desempe
no del sistema. Por ejemplo,
[1], presenta el desempe
no de un filtro lineal dentro de un ancho de banda establecido, que garantiza la estabilidad del filtro cuando se tiene incertidumbre en algunos de sus componentes.

Recibido: 15 de diciembre de 2006.

Aceptado: 29 de junio de 2007.
Resumen
En este artculo se analiza la pasividad y la estabilidad de un circuito detector de envolvente no lineal. A partir de las ecuaciones diferenciales que describen la din
amica de este circuito, se hace el desarrollo en te rminos de variables de estado. As se relacionan de manera directa la Pasividad y las funciones de Lyapunov, para estudiar la estabilidad de este circuito. El trabajo teorico es validado por simulaci
on en MatLab-Simulink y Multisim.

En este trabajo, se garantiza la estabilidad de un circuito nolineal detector de envolvente para un ndice de modulacion dado.

Introducci
on
Uno de los metodos mas populares utilzado en la
transmision de se n
ales de audio y video es la modulacion de amplitud. Este metodo consiste en una
se
nal de baja fracuencia que controla la amplitud de
una se
nal de alta frecuencia, llamada portadora (carrier en ingles).

Modelaci
on Matem
atica
En esta seccion es analizada la din
amica del circuito
detector de envolvente presentado en la figura 1.

La modulacion en amplitud implica que se tienen cientos de picos de la se

nal portadora por cada ciclo de una modulacion. Por lo cual se tiene una se
nal envolvente superior, construida con
el pico positivo y una envolvente inferior construida con el pico negativo de la se
nal portadora,
respectivamente.
La mayora de los receptores AM utilizan detector de
envolvente implementado con circuitos simples que
codifican con buena fidelidad relativa la envolvente
de la se
nal modulada.

Figura 1. Circuito Detector de Envolvente

Este circuito electronico puede ser representado por

un sistema din
amico con la ayuda de las Leyes de
Kirchhoff. Por un lado la aplicacion de la ley de corriente de Kirchhoff en el nodo 2 se obtiene

La clasica topologa del circuito detector de envolvente es mostrado en la figura 1. Como se puede ver,
el circuito es construido a traves del paralelo de un
40

Analisis de pasividad y estabilidad. . . M. Gonz

alez S., S. A. Rodrguez y J. L. V
azquez.

iC = iD iR ,

(1)

donde iD ,iC e iR son las corrientes a traves del diodo,

del capacitor y de la resistencia, respectivamente.
Por otro lado, la aplicaci
on de la ley de voltaje de
Kirchhoff en la primera malla resulta:
vD = vi vC ,

(2)

donde vi ,vD y vC son los voltajes en la fuente, en el

diodo y capacitor, respectivamente. Estas dos ecuaciones son relacionadas como sigue.
De (1)

1
vC ,
(3)
R
con iD = iD (vD ) la funcion del voltaje aplicado en
las terminales del diodo y que describe el modelo
matematico para el diodo no lineal [6]:
iC = iD

iD (vD ) = Io (exp(qvD /mkT ) 1)

(4)

Donde Io es la corriente de saturacion inversa en

amperes [A] , q que es la carga del electron, 1.6
1019 [C] , m es una constante empirica, k es la constante de Boltzmann igual a 1.38 1023 [J/K] y T
es la temperatura en grados kelvin [K] .
Ahora, si se considera (3) y el modelo lineal del
capacitor
dvC
= C v C ,
iC = C
dt
se tiene
1
C v C = iD (vD ) vC .
R
Ahora, despues de sustituir (2) en iD se obtiene
1
1
vC ,
v C = iD (vi vC )
C
RC

(5)

o con la igualdad de (4) entonces:

v C =

Io
qvi
qvC
1
[exp(
) exp(
) 1]
vC . (6)
C
mkT
mkT
RC

Teniendo como la variable de estado la tensi

on del
capacitor x = vC y el voltaje de entrada u = vi como
la variable de control, por lo que resulta el siguiente
modelo en variable de estado:
1
1
x = iD (u x)
x,
C
RC

(7)

Donde iD () es la funcion no lineal definida en (4).

En la siguiente seccion es descrito el circuito detector
envolvente.

41

El circuito detector de envolvente

En esta seccion es descrita la estructura basica del
circuito detector de envolvente. Simplificaciones de
(6) nos permiten entender la din
amica de los circuitos y obtener un criterio simple para el dise
no. Posteriormente para la siguiente seccion se realiza un estudio riguroso de la estabilidad para el modelo no lineal (6).
La funcion principal del detector de envolvente es recobrar la se
nal envolvente ve (t) de la se
nal de amplitud modulada vi , mediante el seguimiento de su
lenta variacion y el filtrado de las variaciones r
apidas de la alta frecuencia de la se
nal portadora. Este proceso est
a relacionado con la demodulacion, ya
que las variaciones de la se
nal envolvente son de hecho la se
nal modulante.
Recuerde que el proceso de modulacion de amplitud es obtenida cuando la se
nal sinosoidal de la portadora de frecuencia angular wc es controlada en amplitud por la se
nal modulante vm . Esta se
nal es descrita por la ecuaci
on
vm (t) = ma cos wm t, t 0,

(8)

donde ma es el factor modulante y wm la onda de frecuencia modulante. Esto produce una se

nal de salida dada por [3]
vi (t) = vim [1 + vm (t)] cos wc t.

(9)

Por sustitucion de (8) en la expresi

on anterior, se
tiene
vi (t) = ve (t) cos wc t
(10)
donde ve (t) = vim [1 + ma cos wm t] es la se
nal envolvente y wc = 2fc es mucho mas grande que
wm (wc wm ).
En el proceso de deteccion, la variacion en el voltaje del capacitor (vC ) debe seguir la maxima variacion de la se
nal envolvente en el intervalo de tiempo (T = 1/fc ) necesario para completar un periodo
la se
nal portadora. El porcentaje del voltaje envolvente puede ser expresado por la derivada de tiempo de (11),
d
ve (t) = vim (ma wm ) sen wm t
dt

(11)

la cual tiene su maximo valor cuando| sen wm t |= 1,

a wm t = 2 y vm (t) = 0. por lo tanto:
max |

d
ve (t) |= ma wm vim .
dt

42

ContactoS 65, 4045 (2007)

Para obtener el maximo valor de la envolvente a traves de un periodo de la portadora (T = 1/fc ) se puede asumir que
d
ve
ve (t) =
.
dt
t

(12)

Si t = T, la expresi
on (12) se trasforma
ve = ma wm T vim .

(13)

Ya que wc es muy grande con respecto a wm (por

ejemplo, wc > 100wm ), el diodo esta en corte
(iD = 0) en los picos de la portadora. Si esto sucede en t = 0, entonces de (6) el detector de salida es la soluci
on de
v =

1
vC , vC (0) = vim , t 0.
RC

Esta es una disminucion exponencial dada por

vC (t) = vim et/RC . Para tener una alta fidelidad de demodulacion de una onda de amplitud modulada, esta es sintonizada mediante la constante de tiempo RC. Entonces el valor de la constante de tiempo tiene que seguir la lenta variacion de la se
nal envolvente (la se
nal modulante). Esto significa que la constante de tiempo del circuito RC es un compromiso entre la lenta variacion de la se
nal modulante y el filtrado de las r
apidas variaciones en las altas frecuencias de la se
nal portadora. Si este compromiso se verifica, entonces se asegura la mnima distorsion de la se
nal
demodulada.
Despues que ha pasado un ciclo de la portadora
(tiempo T ) el diodo es de nuevo polarizado directamente, vC = vim y el proceso se repite con una
nueva variacion en vC , que puede ser expresada como
vC = vim vim eT /RC .
Si se utiliza la aproximacion: ex 1 x, lo cual es
v
alido cuando (x 1) se tiene la siguiente expresi
on
vC vim

T
.
RC

(14)

Luego lo que se requiere es igualar las variaciones de

la se
nal de salida con las variaciones de la envolvente
en un ciclo de la portadora. La condici
on matematica
para que suceda es la igualdad entre (13) y (14). De
este modo se obtiene el ajuste de la constante de
tiempo RC, con la siguiente expresi
on
1
, wm = 2fm .
RC =
ma wm

(15)

Para valores altos de RC, el capacitor se descargara muy lentamente y la salida del circuito detector, vC , no seguira la envolvente. Si RC es demaciado peque
na, lo que se tiene es una se
nal excesivamente deformada. De este modo, se concluye que
la constante de tiempo RC debe seguir la envolvente requerida. Para obtener esta condici
on usualmente, es seleccionada la frecuencia mas alta de modulaci
on.
La siguiente seccion es dedicada al analisis de la estabilidad y pasividad del modelo detector envolvente (7).
Enfoque de pasividad y estabilidad
En esta seccion son presentados los preliminares matematicos para estudiar la estabilidad en sistemas
no lineales. Este estudio es ejecutado via el analisis de pasividad. Este enfoque es un camino para estudiar estabilidad, que est
a relacionada con conceptos fsicos como energa y potencia disipada en circuitos. El siguiente ejemplo de circuito RLC motiva la definicion, lo cual sigue el ejemplo [2].

Figura 2. Circuito RLC.

Considere el circuito RLC mostrado en la figura 2.

Es un circuito con una fuente de voltaje conectada
a una red pasiva RLC. Se toma el voltaje u como
la variable de entrada del sistema y la corriente y
como la variable de salida. El producto uy es el flujo
de potencia dentro de la red y la energa almacenada
en el sistemas est
a dada por V (t) = 12 Li2 + 12 Cv 2 .
Ya que la red es positiva, la energa absorbida por la
red sobre un periodo de tiempo [0, t] debe ser igual
o mayor que la almacenada en la red sobre el mismo
periodo; esto es,
Z

u(s)y(s)ds V (t) V (0) .

(16)

Si en (16) se tiene una desigualdad estricta, entonces

la diferencia entre la energa entrante y el incremento
en la energa almacenada debe ser la energa disipada

Analisis de pasividad y estabilidad. . . M. Gonz

alez S., S. A. Rodrguez y J. L. V
azquez.

en los componentes resistivos de la red. Ya que (16)

debe influir para cada t 0, esto debe de ser cierto
para la desigualdad de la potencia instant
anea
u (t) y (t) V (t)

(17)

v
alido para todo t; esto es, el flujo de potencia dentro
de la red debe ser mas grande o igual que la raz
on
de cambio de la almacenada en la red.
Ahora, considere el sistema
x = f (x, u)

(18)

y = h(x, u),

(19)

donde f : Rn Rm Rn es localmente, Lipschitz

[2]; h : Rn Rm Rn es continua, f (0, 0) = 0,
y h(0, 0) = 0. El sistema tiene el mismo n
umero de
entradas que de salidas.
Definici
on 1 . El sistema (18)-(19) es pasivo si
existe una funci
on continuamente diferenciable y semidefinida positiva V (x) (llamada funci
on de almacenamiento) tal que
uT y

V
x

f (x, u) + uT u + y T y + (x),
para toda (x, u) Rn Rm

(20)

donde , y son constantes no negativas, y (x) es

una funci
on semidefinida positiva de x tal que
(x(t)) 0 = x(t) 0

(21)

para todas las soluciones de (18) y cualquier u(t)

para el cual la soluci
on existe. El termino (x) se
denomina porcentaje de disipaci
on en el estado. M
as
a
un, el sistema se dice:
i) conservativo si (20) se satisface con la igualdad y
con = = = 0; esto es,
uT y =

V
f (x, u)
x

ii) pasivo estricto de entrada si > 0;

iii) pasivo estricto de salida si > 0;
iv) pasivo estricto de estado si > 0.
Los nombres se combinan cuando hay m
as de una
constante positiva. Por ejemplo, si ambas y son
positiva, se dice que la entrada y salida del sistema
es estrictamente pasivo.

43

En el caso de pasividad estricta de salida, estaremos

interesados en la propiedad adicional que
y(t) 0 = x(t) 0

(22)

para toda soluci

on de (18) cuando u = 0. En forma equivalente, ninguna solucion de x = f (x, 0) pueden estar identicamente en S = {x Rn : h(x, 0)},
que no sea la soluci
on trivial x(t) 0. Es importante notar que la diferencia entre (22) y la condicion (21) impuesta sobre el porcentaje de disipacion en el estado. La condici
on (21) se debe verificar para cualquier u, mientras (22) s
olo se debe satisfacer para u = 0.
El siguiente teorema relaciona pasividad de algunas
de las nociones de estabilidad que se conocen.
Teorema 1 .[2] Considerando el sistema (18)-(19).
i) Si el sistema es pasivo con una funci
on de almacenamiento V (x) definida positiva, entonces el origen de x = f (x, 0) es estable.
ii) Si el sistema es estrictamente pasivo en la salida, entonces es 2 estable con ganancia finita.
iii) Si el sistema es estricamente pasivo en la salida con una funci
on de almacenamiento V (x) definida positiva, y observable al estado cero, entonces el origen de x = f (x, 0) es asint
oticamente estable.
iv) Si el sistema es pasivo estricto de estado con
una funci
on de almacenamiento V (x) definida positiva, entonces el origen de x = f (x, 0) es asint
oticamente estable.
Si en alguno de los u
ltimos dos casos V (x) es radialmente no acotada, el origen es globalmente asint
oticamente estable.
Pasividad del detector de envolvente
Aqu es estudiado la estabilidad para el modelo no
lineal (6) estructurado en el espacio de estado (7). El
teorema (1) es aplicado aqu para analizar el circuito
detector de envolvente mostrado en la figura 1.
La energa almacenada en el circuito es
v (x) =

1 2
cv
2 C

por lo tanto
v(x)

= cvc v c = cxx
por sustitucion de (7) y (2) en esta ecuacion se tiene

La desigualdad (20) se denomina desigualdad de

disipaci
on.

v(x)

1 2
x + uiD (u x) vD iD (u x)
R

44

ContactoS 65, 4045 (2007)

y despues de algunas manipulaciones

uy = v +

1 2
x + vD iD ,
R

si y = iD = iD (u x) = iD (vD ) .

Figura 4. Modelo del detector de envolvente en Simulinks

Figura 3. Curva caracterstica del diodo.

De la figura 3, es facil de verificar la siguiente

desigualdad
vD iD 0.
Por lo tanto, se concluye que el sistema (7) satisface
la definicion 1 de pasividad con respecto al estado,
i.e.
1
uy v + x2
R
De acuerdo a la ecuaci
on 20, = R1 , (x) = x2 . Si
se observa el circuito en la figura 1, es claro que:
u

0y0

0y0

Por lo tanto el flujo de potencia dentro del circuito

de la figura 1 es no negativo. Este hecho implica que
v no es positivo, i.e.
v 0, (u, y) .
Por lo que la desigualdad anterior, permite verificar el teorema de Lyapunov (metodo directo de Lyapunov [2]) para el sistema (7) y entonces el origen
del sistema es estable. Ya que esta condici
on no depende del valor de entrada, entonces, para cualquier
entrada acotada hay una salida acotada y el sistema (7) es L estable [2].
Simulaci
on
A continuacion, el modelo en el espacio de estado es
implementado en el ambiente Matlab-Simulink [8],
[7]. El diagrama de representaci
on es mostrado en la
figura 4.

Figura 5. Forma de onda de entrada del circuito detector

de envolvente en Simulink

En la figura 5, es presentada la entrada de AM. En

la figura 6, pag. 45 es mostrada la salida, aqu el
detector de envolvente recupera la se
nal envolvente
(information) ve (t). Esta sigue la lenta variacion de
la envolvente y elimina la r
apida variacion de la alta
frecuencia de la portadora wc .
Ahora el mismo circuito detector de envolvente es simulado en Multisim, como se muestra en la figura 7, pag. 45, donde los resultados verifican perfectamente la simulacion anterior en Matlab-Simulink.
Estos resultados en Multisim se muestran en las figuras 8 y 9, pag. 45. Esta concordancia valida la modelacion en variable de estado.

Analisis de pasividad y estabilidad. . . M. Gonz

alez S., S. A. Rodrguez y J. L. V
azquez.

Figura 6. Forma de onda de salida de la simulaci

on en
Simulink.

Figura 7. Diagrama del circuito detector de envolvente

implementado en Multisim.

Conclusiones
En este artculo se estudia la estabilidad de un circuito no lineal detector de envolvente. El analisis presentado modela al circuito por medio de variables de
estado y es una aplicaci
on de teora del control. Este enfoque permite hacer un estudio riguroso de la estabilidad y de la pasividad, las cuales son propiedades que se relacionan entre s.
Los metodos tradicionales estudian propiedades locales por medio de la linealizaci
on de circuitos no lineales al rededor de un punto de operaci
on. Aqui
se presenta un analisis mas fino al considerar el modelo completo del circuito incluyendo no linealidades. Los resultados obtenidos fueron simulados en
ambiente Matlab-Simulink y Multisim. Los resultados son similares e ilustran gr
aficamente la estabilidad y la pasividad del circuito detector de
envolvente.
Bibliografa
1. Barmish (1994) Barmish B. R. (1994) New
Tools for Robusness of Linear Systems, Macmillan Publishing Company.

45

Figura 8. Forma de onda de entrada del circuito detector

de envolvente implementado en Multisim.

Figura 9. Forma de onda de salida del circuito detector

de envolvente de la simulaci
on en Multisim.

2. Khalil (2002) Khalil H. (2002) Nonlinear Systems, Prentice Hall.

3. Krauss (1984) Krauss Herbert L. Bostian W.
(1984) Estado Solido en Ingeniera de Radiocomunicaci
on, Limusa.
4. Rodriguez (1999) Rodriguez Paredes Salvador
Antonio (1999) Analisis Estructural de un Modelo de Helic
optero. Cinvestav-IPN Mexico.
5. Savant (1992) Savant. Roden. Carpenter. (1992) Dise
no Electr
onico Circuitos y Sistemas, Addison-Wesley Iberoamericana.
6. Schilling (1993) Schilling L. y Belove Ch. (1993)
Circuitos Electronicos Discretos e Integrados,
Mc GrawHill.
7. Steven cuatro (2005) Karris S. T. (2005) Electronic Devices and Amplifier Circuits with
Matlab Applications, Orchard Publications Second Edition.
8. Steven (2003) Karris S. T. (2003) Introduction
to Simulink with Engineering Aplications, Orchard Publicatis Second Edition.
cs