Stabilité EBSB

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

Un système linéaire invariant et à temps continu dont la fonction transfert est rationnelle et strictement propre 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

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

Condition nécessaire

À 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

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

Signal continu

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

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

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

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é

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

• 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

• Automatique
• Diagramme de Nyquist
• Diagramme de Bode
• Diagramme de Black