Caracterisations des signaux et syst`emes

Point de vue denotationnel

Point de vue structurel
Point de vue comportemental

plan

deno

Point de vue denotationnel

Un signal est une application du temps dans un domaine :

plan

struct

Point de vue denotationnel

Un signal est une application du temps dans un domaine :
x : T Dx
o`u :

plan

struct

Point de vue denotationnel

Un signal est une application du temps dans un domaine :
x : T Dx
o`u :
T est soit le temps continu R soit le temps logique N (Z ?)

plan

struct

Point de vue denotationnel

Un signal est une application du temps dans un domaine :
x : T Dx
o`u :
T est soit le temps continu R soit le temps logique N (Z ?)
Dx est le type du signal, R, N , Bool

plan

struct

Point de vue denotationnel

Un signal est une application du temps dans un domaine :
x : T Dx
o`u :
T est soit le temps continu R soit le temps logique N (Z ?)
Dx est le type du signal, R, N , Bool
Un syst`eme est un transformateur de signaux :
Par exemple
S : (T Dx ) (T Dy )

plan

struct

Point de vue structurel

Syst`eme de premier ordre (deuxi`eme ordre, . . .) :

plan

comp

Point de vue structurel

Syst`eme de premier ordre (deuxi`eme ordre, . . .) :
differentiel

recurrent, automate, programme objet

X(0)

X(0)

X0

F (X, U )

Xn+1

F (Xn , Un+1 )

G(X, U )

Yn

G(Xn , Un )

Ordre du syst`eme : dimension du vecteur X

remarque : pas intrins`eque

plan

comp

Point de vue structurel

Syst`eme de premier ordre (deuxi`eme ordre, . . .) :
differentiel

recurrent, automate, programme objet

X(0)

X(0)

X0

F (X, U )

Xn+1

F (Xn , Un+1 )

G(X, U )

Yn

G(Xn , Un )

Ordre du syst`eme : dimension du vecteur X

remarque : pas intrins`eque
Syst`eme detat fini :
Automate, machine detat fini

plan

comp

Point de vue comportemental

plan

plan

Point de vue comportemental

Syst`eme lineaire :

plan

plan

Point de vue comportemental

Syst`eme lineaire :
S(x + y) = S(x) + S(y)
remarques :
Ne concerne que les signaux dont le domaine se pr`ete a` la linearite
Quid de linitialisation ?

plan

plan

Point de vue comportemental

Syst`eme lineaire :
S(x + y) = S(x) + S(y)
remarques :
Ne concerne que les signaux dont le domaine se pr`ete a` la linearite
Quid de linitialisation ?
Syst`eme stationnaire :

plan

plan

Point de vue comportemental

Syst`eme lineaire :
S(x + y) = S(x) + S(y)
remarques :
Ne concerne que les signaux dont le domaine se pr`ete a` la linearite
Quid de linitialisation ?
Syst`eme stationnaire :
Qui commute avec un retard :
S(x(t )) = (Sx)(t )
Les syst`emes lineaires stationnaires forment une classe importante historiquement et
pratiquement.
plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :

plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :
Lineaires : a` cause de la linearite de la transformee de Laplace :

plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :
Lineaires : a` cause de la linearite de la transformee de Laplace :
LS(s)L(x1 + x2 )(s) = LS(s)(Lx1 (s) + Lx2 (s))

plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :
Lineaires : a` cause de la linearite de la transformee de Laplace :
LS(s)L(x1 + x2 )(s) = LS(s)(Lx1 (s) + Lx2 (s))
LS(s)L(x1 + x2 )(s) = LS(s)Lx1 (s) + LS(s)Lx2 (s)

plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :
Lineaires : a` cause de la linearite de la transformee de Laplace :
LS(s)L(x1 + x2 )(s) = LS(s)(Lx1 (s) + Lx2 (s))
LS(s)L(x1 + x2 )(s) = LS(s)Lx1 (s) + LS(s)Lx2 (s)
Stationnaires : parce que loperateur retard est un produit qui commute :

plan

plan

Syst`emes rationnels
Representables en transformee de Laplace :
Ly(s) = LS(s)Lx(s)
Ces syst`emes sont lineaires, stationnaires :
Lineaires : a` cause de la linearite de la transformee de Laplace :
LS(s)L(x1 + x2 )(s) = LS(s)(Lx1 (s) + Lx2 (s))
LS(s)L(x1 + x2 )(s) = LS(s)Lx1 (s) + LS(s)Lx2 (s)
Stationnaires : parce que loperateur retard est un produit qui commute :
LS(s)es Lx(s) = es LS(s)Lx(s)

plan

plan

Syst`emes rationnels
Forme generale :

N (s)
avec degre N degre D.
D(s)
Pn
i
a
s
i
X(s)
Y (s) = Pn1 0
i
n
bi s + s
0
n1
X

bi si + sn )Y (s) =

n
X

sn Y (s) =

n
X

ai si X(s)

n1
X

Y (s) =

ai si X(s)

n
X

ai sin X(s)

Y (s) = an X(s) +

bi si Y (s)

n1
X

bi sin Y (s)

0
n1
X

sin (ai X(s) bi Y (s))

0
plan

plan

Syst`emes rationnels
Y (s) = an X(s) +

n1
X

sin (ai X(s) bi Y (s))

Posons :

U0 (s)

= s1 (a0 X(s) b0 Y (s))

...
Ui+1 (s)

= s1 (ai+1 X(s) bi+1 Y (s) + Ui (s))

...
Y (s)

= an X(s) + Un (s)

Il est facile de verifier algebriquement que ces deux expressions sont e gales.

plan

plan

Syst`emes rationnels
U0 (s)

= s1 (a0 X(s) b0 Y (s))

...
Ui+1 (s)

= s1 (ai+1 X(s) bi+1 Y (s) + Ui (s))

...
Y (s)

= an X(s) + Un (s)

Conclusion : pour simuler un syst`eme rationnel dordre n, il suffit dutiliser n

integrateurs.

plan

plan

Syst`emes rationnels
Exemple :
1
x
a1

a0

a2 s2 + a1 s + a0
s2 + b1 s + b0

1
s

b0

plan

a2

1
s

u0

u1

1
y

b1

plan

Syst`emes rationnels
1
x
a1

a0

1
s

u1

1
y

b1

U0 (s)

= s1 (a0 X(s) b0 Y (s))

U1 (s)

= s1 (a1 X(s) b1 Y (s) + U0 (s))

Y (s)

= a2 X(s) + U1 (s)

Y (s)

= a2 X(s) + s1 (a1 X(s) b1 Y (s) + s1 (a0 X(s) b0 Y (s)))

Y (s)

= a2 X(s) + s1 a1 X(s) + s2 a0 X(s) s1 b1 Y (s) s2 b0 Y (s)

s2 Y (s)
plan

1
s

u0

b0

a2

= a2 s2 X(s) + a1 sX(s) + a0 X(s) b1 sY (s) b0 Y (s)

plan