Stabilité EBSB

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La stabilité EBSB est une forme particulière de stabilité des systèmes dynamiques étudiés en automatique, en traitement du signal et plus spécifiquement en électrotechnique. EBSB signifie Entrée Bornée/Sortie Bornée : si un système est stable EBSB, alors pour toute entrée bornée, la sortie du système l’est également.

Condition dans le domaine temporel modifier

Un système linéaire invariant et à temps continu dont la fonction transfert est rationnelle et strictement propre^[1] est stable EBSB si et seulement si sa réponse impulsionnelle est absolument intégrable, i.e. si sa norme $L^{1}$ existe :

L^{1}=\int _{-\infty }^{\infty }{\left|h(t)\right|dt}=\|h\|_{1}<\infty .

En temps discret, un système est stable EBSB si et seulement si sa réponse impulsionnelle est absolument sommable, i.e. si sa norme $\ell ^{1}$ existe :

\ell ^{1}=\sum _{n=-\infty }^{\infty }{\left|h(n)\right|}=\|h\|_{1}<\infty .

Démonstration modifier

Elle est proposée en temps discret, mais les mêmes arguments s’appliquent en temps continu.

Condition nécessaire modifier

À l’entrée bornée $x(n)=\operatorname {signe} (h(-n))$ correspond la sortie $y(n)\$ satisfaisant

y(n)=h(n)*x(n)\

où $*$ est le produit de convolution, c'est-à-dire :

y(n)=\sum _{k=-\infty }^{\infty }{h(k)x(n-k)}.

En particulier $y(0)=\sum _{k=-\infty }^{\infty }{h(k)x(-k)}=\sum _{k=-\infty }^{\infty }{|h(k)|}.$

Ainsi $\|h\|_{1}<\infty$ puisque $y(0)\$ est borné.

Condition suffisante modifier

Considérons une entrée bornée, c'est-à-dire $\|x\|_{\infty }<\infty$ , et supposons $\|h\|_{1}<\infty$ . Alors la sortie $y(n)\$ satisfait

\left|y(n)\right|=\left|\sum _{k=-\infty }^{\infty }{h(n-k)x(k)}\right|\leq \sum _{k=-\infty }^{\infty }{\left|h(n-k)\right|\left|x(k)\right|}

(par l'inégalité triangulaire)

\leq \sum _{k=-\infty }^{\infty }{\left|h(n-k)\right|\|x\|_{\infty }}=\|x\|_{\infty }\sum _{k=-\infty }^{\infty }{\left|h(n-k)\right|}=\|x\|_{\infty }\|h\|_{1}.

Ainsi $\left|y(n)\right|$ est également borné.

Condition dans le domaine fréquentiel modifier

Signal continu modifier

Soit un système linéaire invariant et à temps continu dont la fonction de transfert $H(p)\$ est supposée être rationnelle. En notant $p_{i}\$ les pôles (racines complexes du dénominateur) et $\sigma \$ l’abscisse de convergence définie par $\sigma =\max \operatorname {Re} (p_{i})\$ , on montre que le système est stable EBSB si et seulement si $\sigma <0\$ .

Preuve modifier

Puisque $H(p)\$ est la transformée de Laplace de la réponse impulsionnelle $h(t)\$ ,

H(p)=\int _{0}^{\infty }e^{-pt}h(t)dt

et le domaine de convergence est le demi-plan $\operatorname {Re} (p)>\sigma \$ .

Si le système est stable EBSB, alors $h(t)\$ est dans $L^{1}$ et il y a convergence en $p=0\$ puisque

|H(0)|=\left|\int _{0}^{\infty }h(t)dt\right|\leq \int _{0}^{\infty }|h(t)|dt

qui, par hypothèse, est une quantité finie. Par conséquent $\sigma <0\ .$

Supposons $\sigma <0\$ . Puisque, par l’hypothèse de rationalité, $H(p)\$ est de la forme

H(p)=\sum _{i}{\frac {c_{i}}{p-p_{i}}},

en supposant, pour simplifier, que les pôles de $H(p)\$ sont simples. La transformée inverse de Laplace donne

h(t)=\sum _{i}c_{i}e^{p_{i}t}

qui est dans $L^{1}$ et le système est stable EBSB.

Signal discret modifier

Soit un système linéaire invariant et à temps discret dont la fonction de transfert $H(z)\$ est supposée être rationnelle. En notant $z_{i}\$ les pôles et $\rho \$ le module de convergence défini comme le maximum des modules des pôles, on montre que le système est stable EBSB si et seulement si $\rho <1\$ .

Preuve modifier

Puisque $H(z)\$ est la transformée en Z de la réponse impulsionnelle $h(n)\$ ,

H(z)=\sum _{k=0}^{\infty }h(k)z^{-k}

et le domaine de convergence est l’extérieur d’un cercle, soit $|z|>\rho \$ .

Si le système est stable EBSB, alors $h(n)\$ est dans $\ell ^{1}$ et il y a convergence en $z=1\$ puisque

|H(1)|=\left|\sum _{k=0}^{\infty }h(k)\right|\leq \sum _{k=0}^{\infty }|h(k)|

qui, par hypothèse, est une quantité finie. Par conséquent $\rho <1\ .$

Supposons $\rho <1\$ . Puisque, par l’hypothèse de rationalité, $H(z)\$ est de la forme

H(z)=\sum _{i}{\frac {d_{i}}{1-z_{i}z^{-1}}},

en supposant, pour simplifier, que les pôles de $H(z)\$ sont simples. L’inverse de la transformée en z donne

h(n)=\sum _{i}d_{i}z_{i}^{n}

qui est dans $\ell ^{1}$ et le système est stable EBSB.

Critères de Stabilité modifier

Pour déterminer si un système physique représenté par un schéma-bloc est stable ou non, on peut utiliser plusieurs méthodes ou plusieurs critères. Il existe 2 types de critères :

les critères numériques (comme celui de Routh par exemple, cf polynôme de Hurwitz);
les critères graphiques (comme le critère du Revers ou le critère de Nyquist).

Ces critères permettent uniquement de déterminer si le système est stable ou non, mais ils n'indiquent pas le degré de stabilité, c'est-à-dire si le système est plus ou moins stable. Pour apprécier ce fameux degré de stabilité, on est amené à utiliser d'autres outils tels que les marges de phase et les marges de gain ou le facteur de qualité par exemple.

Notes et références modifier

↑ En termes de représentation d'état, cela signifie que l'on se restreint aux systèmes de dimension finie sans terme direct. Par exemple, un système constitué d'un gain pur (resp. d'un dérivateur pur) a pour réponse impulsionnelle la distribution de Dirac (resp. sa dérivée) qui n'est pas une fonction.

Michael Unser, « A Note on BIBO Stability », IEEE Transactions on Signal Processing, vol. 68,‎ 2020, p. 5904-5913 (DOI 10.1109/TSP.2020.3025029)

Voir aussi modifier

Portail de l’électricité et de l’électronique

[1] En termes de représentation d'état, cela signifie que l'on se restreint aux systèmes de dimension finie sans terme direct. Par exemple, un système constitué d'un gain pur (resp. d'un dérivateur pur) a pour réponse impulsionnelle la distribution de Dirac (resp. sa dérivée) qui n'est pas une fonction.

[1]