Cómo extender el análisis de Routh-hurwitz a sistemas de orden fraccional

El criterio de estabilidad de Routh-Hurwitz es una piedra angular de la teoría del control clásico, proporcionando un método algebraico directo para determinar si un sistema lineal de tiempo invariable es estable sin resolver para sus polos. Para sistemas de administración de integer, donde el polinomio característica tiene sólo poderes enteros de la variable Laplace s: la prueba es eficiente y elegante.

Comprender la clásica rutina – Hurwitz Criterion

Antes de explorar extensiones, es esencial recaptar el método clásico. Para un sistema con un polinomio característico

el criterio Routh-Hurwitz construye una tabla (la matriz de Routh) de los coeficientes. La condición de estabilidad es que cada elemento en la primera columna de la matriz debe tener el mismo signo (generalmente positivo). Si se producen cambios de signo, el número de cambios de signo equivale al número de polos de plan derecha-half-plane. La belleza de la prueba reside en su naturaleza puramente algebraica: ningún sistema de determinación de raíz perfectamente complejo

El criterio también se extiende a los sistemas con retrasos temporales (a través de la aproximación Padé) y a sistemas discretos (utilizando la transformación bilineal), pero todas esas extensiones dependen del marco polinomio. Los sistemas de orden fraccional rompen ese marco, requiriendo una perspectiva fresca.

Sistemas de orden fraccional: Una breve descripción

Un sistema de orden fraccional es uno cuya dinámica se describe por una ecuación diferencial fraccional de la forma

[LT:6] [FLT] [FLT]] _{i ] y βi no son necesariamente números enteros. La transformación de la ecuación (en condiciones iniciales cero) produce una función de transferencia que contiene términos como [FLT] [LT]]}

El cálculo fraccional ha encontrado aplicaciones en el control de estructuras flexibles, modelado de tejidos biológicos, caracterización de impedancia de baterías e incluso series temporales financieras. La necesidad de comprobar la estabilidad de tales sistemas es aguda, sin embargo la tabla clásica de Routh-Hurwitz no se puede construir porque la ecuación característica no es un polinomio.

Por qué la clásica rutina – Hurwitz prueba fallas para sistemas de fracción

El obstáculo es fundamental: una ecuación característica de orden fraccional, como

Los poderes de s] no son múltiples enteros entre sí. La matriz de Routh requiere poderes enteros para que una eliminación sistemática pueda ser realizada. Además, los poderes fraccionados conducen a cortes de rama en el plano complejo; el concepto de "polo de plan de derecha-half" se vuelve más sutil porque una potencia fraccional puede tener múltiples hojas de nítido de Riemann.

Debido a que el criterio de Routh-Hurwitz es esencialmente una prueba algebraica para la propiedad Hurwitz de un polinomio, no puede ser aplicado directamente a una expresión no polinomio. En lugar de ello, se necesitan modificaciones que preserven el espíritu de la prueba —determinando la estabilidad examinando alguna condición algebraica transformada— mientras que la contabilidad de la naturaleza fraccional.

La Criterio de Estabilidad Matignon: Un Reemplazo Algebraico Directo

La extensión más conocida es el criterio de estabilidad de Macignon (también llamado el teorema de Matignon). Proporciona una condición necesaria y suficiente para una gran clase de sistemas de orden fraccional con órdenes proporcionales. Se dice que un sistema fraccional tiene órdenes proporcionales si todos los poderes fraccionados en la ecuación característica son múltiplos de orden base.

criterio de Macignon: Para un sistema de orden fraccional con ecuación característica

donde α es un número real positivo, el sistema es estable si y sólo si

]) permanecerá не не απ/2 por cada raíz s_i de P[.

En otras palabras, las raíces deben estar en una región del plano complejo fuera de un sector de ángulo απ/2 centrado en el eje real negativo. Esta condición reduce a la condición clásica izquierda-half‐plane cuando α = 1 (desde entonces απ/2 = π/2), pero para α < 1 la región de estabilidad es una cuña.

[FLT] [FLT] [El criterio de la manutención] es poderoso porque transforma el problema de estabilidad en un problema de ubicación de raíz para el polinomio transformado P[FLT] [[FLT]] [4] [4]] [4]] [4]]

Esto conduce a un procedimiento práctico:

1. Identificar el orden fraccional base α] de modo que la ecuación característica se convierte en un polinomio en s^α .
2. Define w = s^]α y reescribir la ecuación característica como P(w) = 0, un polinomio convencional.
3. Aplicar la prueba clásica de Routh-Hurwitz a P(w) . Si se producen cambios de signo en la primera columna, el sistema es inestable bajo la definición clásica de polinomio en w.
4. [LT:0] [FLT] [14] [FLT] [FLT] [14] [FLT] [FLT] [4]] [FLT] [4]] [FLT] [4] [4]] [FLT] [4]] [FLT] [4]] [4]

El criterio de Matignon se utiliza a menudo como la herramienta principal para el análisis de estabilidad de sistemas de orden fraccional proporcional. Para sistemas no comunitarios (donde las órdenes fraccionales no son múltiples de una base común), se deben utilizar métodos alternativos como el enfoque de dominio de frecuencia o la inversión numérica.

Enfoques analíticos alternativos

Función Mittag-Leffler y Representación Estatal-Espacio

Los sistemas de orden de fracción pueden ser representados en forma pseudo-estado-espacial utilizando el derivado fraccional del orden α. La condición de estabilidad se convierte en una limitación en los valores eigenados de la matriz del sistema. Específicamente, para un sistema lineal de orden fraccional descrito por

el sistema es estable si y sólo si

] ] ] ] ] ]

λ(A) son los valores eigenales de la matriz A]. Este es el análogo directo multivariable del criterio de Matignon. Para sistemas proporcionales, esta condición reduce a la misma región de estabilidad en forma de cuña. Los ingenieros pueden calcular los valores eigenados y comprobar sus argumentos utilizando el álgebra lineal estándar.

Transformación a un sistema de orden entero a través de sustitución variable

Otro camino analítico es introducir una nueva variable z = s^]α] y luego aplicar la prueba clásica de Routh-Hurwitz al polinomio transformado. Sin embargo, este enfoque sólo comprueba la “parte polínomio” de la estabilidad.

Frecuencia‐ Técnicas de dominio

La estabilidad también puede ser evaluada por los criterios de Nyquist o Bode adaptados a las funciones de transferencia de orden fraccional. La función de transferencia de apertura G(s) de un sistema de order fraccional es una función no racional, pero su respuesta de frecuencia puede ser evaluada numéricamente. El criterio de estabilidad de Nyquist todavía sostiene: el número de puntos cerrados

Herramientas numéricas y computacionales

Dada la complejidad de los sistemas de órdenes fraccionadas, la práctica de ingeniería depende en gran medida de las herramientas de software. La FOMCON toolbox (Fractional‐Order Modeling and Control) para MATLAB es una opción popular. Proporciona funciones para calcular controles de estabilidad utilizando el criterio de Matignon, para construir aproximaciones (por ejemplo, fracciones de simulación de Oustaloup

Otras herramientas incluyen:

• CRONE toolbox] (Commande Robuste d’Ordre Non Entier): desarrollado en la Universidad de Burdeos, soporta diseño de controladores de orden fraccional y análisis de estabilidad.
• Libertad de pitón: fraccional [para cálculo fraccional] y control (para el análisis del sistema de control general) se pueden utilizar juntos para aplicar el criterio de Matignon.
• Computación simbólica] en Mathematica o Maple puede manejar manipulaciones algebraicas de poderes fraccionados y la determinación de raíces en el plano complejo.

Para un rápido cheque, muchos ingenieros utilizan el siguiente algoritmo numérico:

1. Definir la ecuación característica como expresión simbólica en s] con poderes fraccionados.
2. Convertirse en un polinomio en w = s^]α ] si el sistema es proporcional.
3. Computa las raíces del polinomio en w] utilizando un solucionador numérico.
4. Para cada raíz, computar los s y su argumento.
5. Verifique si ] permaneced ostent > απ/2 para todas las raíces.

Este algoritmo se puede implementar en unas pocas líneas de código y es robusto para la mayoría de los sistemas proporcionales. Para sistemas no comunitarios, uno debe confiar en los métodos de dominio de frecuencia o en la evaluación numérica basada en la red de la ecuación característica en el plano complejo.

Procedimiento práctico paso a paso para los ingenieros

A continuación se muestra un flujo de trabajo pragmático que combina el espíritu clásico de Routh-Hurwitz con las modificaciones fraccionadas necesarias.

1. Obtener la ecuación característica del sistema de transferencia N° 8217; s. Para un sistema de orden fraccional, esto implica términos como s^γ con γ no-integer.
2. ]Comprobar por proporcionalidad. Determinar si todas las órdenes fraccionarias son múltiplos enteros de una base común α. Por ejemplo, las órdenes 0.5, 1.5, 2.0 son múltiplos de 0.5; las órdenes 0.7 y 1.2 no son múltiplos de una base única (a menos que la base sea 0.1, pero raramente racional). Si el sistema es proporcional, proceder a la transformación polinomio.
3. [LT] [LT] [4] [4] [4] [4] [4] [2]] [F] [2]] [2]] [2]] [2]] [2]] [2]] [2]] [2]] [2]] [2]] [2]]]
4. Aplicar la prueba clásica de Routh-Hurwitz a P(w) ] Construir la matriz de Routh. Si se produce algún cambio de signo en la primera columna, el sistema es inestable (bajo la interpretación polinomio).
5. [LT:0] [FLT] [FLT] [FLT] [4]] ] [FLT] [4]] [FLT] [4]] [FLT] [4]] [FLT] [4]]
6. Para sistemas no comunitarios, utilice un enfoque de dominio de frecuencia. Evaluar la ecuación característica a lo largo del límite de la región de estabilidad, que para sistemas fraccionados es un sector. La parcela de Nyquist de la función de transferencia de apertura puede indicar estabilidad de cierre.

Muchos ingenieros encuentran que el caso proporcional cubre una gran parte de diseños prácticos de control fraccional, especialmente controladores PID fraccional (donde los pedidos derivados e integrales son múltiples de un α común, a menudo 0,5 o 0.1). El procedimiento anterior es por lo tanto ampliamente aplicable.

Estudio de caso ilustrativo: Controlador de PID de orden fraccional

Considere un controlador PID de orden fraccional (PI^α]D^]β]) controlando una planta de primer orden. La ecuación característica de cierre general puede ser

Este sistema no es compatible porque las órdenes fraccionarias 2.5, 1.2, 0.1 no son múltiples enteros de una base común. No podemos aplicar directamente el criterio de Matignon. En lugar de ello, aproximamos a los operadores fraccionados usando un filtro de orden de Oustaloup, digamos, 5 sobre un rango de frecuencias [0.01, 100] rad/s.

En cambio, si el controlador está diseñado con órdenes proporcionales (por ejemplo, α = 0.5, por lo que los pedidos son 0.5, 1.0, 1.5, 2.0), el sistema se vuelve proporcional. Luego podemos utilizar el criterio de Matignon directamente, obteniendo una condición exacta necesaria y suficiente (modulo la interpretación cortada por rama). Esto ilustra la ventaja de diseñar controladores fraccionales con órdenes proporcionales cuando sea posible.

Limitaciones e investigación continua

La extensión de los sistemas de Routh-Hurwitz a los sistemas de órdenes fraccionadas no es una sola fórmula sino una colección de técnicas, cada una con su propio dominio de aplicabilidad.El criterio de Matignon es exacto sólo para los sistemas de medida. Para los sistemas no-commensurados, el enfoque de orden aproximado puede introducir errores, especialmente si el sistema tiene una matriz de frecuencias muy prometedora.

Además, la región de estabilidad para sistemas fraccionados con órdenes irracionales no es una simple cuña; puede convertirse en una región más complicada en la superficie Riemann. Los ingenieros prácticos generalmente dependen de la evaluación numérica de la magnitud y fase de la ecuación característica a lo largo del límite de estabilidad, que es computacionalmente intensivo pero produce resultados fiables para valores de parámetro específicos.

Conclusión

El análisis de Routh-Hurwitz a sistemas de órdenes fraccionales requiere ir más allá del marco clásico polinomio.El criterio de estabilidad de Matignon para sistemas proporcionales re-casta el problema en una condición de fraccionamiento de raíz que puede ser revisado con la ayuda de la matriz clásica de Routh y la determinación numérica de raíz. Para sistemas no comunitarios, métodos de fraccionamiento de frecuencia y herramientas numéricas siguen siendo

Para más lectura, los lectores pueden consultar la entrada de Wikipedia en el criterio Routh-Hurwitz y la visión de cálculo fraccional. La obra original de Matignon se detalla en este documento (Acoplamiento DOI], la herramienta [FLTOM]