Fonction de transfert

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Une fonction de transfert G est une représentation mathématique de la relation entre l'entrée u et la sortie y d'un système linéaire, le plus souvent invariant. Elle est utilisée, notamment, en traitement du signal, en théorie des communications, en automatique, et dans toutes les sciences de l'ingénieur qui font appel à cette discipline (électronique, mécanique, mécatroniqueetc.). Les fonctions u et y ci-dessus peuvent avoir plusieurs composantes, auquel cas on précise souvent (sans que ce soit une obligation) que G est une matrice de transfert. D'autre part, u et y peuvent ne dépendre que du temps t (c'est le cas le plus classique), ou des variables d'espace x_{1}, x_{2}, x_{3}, ou encore de x_{0}, x_{1}, x_{2}, x_{3} avec x_{0}=t: c'est le cas des systèmes multidimensionnels (en))[1]; certains auteurs modélisent de cette façon les systèmes définis par des équations aux dérivées partielles[2]. Dans le domaine du Traitement d'images, u et y sont des fonctions de x_{1} et x_{2} qui sont le plus souvent considérées comme des variables discrètes (et identifiées à des entiers i et j); u et y sont alors des familles (ou suites) indicées par i et j[3]. La fonction de transfert d'un système permet d'en réaliser l'analyse fréquentielle, de manière par exemple à concevoir par la suite un régulateur dans ce qu'il est convenu d'appeler le domaine fréquentiel[4] (voir l'article Automatique). L'entrée d'un système linéaire n'est pas nécessairement une variable de commande et sa sortie n'est pas toujours une variable dont on souhaite imposer le comportement ; par exemple, un bruit coloré peut se modéliser comme la sortie d'un système linéaire ayant pour entrée un bruit blanc et dont la fonction de transfert est déterminée par la méthode de factorisation spectrale causale directe et inverse[5].


La notion de fonction de transfert[modifier | modifier le code]

La relation évoquée plus haut entre l'entrée u et la sortie y d'un système est un opérateur de convolution dont le noyau est la réponse impulsionnelle du système. Sauf dans le cas d'un système stable ou marginalement stable, celle-ci n'est pas une distribution tempérée (dans le cas de variables continues) ou une suite à croissance lente (dans le cas de variables discrètes), et n'admet donc pas de transformée de Fourier[6]. Il est donc nécessaire d'en considérer la transformée de Laplace ou la transformée en Z, selon que les variables sont continues ou discrètes. C'est cette transformée qui est appelée la fonction de transfert du système. Celle-ci ne représente le système que partiellement, puisqu'elle ne prend pas en compte les conditions initiales (ou aux limites). Plus exactement, elle est obtenue en supposant que ces conditions initiales (ou aux limites) sont nulles. Il en résulte une perte d'information, qui fait que la fonction de transfert ne représente que la partie commandable et observable du système. Néanmoins, elle est très importante pour l'analyse des propriétés de ce système et, historiquement, c'est cette représentation qui est apparue la première (voir Histoire de l'automatique). Il importe de bien connaître les possibilités qu'offre le formalisme des fonctions de transfert, ainsi que ses limites.

La notion de fonction de transfert n'a longtemps été définie que pour les systèmes linéaires invariants. La question s'est naturellement posée de savoir si cette notion pouvait s'étendre au cas des systèmes linéaires à coefficients variables. Ce n'est que récemment, par une méthode algébrique, que cette extension a été réalisée[7] avec des conséquences pratiques tangibles[8].

Fonction de transfert d'un système monovariable[modifier | modifier le code]

Cas des systèmes à temps continu[modifier | modifier le code]

Définition[modifier | modifier le code]

Considérons un système d'équation : D\left( \partial \right) y=N\left( \partial \right) u

u et y sont respectivement l'entrée et la sortie, et où D\left( \partial \right) et N\left( \partial \right) sont des polynômes à coefficients réels en \partial =\frac{d}{dt} de degré n et m respectivement. L'ensemble de ces polynômes est un anneau euclidien, donc principal, noté \mathbb{R}\left[ \partial \right].


Le polynôme D\left( \partial \right) est supposé non nul. Supposons que u et y soient des « fonctions généralisées à support positif »[9] admettant des transformées de Laplace notées respectivement \hat{u}\left( p\right) et \hat{y}\left( p\right).


Supposons que les conditions initiales y\left( 0^{-}\right)…, y^{\left( n-1\right) }\left( 0^{-}\right), u\left( 0^{-}\right)…, u^{\left( m-1\right) }\left( 0^{-}\right) soient nulles. Alors l'équation différentielle ci-dessus implique[10] D\left( p\right) \hat{y}\left( p\right) =N\left( p\right) \hat{u}\left(
p\right) .


Par conséquent : \hat{y}\left( p\right) =G\left( p\right) \hat{u}\left( p\right)


G\left( p\right) est la fraction rationnelle \frac{N\left( p\right) }{D\left( p\right) }. Cette fraction rationnelle est appelée la fonction de transfert du système.

Pôles non commandables[modifier | modifier le code]

Les raisonnements mettant en jeu cette fraction rationnelle doivent se faire sur sa représentation irréductible \frac{N'\left( p\right) }{D'\left( p\right) }N^{\prime }\left( p\right) =\frac{N\left( p\right) }{P\left( p\right) }, D^{\prime }\left( p\right) =\frac{D\left( p\right) }{P\left( p\right) }, P\left( p\right) désignant un pgcd de N\left( p\right) et D\left( p\right), par exemple celui pour lequel D^{\prime }\left( p\right) est un polynôme unitaire (à savoir, dont le coefficient du terme de plus haut degré est égal à 1).

Le système considéré est toujours observable, et il est commandable (resp. stabilisable) si, et seulement si P\left( p\right) est une unité de l'anneau \mathbb{R}\left[ p\right], c'est-à-dire un réel non nul (resp. un polynôme de Hurwitz). Les racines dans le plan complexe du polynôme P\left( p\right) sont les pôles non commandables du système[11].

Degré d'une fonction de transfert[modifier | modifier le code]

Rappelons[12] que le degré de la fraction rationnelle G = \frac{N}{D } est défini par: d{{}^\circ}\left( G\right)=d{{}^\circ}\left( N\right)-d{{}^\circ}\left( D\right). Faisons la division euclidienne de N\left( \partial \right) par D\left( \partial \right). Il vient N\left( \partial \right) = D\left( \partial \right)Q\left( \partial \right)+R\left( \partial \right)Q\left( \partial \right) est le quotient et R\left( \partial \right) le reste, tel que d{{}^\circ}\left( R\right) <d{{}^\circ}\left( D\right). En posant z=y-Q\left( \partial \right)u, soit encore

y=z+Q\left( \partial \right)u

on obtient

D\left( \partial \right) z=R\left( \partial \right) u

Supposons que u soit une fonction continue par morceaux, présentant une discontinuité à l'origine. Alors z est une fonction continue. Pour y, trois cas sont possibles:

(1) Q\left( \partial \right)=0, ce qui équivaut à d{{}^\circ}\left( G\right) <0. La fraction rationnelle G est dite strictement propre. Dans ce cas, R\left( \partial \right)= N\left( \partial \right). Alors y=z.
(2) d{{}^\circ}\left( Q\right)=0, ce qui équivaut à d{{}^\circ}\left( G\right) = 0. La fraction rationnelle G est dite bipropre. Alors y est une fonction présentant les mêmes discontinuités que u. Une fonction de transfert strictement propre ou bipropre est dite propre.
(3) d{{}^\circ}\left( Q\right)>0, ce qui équivaut à d{{}^\circ}\left( G\right) > 0. La fraction rationnelle G est dite impropre. Dans ce cas, y est, au plan mathématique, une distribution singulière (c'est-à-dire une distribution qui n'est pas une fonction, car elle s'exprime en fonction de la distribution de Dirac et éventuellement de ses dérivées).

Le cas (3) ne se rencontre jamais en pratique, car une entrée discontinue provoquerait la destruction du système. Le cas (2) est exceptionnel : il correspond à un système « sans inertie ». Un régulateur peut néanmoins avoir une fonction de transfert bipropre (le cas le plus simple étant celui d'un régulateur proportionnel).

On suppose dans ce qui suit que l'on se trouve dans le cas (1) ou (2).

Pôles et zéros de transmission - Stabilité[modifier | modifier le code]

On appelle pôles (resp. zéros) de transmission du système les pôles (resp. les zéros) de la fonction de transfert G\left( p\right) , à savoir les racines de D'\left( p\right) (resp. N'\left( p\right)).

Le système est stable EBSB si, et seulement si ses pôles de transmission appartiennent tous au demi-plan gauche (dont, par convention, l'axe imaginaire est exclu). Il est exponentiellement stable si, et seulement si le polynôme D\left( \partial \right) est de Hurwitz. D'après ce qui précède, le système est exponentiellement stable si, et seulement s'il est stable EBSB et stabilisable. (On ne saurait trop insister sur le fait que ceci n'est vrai que parce que le système considéré est observable, et que ses seuls modes cachés possibles sont donc ses pôles non commandables.)

Le système est dit à minimum de phase si ses pôles et ses zéros de transmission appartiennent tous au demi-plan gauche.

Réponse fréquentielle[modifier | modifier le code]

La réponse fréquentielle du système considéré ci-dessus est la fonction \omega \mapsto G\left( i\omega \right) . Elle est définie sur le complémentaire de \mathcal{P} dans \mathbb{R}\mathcal{P} est l'ensemble (éventuellement vide) des pôles de transmission situés sur l'axe imaginaire. Le principe du prolongement analytique montre que la réponse fréquentielle détermine complètement la fonction de transfert.

L'interprétation de la réponse fréquentielle est la suivante: supposons que l'entrée du système soit sinusoïdale, de pulsation \omega (cette pulsation n'appartenant pas à l'ensemble \mathcal{P} ci-dessus). Il est commode, au plan mathématique, d'écrire ce signal d'entrée u sous la forme complexe t\mapsto Ae^{i\omega t}, t\in \mathbb{R}. Alors on montre immédiatement que la sortie est (sous forme complexe) y(t)=G(i\omega) u(t). Concrètement, l'entrée et la sortie réelles (dans tous les sens du terme) sont bien entendu la partie réelle de l'entrée et de la sortie complexes ci-dessus.

Si l'axe imaginaire appartient à la bande de convergence de la fonction de transfert (en tant que transformée bilatérale de Laplace de la réponse impulsionnelle), la réponse fréquentielle n'est autre que la transformée de Fourier de la réponse impulsionnelle. C'est pourquoi, dans certaines sciences de l'ingénieur où les systèmes considérés sont toujours stables, la fonction de transfert est définie comme étant cette transformée de Fourier. Ceci est un abus de langage qui n'est pas sans conduire à certaines confusions.

Cas des systèmes à temps discret[modifier | modifier le code]

Définition[modifier | modifier le code]

Dans le cas des systèmes à temps discret, le formalisme est très semblable à celui développé ci-dessus. Voyons quelles sont les modifications.

(1) Dans l'équation du système, l'opérateur de dérivation \partial est remplacé par l'opérateur d'avance q:x\left( k\right) \mapsto x\left( k+1\right) . Les signaux sont maintenant des suites.

(2) En écrivant que D\left( q\right) =q^{n}+a_{1}q^{n-1}+...+a_{n} et N\left( q\right) =b_{0}q^{m}+b_{1}q^{m-1}+...+b_{m}, l'équation du système peut donc s'expliciter comme suit :


y\left( k+n\right) +a_{1}y\left( k+n-1\right) +...+a_{n}y\left( k\right) =b_{0}u\left( k+m\right) +b_{1}u\left( k+m-1\right) +...+b_{m}u\left( k\right)


(3) Les conditions initiales sont maintenant y\left( 0\right) ,...,y(n-1),u(0),...,u(m-1). En les supposant nulles, et en symbolisant par U\left( z\right) et Y\left( z\right) les transformées en Z monolatérales des suites u et y respectivement, on obtient (voir Propriétés de la transformée en Z)

Y\left( z\right) =G\left( z\right) U\left( z\right)

G\left( z\right) est la fonction de transfert \frac{N\left( z\right) }{D\left( z\right) }.

Causalité[modifier | modifier le code]

Le système est strictement causal si, et seulement si sa fonction de transfert est une fraction rationnelle strictement propre (i.e. d{{}^\circ}\left( G\right) <0). Cela signifie que la sortie à un instant donné k (considéré comme l'instant présent) n'est influencée ni par le futur de l'entrée, ni même par la valeur de celle-ci à l'instant k.

Le système est causal si, et seulement si sa fonction de transfert est propre. Cela signifie que la sortie à un instant donné n'est pas influencée par le futur de l'entrée.

Enfin, le système est non causal si, et seulement si sa fonction de transfert est impropre. La sortie à un instant donné est alors influencée par le futur de l'entrée. Cela est bien entendu impossible lorsque passé, présent, futur, ont les significations habituelles. Néanmoins, on peut réaliser, par exemple, du traitement du signal en temps différé en utilisant des filtres numériques non causaux.

Stabilité[modifier | modifier le code]

Un système à temps discret de fonction de transfert G\left( z\right) est stable EBSB si, et seulement si ses pôles de transmission, c'est-à-dire les pôles de G\left( z\right), sont tous situés à l'intérieur du cercle unité.

On sait que la relation entre la variable de Laplace p et la variable z de la transformée en Z est (voir Transformée de Laplace) z=e^{pT}T est la période d'échantillonnage. On a donc \left\vert z\right\vert <1 (resp. \left\vert z\right\vert =1) si, et seulement si \Re \left( p\right) <0 (resp. \Re \left( p\right) =0). La condition de stabilité, énoncée ici pour les systèmes à temps discret, ne doit donc pas surprendre quand on connaît celle énoncée plus haut pour les systèmes à temps continu.

Réponse fréquentielle[modifier | modifier le code]

En posant p=i\omega dans la relation liant la variable de Laplace p et la variable z, on obtient z=e^{i\omega T}=e^{i\theta} avec \theta=\omega T. Ceci explique que la réponse fréquentielle d'un système à temps discret, de fonction de transfert G\left( z\right), soit la fonction \theta \mapsto G\left( e^{i\theta }\right). Cette fonction, définie pour tous les \theta tels que e^{i\theta} n'est pas un pôle de G\left( z\right), est périodique de période 2\pi, et comme e^{-i\theta }=\overline{e^{i\theta }}, les variations de \theta peuvent être restreintes à l'intervalle \left[ 0,\pi \right[. La variable \theta s'appelle la pulsation normalisée. Si l'entrée du système est sinusoïdale, de pulsation normalisée \theta (où e^{i\theta} n'est pas un pôle de G\left( z\right)), à savoir (sous forme complexe) u(k)=Ae^{ik\theta}, alors la sortie est (sous forme complexe) y(k)=G\left( e^{i\theta}\right)u(k).

Fonction de transfert d'un système discrétisé[modifier | modifier le code]

En automatique, dans la grande majorité des cas, un système à temps discret S_{d} résulte de la discrétisation, à une période d'échantillonnage T, d'un système à temps continu S_{c} de fonction de transfert G\left( p\right). La sortie y du système S_{c} est échantillonnée à la période T, et il en résulte le signal échantillonné y^{\ast }=y.\varpi _{T}\varpi _{T} est le "peigne de Dirac" (voir Transformée de Laplace)

\varpi _{T}\left( t\right) =\sum_{k=-\infty }^{+\infty }\delta \left(
t-kT\right)

Ce signal y^{\ast }, qui n'est qu'une représentation mathématique, contient en effet pour seule information les valeurs de y aux instants d'échantillonnage, puisque

y^{\ast }\left( t\right) =\sum_{k=-\infty }^{+\infty }y\left( kT\right)
\delta \left( t-kT\right)

En posant y_{d}\left( k\right) =y\left( kT\right), le signal discret y_{d} (qui est une suite) est la sortie du système S_{d} que nous cherchons à caractériser. Cette information discrète est traitée par un calculateur, par exemple pour générer un signal de commande discret u_{d}. Ce signal u_{d} doit subir une interpolation pour être transformé en un signal à temps continu qui puisse agir sur le système S_{c}. Pour obtenir un système bouclé fonctionnant en temps réel, cette interpolation doit être causale, à la différence de l'interpolation de Shannon (voir Théorème de Shannon-Nyquist). On procède donc par blocage du signal discret u_{d} sur chaque période d'échantillonnage. Le bloqueur le plus simple est celui d'ordre zéro. Le signal échantillonné-bloqué (avec bloqueur d'ordre zéro) est défini par

u_{b0}\left( t\right) =u_{d}\left( k\right) ,t\in \left[ kT,\left(
k+1\right) T\right[.

C'est donc ce signal u_{b0} (qui est bien à temps continu, mais qui en revanche est une fonction discontinue du temps puisqu'elle est en escalier) qui entre dans le système S_{c}.

La relation entre u_{d} et y_{d} est linéaire et stationnaire. Elle admet donc une fonction de transfert en z, notée G_{d}\left( z\right), qui prend en compte le bloqueur d'ordre zéro. On montre facilement[13] qu'elle est donnée par

G_{d}\left( z\right) =\left( 1-z^{-1}\right) \mathcal{Z}\left[ \mathcal{L}
^{-1}\left\{ \frac{G\left( p\right) }{p}\right\} \right]

\mathcal{L} et \mathcal{Z} désignent respectivement la transformée de Laplace et la transformée en Z.

Matrice de transfert[modifier | modifier le code]

Définition[modifier | modifier le code]

Les développements qui suivent sont réalisés pour les systèmes à temps continu. Ils se transposent de manière évidente aux système à temps discret. Considérons un système multivariable à temps continu, ayant m entrées u_{1},...,u_{m} et q sorties y_{1},...,y_{q}. Soit u (resp. y) la colonne formée des u_{j} (resp. des y_{i}) et \hat{u}\left( p\right) (resp. \hat{y}\left( p\right)) la transformée de Laplace monolatérale de u (resp. y). A conditions initiales nulles, il existe[14] une relation

\hat{y}\left( p\right) =G\left( p\right) \hat{u}\left( p\right)

G\left( p\right) est une matrice de fractions rationnelles, et plus précisément un élément de \mathbb{R}\left( p\right) ^{q\times m}\mathbb{R}\left( p\right) désigne le corps des fractions rationnelles en p à coefficients réels, à savoir le corps des fractions de l'anneau \mathbb{R}\left[ p\right] des polynômes en p. Cette matrice G\left( p\right) est la matrice de transfert du système.

Cette matrice de transfert est dite propre (resp. strictement propre) si tous ses éléments le sont, et impropre sinon.

Forme de Smith-MacMillan[modifier | modifier le code]

Soit \delta\left( p\right) \neq 0 le plus petit commun dénominateur de tous les éléments de la matrice G\left( p\right) \in \mathbb{R}\left( p\right) ^{q\times m}. La matrice N\left( p\right)=\delta\left( p\right)G\left( p\right) appartient donc à \mathbb{R}\left[ p\right] ^{q\times m}, et comme l'anneau \mathbb{R}\left[ p\right] est principal, le théorème des facteurs invariants montre qu'il existe des matrices P\left( p\right) et Q\left( p\right), inversibles sur \mathbb{R}\left[ p\right], telles que \Sigma \left( p\right) =P\left( p\right) N\left( p\right) Q^{-1}\left(p\right) soit la forme de Smith de N\left( p\right). Cette matrice \Sigma \left( p\right) est de la forme

\begin{pmatrix}\alpha_1\left( p\right)&0&&\\0&\ddots&&\\&&\alpha_r\left( p\right)&\\&&&0\\ \end{pmatrix}

r est le rang de N\left( p\right) sur \mathbb{R}\left[ p\right] (donc de G\left( p\right) sur \mathbb{R}\left( p\right)) et où les \alpha _{i}\left( p\right) \left( 1\leq i\leq r\right) sont des éléments non nuls de \mathbb{R}\left[ p\right] vérifiant la relation de divisibilité \alpha_1\mid \alpha_2\mid\dots\mid \alpha_r. Ces éléments \alpha _{i}\left( p\right) sont les facteurs invariants de N\left( p\right) et sont déterminés de manière unique à la multiplication près par des unités (c'est-à-dire des éléments inversibles) de \mathbb{R}\left[ p\right] (voir l'article théorème des facteurs invariants). On a donc

G\left( p\right) =P^{-1}\left( p\right) \mathcal{M}\left( p\right) Q\left(
p\right)

\mathcal{M}\left( p\right) =\frac{1}{\delta \left( p\right) }\Sigma \left( p\right) =\left( 
\begin{array}{cc}\frac{1}{\delta \left( p\right) }\Delta \left( p\right)  & 0 \\ 0 & 0\end{array}\right).

On a enfin

\mathcal{M}\left( p\right) =\begin{pmatrix}\frac{n_{1}\left( p\right) }{d_{1}\left( p\right) }
&0&&\\0&\ddots&&\\&&\frac{n_{r}\left( p\right) }{d_{r}\left( p\right) }&\\&&&0\\ \end{pmatrix}

où les fractions rationnelles \frac{n_{i}\left( p\right) }{d_{i}\left( p\right)} sont irréductibles. On a les relations de divisibilité n_{1}\mid n_{2}\mid\dots\mid n_{r} et d_{r}\mid d_{r-1}\mid\dots\mid d_{1}. Les éléments n_{i} et d_{i} \left( 1\leq i\leq r\right) vérifiant ces conditions sont déterminés de manière unique à partir de G\left( p\right) à la multiplication près par des unités de \mathbb{R}\left[ p\right], par conséquent la matrice de fractions rationnelles \mathcal{M}\left( p\right) est canonique et s'appelle la forme de Smith-MacMillan de G\left( p\right)[15]. Il est à noter que le fait que G\left( p\right) soit une matrice de transfert propre (resp. strictement propre) n'entraîne pas que les fractions rationnelles \frac{n_{i}\left( p\right) }{d_{i}\left( p\right)} le soient.

Pôles et zéros de transmission[modifier | modifier le code]

Les pôles (resp. les zéros) de transmission du système ayant pour matrice de transfert G\left( p\right) sont les racines dans \mathbb{C} des polynômes d_{i}\left( p\right) (resp. n_{i}\left( p\right)) ci-dessus. Si p_{0} est une racine d'ordre \nu_{i} de d_{i}\left( p\right) \left( 1\leq i\leq \rho \right), on précisera que le pôle p_{0} a pour indices structurels \left\{ \nu _{1},...,\nu _{\rho }\right\}[16]. Cette définition est valable pour les zéros, mutatis mutandis.

Considérons par exemple la matrice de transfert

G\left( p\right)=\left( 
\begin{array}{cc}
\frac{1}{\left( p+1\right) ^{2}} & \frac{1}{\left( p+1\right) \left(
p+2\right) } \\ 
\frac{1}{\left( p+1\right) \left( p+2\right) } & \frac{p+3}{\left(
p+2\right) ^{2}}
\end{array}
\right)

On a, avec les notations ci-dessus, \delta\left( p\right) = \left( p+1\right) ^{2}\left( p+2\right) ^{2} et

N\left( p\right)=\left( 
\begin{array}{cc}
\left( p+2\right) ^{2} & \left( p+1\right) \left( p+2\right)  \\ 
\left( p+1\right) \left( p+2\right)  & \left( p+1\right) ^{2}\left(
p+3\right) 
\end{array}
\right)

Les opérations élémentaires sur les lignes et les colonnes utilisées dans le théorème des facteurs invariants permet d'obtenir pour N\left( p\right) la forme de Smith

\Sigma\left( p\right)=\left( 
\begin{array}{cc}
1 & 0 \\ 
0 & \left( p+1\right) ^{2}\left( p+2\right) ^{3}
\end{array}
\right)

et la forme de Smith-MacMillan de G\left( p\right) est donc

\mathcal{M}\left( p\right)=\left( 
\begin{array}{cc}
\frac{1}{\left( p+1\right) ^{2}\left( p+2\right) ^{2}} & 0 \\ 
0 & p+2
\end{array}
\right)


Les pôles de transmission sont donc -1 et -2, et ils ont tous deux pour unique indice structurel 2. Le seul zéro de transmission est -2 avec pour unique indice structurel 1. On note sur cet exemple qu'un même nombre complexe (en l'occurrence, -2) peut être à la fois un pôle de transmission et un zéro de transmission, ce qui est évidemment impossible dans le cas des systèmes monovariables.

Interprétation[modifier | modifier le code]

Soit G\left( p\right) (resp. G\left( z\right)) la matrice de transfert d'un système à temps continu (resp. à temps discret) et supposons que cette matrice de transfert soit propre. Alors le système considéré est stable EBSB si, et seulement si ses pôles de transmission sont tous situés dans le demi-plan gauche (resp. à l'intérieur du cercle unité).

Pour une interprétation plus aisée des zéros de transmission, nous supposerons que m=q=r (cas auquel on peut d'ailleurs toujours se ramener). Alors le nombre complexe \lambda est un zéro de transmission si, et seulement si, à conditions initiales nulles, il existe une entrée non nulle u de la forme t\mapsto Ae^{\lambda t} (resp. k\mapsto A\lambda ^{k}),  A\in 
\mathbb{C}
^{m}
, ainsi qu'une forme linéaire B^{\prime }\in 
\mathbb{C}
^{1\times q} non nulle telles que la combinaison linéaire <B^{\prime },y> soit identiquement nulle[17].

Fonctions de transfert des systèmes de dimension infinie[modifier | modifier le code]

Systèmes de dimension infinie[modifier | modifier le code]

La notion de système de dimension infinie ne peut se définir que par une négation: il s'agit d'un système qui n'est pas de dimension finie. Aussi la variété de ces systèmes est-elle immense. La "dimension" dont il est question ici est celle de l'espace d'état[18], et le fait qu'elle soit infinie se traduit par le fait que la fonction de transfert est irrationnelle. Il n'est pas question ici d'être exhaustif, et la brève présentation qui suit est limitée au cas des systèmes linéaires, à temps continu et à retards commensurables (distribués ou non).

Les formulations algébriques[modifier | modifier le code]

Retards non distribués[modifier | modifier le code]

Considérons tout d'abord un système de la forme

\sum_{0\leq i\leq n,0\leq j\leq m}a_{ij}y^{\left( i\right) }\left( t-j\tau
\right) =\sum_{0\leq i\leq p,0\leq j\leq q}b_{ij}u^{\left( i\right) }\left(
t-j\tau \right)

où les a_{ij} et les b_{ij} sont des coefficients réels (les a_{ij} étant non tous nuls) et où \tau>0 est le retard. En posant

a\left( s,z\right) =\sum_{0\leq i\leq n,0\leq j\leq m}a_{ij}s^{i}z^{j}
b\left( s,z\right) =\sum_{0\leq i\leq p,0\leq j\leq q}b_{ij}s^{i}z^{j}

la fonction de transfert du système s'écrit G\left( p\right) =\frac{N\left( p\right) }{D\left(p\right) } avec N\left( p\right) =b\left( p,e^{-\tau p}\right) et D\left( p\right) =a\left( p,e^{-\tau p}\right). Cette fonction de transfert appartient donc au corps de fractions de l'anneau \mathbb{R}
\left[ p,e^{-\tau p}\right], anneau qui est isomorphe à \mathbb{R}
\left[ s,z\right][19]. Cet anneau est factoriel d'après un théorème dû à Gauss (voir Anneaux des polynômes), par conséquent a\left( s,z\right) et b\left( s,z\right) ont un pgcd c\left( s,z\right) . Les éléments a^{\prime }\left( s,z\right) =a\left( s,z\right) /c\left( s,z\right) et b^{\prime }\left( s,z\right) =b\left( s,z\right) /c\left( s,z\right) sont donc premiers entre eux dans \mathbb{R}
\left[ s,z\right], et on a G\left( p\right) =\frac{N^{\prime }\left(p\right) }{D^{\prime }\left( p\right) } avec N^{\prime }\left( p\right) =b^{\prime }\left( p,e^{-\tau p}\right) et D^{\prime }\left( p\right) =a^{\prime }\left( p,e^{-\tau p}\right).

Les pôles (resp. les zéros) de transmission du système sont définis comme étant les zéros dans le plan complexe de D^{\prime }\left( p\right) (resp. N^{\prime }\left( p\right)).

Supposons que

\underset{_{\left\vert p\right\vert \rightarrow +\infty }}{lim}\left\vert
G\left( p\right) \right\vert <\infty .

Alors, le système est stable EBSB s'il existe un réel \epsilon > 0 tel que ses pôles de transmission (qui sont en général en nombre infini) aient tous une partie réelle inférieure à -\epsilon [20].


Ce système est observable. Étant donné que l'anneau \mathbb{R}
\left[ s,z\right] n'est pas bézoutien, il existe différentes sortes de commandabilité[21]. Enfin, l'analyse ci-dessus ne peut se généraliser au cas des systèmes multivariables. C'est pourquoi il est nécessaire de procéder à un changement de l'anneau des opérateurs, ce qui conduit à considérer des systèmes à retards distribués.

Retards distribués[modifier | modifier le code]

Considérons par exemple l'opérateur de retard distribué u\mapsto y défini par

y\left( t\right) =\int_{t-1}^{t}u\left( \tau \right) d\tau

Sa fonction de transfert est \frac{1-e^{-p}}{p} qui peut être considéré comme un élément de \mathcal{H}=
\mathbb{R}
\left( p\right) \left[ e^{p},e^{-p}\right] \cap \mathcal{E}\left( p\right) 
 \mathcal{E}\left( p\right) désigne l'anneau des fonctions entières dans le plan complexe. L'anneau \mathcal{H} ainsi défini est très approprié pour l'étude des systèmes à retards commensurables distribués. Bien que n'étant pas principal, il s'agit en effet d'un anneau à diviseurs élémentaires[22]. Par conséquent, une matrice à éléments dans cet anneau admet une forme de Smith, et une matrice à éléments dans le corps de fractions de cet anneau admet une forme de Smith-MacMillan. La théorie des systèmes définis sur cet anneau est donc tout à fait semblable (au plan algébrique) à celle des systèmes définis sur l'anneau classique des opérateurs différentiels \mathbb{R}
\left[ \partial \right]. Néanmoins, le nombre de pôles et de zéros de transmission est cette fois infini en général.

En supposant que les éléments G_{ij}\left( p\right) de la matrice de transfert G\left( p\right) soient tous tels que

\underset{_{\left\vert p\right\vert \rightarrow +\infty }}{lim}\left\vert
G_{ij}\left( p\right)  \right\vert <\infty

le système est stable EBSB s'il existe un réel \epsilon > 0 tel que les pôles de transmission (en général en nombre infini) aient tous une partie réelle inférieure à -\epsilon .

Fonctions de transfert des systèmes à coefficients variables[modifier | modifier le code]

Cas des systèmes à temps continu[modifier | modifier le code]

Soit \mathbf{K} un corps différentiel muni de la dérivation usuelle a\mapsto \dot{a} (un exemple classique est celui où \mathbf{K}=\mathbb{C}\left( t\right)), et soit \mathbf{D}=\mathbf{K}\left[ \partial \right], avec \mathbf{\partial =}\frac{d}{dt}, l'anneau des polynômes gauches en \partial à coefficients dans \mathbf{K}. Si f est une variable, on a d'après la règle de Leibniz \mathbf{\partial }\left( af\right) =\dot{a}f+a\partial f, et puisque ceci est vrai quelle que soit f on a sur \mathbf{D} la règle de commutation

\mathbf{\partial }a-a\partial =\dot{a}

L'anneau \mathbf{D}, muni de cette règle, est un anneau principal non commutatif et simple[23]. De plus, il s'agit d'un anneau d'Ore[24] qui admet un corps de fractions \mathbf{F} à gauche et à droite. Chaque élément de \mathbf{F} se met sous la forme a^{-1}b=b^{\prime }a^{\prime -1}a,a^{\prime },b,b^{\prime } appartiennent à \mathbf{D} et a,a^{\prime } sont non nuls. D'un point de vue algébrique, un système différentiel linéaire à coefficient dans \mathbf{K} est un module de type fini M sur \mathbf{D}. Soit u (resp. y) une colonne de m (resp. q) éléments u_{i} (resp. y_{j}). Alors u peut être choisie comme entrée du système si le \mathbf{D}-module \left[ u\right] _{\mathbf{D}} engendré par les u_{i} est libre de rang m et tel que le quotient M/\left[ u\right] _{\mathbf{D}} est de torsion[25].

Considérons le foncteur

\mathcal{L}=\mathbf{F}\otimes _{\mathbf{D}}-

appelé foncteur de Laplace[7]. Ce qui précède revient à dire que les images canoniques \hat{u}_{i}=\frac{1}{1}u_{i} dans \hat{M}=\mathbf{F}\otimes _{\mathbf{D}}M forment une base du \mathbf{F}-espace vectoriel \hat{M}. Par conséquent, en notant \hat{y}_{i} les images canoniques des {y}_{i} dans \hat{M}, il existe une matrice unique G\in \mathbf{F}^{q\times m} telle que

\hat{y}=G\hat{u}

Cette matrice G est la matrice de transfert du système à coefficients variables.

Cas des systèmes à temps discret[modifier | modifier le code]

Le cas des systèmes à temps discret peut être traité comme suit: on considère cette fois un corps aux différences \mathbf{K}[26], muni de l'opérateur d'avance avance \alpha :x\left( t\right) \mapsto x\left( t+1\right). Soit \mathbf{D}=\mathbf{K}\left[ q,q^{-1};\alpha \right] l'anneau des polynômes gauches de Laurent en l'indéterminée q (opérateur d'avance qui est une extension de \alpha) muni de la loi de commutation qa=\alpha \left( a\right) q. Cet anneau \mathbf{D} est, comme précédemment, un anneau principal non commutatif et simple (cette dernière propriété fait l'avantage de \mathbf{D} sur l'anneau des polynômes gauches \mathbf{D}=\mathbf{K}\left[ q;\alpha \right], qui est principal mais n'est pas simple[27]) et \mathbf{D} admet un corps de fractions \mathbf{F} à gauche et à droite. Un systèmes linéaire à temps discret s'identifie à un module de type fini sur \mathbf{D}. La construction du paragraphe précédent peut alors être répétée sans changement, grâce au foncteur Transformée en Z

\mathcal{Z}=\mathbf{F}\otimes _{\mathbf{D}}-

.

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

Références[modifier | modifier le code]

  • (en) Richard Bellman et Kenneth L. Cooke, Differential-difference Equations, Academic Press Inc,‎ 1963, 462 p. (ISBN 0120848503)
  • (en) N. K. Bose, Multidimensional Systems Theory and Applications, Kluwer Academic Publishers,‎ 2003, 292 p. (ISBN 1402016239)
  • (en) Henri Bourlès, Linear Systems, John Wiley & Sons,‎ 2010, 544 p. (ISBN 1848211627)
  • (en) Henri Bourlès et Bogdan Marinescu, Linear Time-Varying Systems: Algebraic-Analytic Approach, Springer,‎ 2011, 638 p. (ISBN 3642197264)
  • (en) Ruth F. Curtain et Hans Zwart, An Introduction to Infinite-Dimensional Linear Systems Theory, Springer,‎ 1995, 716 p. (ISBN 0387944753)
  • Jean Dieudonné, Éléments d'analyse, vol. 6, Gauthier-Villars,‎ 1975 (ISBN 2876472163)
  • Michel Fliess, « Automatique en temps discret et algèbre aux différences », Forum Mathematicum,‎ 1989, p. 227-238
  • (en) Michel Fliess, « Some basic structural properties of generalized linear systems », Systems & Control Letters, vol. 15,‎ 1990, p. 391-396
  • Michel Fliess, « Une interprétation algébrique de la transformation de Laplace et des matrices de transfert », Linear Algebra Appl.,‎ 1994, p. 202-203, 429-442
  • (en) Heide Gluesing-Luerssen, Linear Delay-Differential Systems With Commensurate Delays: An Algebraic Approach, Springer,‎ 2001, 188 p. (ISBN 3540428216)
  • (en) E. W. Kamen, « A Note on the Representation and Realization Lumped-Distributed Networks, Delay-Differential Systems, and 2-D Systems », IEEE Trans. Circuits Syst., vol. 27,‎ 1980, p. 430-432
  • Sandrine Le Ballois et Pascal Codron, Automatique : systèmes linéaires et continus, Dunod,‎ 2006, 2e éd., 300 p. (ISBN 2100497324)
  • (en) A. G. J. MacFarlane et N. Karcanias, « Poles and zeros of linear multivariable systems: a survey of the algebraic, geometric and complex-variable theory », International Journal of Control, vol. 24, no 1,‎ 1976, p. 33-74
  • (en) S. K. Mitra et M. P. Ekstrom (éds.), Two-Dimensional Digital Signal Processing, Dowden, Hutchingon & Ross,‎ 1978 (ISBN 0879333200)
  • Hugues Mounier, Propriétés structurelles des systèmes linéaires à retards: aspects théoriques et pratiques : Thèse de Docteur en Sciences, Université Paris Sud,‎ 24 octobre 1995
  • (en) J. F. Pommaret, Partial Differential Control Theory, vol. 1 et 2, Kluwer Academic Publishers,‎ 2001 (ISBN 0792370376)
  • (en) P. Rocha et J. C. Willems, « Behavioral Controllability of Delay-Differential Systems », SIAM J. Control Opt., vol. 35, no 1,‎ 1997, p. 254-264
  • (en) C. B. Schrader et M. K. Sain, « Research on system zeros: a survey », International Journal of Control, vol. 50, no 4,‎ 1989, p. 1407-1433
  • (en) Eva Zerz, Topics in Multidimensional Linear Systems Theory, Springer,‎ 2003, 174 p. (ISBN 1852333367)

Voir aussi[modifier | modifier le code]