Modelo matemático de un sistema en ingeniería de control
En ingeniería de control e identificación de sistemas , una representación en el espacio de estados es un modelo matemático de un sistema físico especificado como un conjunto de entradas, salidas y variables relacionadas por ecuaciones diferenciales de primer orden o ecuaciones en diferencias . Dichas variables, llamadas variables de estado , evolucionan con el tiempo de una manera que depende de los valores que tienen en un instante dado y de los valores impuestos externamente de las variables de entrada. Los valores de las variables de salida dependen de los valores de las variables de estado y también pueden depender de los valores de las variables de entrada.
El espacio de estados o espacio de fases es el espacio geométrico en el que los ejes son las variables de estado. El estado del sistema se puede representar como un vector , el vector de estado .
Si el sistema dinámico es lineal, invariante en el tiempo y de dimensión finita, entonces las ecuaciones diferenciales y algebraicas pueden escribirse en forma matricial . [1] [2] El método del espacio de estados se caracteriza por la algebrización de la teoría general de sistemas , lo que hace posible utilizar estructuras de matriz vectorial de Kronecker . La capacidad de estas estructuras se puede aplicar de manera eficiente a sistemas de investigación con o sin modulación. [3] La representación del espacio de estados (también conocida como el " enfoque del dominio del tiempo ") proporciona una forma conveniente y compacta de modelar y analizar sistemas con múltiples entradas y salidas. Con entradas y salidas, de lo contrario tendríamos que escribir transformadas de Laplace para codificar toda la información sobre un sistema. A diferencia del enfoque del dominio de la frecuencia , el uso de la representación del espacio de estados no se limita a sistemas con componentes lineales y condiciones iniciales cero.
El modelo de espacio de estados se puede aplicar en materias como economía, [4] estadística, [5] informática e ingeniería eléctrica, [6] y neurociencia. [7] En econometría , por ejemplo, los modelos de espacio de estados se pueden utilizar para descomponer una serie temporal en tendencia y ciclo, componer indicadores individuales en un índice compuesto, [8] identificar puntos de inflexión del ciclo económico y estimar el PIB utilizando series temporales latentes y no observadas. [9] [10] Muchas aplicaciones se basan en el filtro de Kalman o en un observador de estados para producir estimaciones de las variables de estado desconocidas actuales utilizando sus observaciones anteriores. [11] [12]
Variables de estado
Las variables de estado internas son el subconjunto más pequeño posible de variables del sistema que pueden representar el estado completo del sistema en un momento dado. [13] El número mínimo de variables de estado requeridas para representar un sistema dado, , es usualmente igual al orden de la ecuación diferencial que define el sistema, pero no necesariamente. Si el sistema se representa en forma de función de transferencia, el número mínimo de variables de estado es igual al orden del denominador de la función de transferencia después de que se haya reducido a una fracción propia. Es importante entender que convertir una realización de espacio de estado a una forma de función de transferencia puede perder algo de información interna sobre el sistema, y puede proporcionar una descripción de un sistema que es estable, cuando la realización de espacio de estado es inestable en ciertos puntos. En circuitos eléctricos, el número de variables de estado es a menudo, aunque no siempre, el mismo que el número de elementos de almacenamiento de energía en el circuito, tales como capacitores e inductores . Las variables de estado definidas deben ser linealmente independientes, es decir, ninguna variable de estado puede escribirse como una combinación lineal de las otras variables de estado, o el sistema no puede resolverse.
Sistemas lineales
La representación más general en el espacio de estados de un sistema lineal con entradas, salidas y variables de estado se escribe de la siguiente forma: [14]
dónde:
se llama "vector de estado" ;
se llama "vector de salida" ,;
se llama "vector de entrada (o control)" ,;
es la "matriz de estado (o sistema)" ,
es la "matriz de entrada", ,
es la "matriz de salida", ,
es la "matriz de paso directo (o de avance)" (en los casos en que el modelo del sistema no tiene un paso directo, es la matriz cero) ,
.
En esta formulación general, se permite que todas las matrices sean variables en el tiempo (es decir, sus elementos pueden depender del tiempo); sin embargo, en el caso común de LTI , las matrices serán invariantes en el tiempo. La variable de tiempo puede ser continua (por ejemplo, ) o discreta (por ejemplo, ). En el último caso, la variable de tiempo se utiliza normalmente en lugar de . Los sistemas híbridos permiten dominios de tiempo que tienen partes tanto continuas como discretas. Dependiendo de las suposiciones realizadas, la representación del modelo de espacio de estados puede asumir las siguientes formas:
El denominador de la función de transferencia es igual al polinomio característico que se obtiene tomando el determinante de ,
Las raíces de este polinomio (los valores propios ) son los polos de la función de transferencia del sistema (es decir, las singularidades donde la magnitud de la función de transferencia no está acotada). Estos polos se pueden utilizar para analizar si el sistema es asintóticamente estable o marginalmente estable . Un enfoque alternativo para determinar la estabilidad, que no implica calcular valores propios, es analizar la estabilidad de Lyapunov del sistema .
Los ceros que se encuentran en el numerador de se pueden utilizar de manera similar para determinar si el sistema tiene fase mínima .
El sistema puede seguir siendo estable en términos de entrada y salida (véase BIBO estable ) aunque no sea internamente estable. Este puede ser el caso si los polos inestables se cancelan con ceros (es decir, si esas singularidades en la función de transferencia son eliminables ).
Controlabilidad
La condición de controlabilidad de estados implica que es posible –mediante entradas admisibles– dirigir los estados desde cualquier valor inicial a cualquier valor final dentro de una ventana de tiempo finita. Un modelo de espacio de estados lineal continuo e invariante en el tiempo es controlable si y solo si
donde rank es el número de filas linealmente independientes en una matriz, y donde n es el número de variables de estado.
Observabilidad
La observabilidad es una medida de la capacidad de inferir los estados internos de un sistema a partir del conocimiento de sus salidas externas. La observabilidad y la controlabilidad de un sistema son duales matemáticos (es decir, así como la controlabilidad establece que hay una entrada disponible que lleva cualquier estado inicial a cualquier estado final deseado, la observabilidad establece que conocer una trayectoria de salida proporciona suficiente información para predecir el estado inicial del sistema).
Un modelo de espacio de estados lineal continuo e invariante en el tiempo es observable si y solo si
Función de transferencia
La " función de transferencia " de un modelo de espacio de estados lineal continuo e invariante en el tiempo se puede derivar de la siguiente manera:
utilizando el método de igualación de coeficientes que produce
En consecuencia, es una matriz con la dimensión que contiene funciones de transferencia para cada combinación de entrada y salida. Debido a la simplicidad de esta notación matricial, la representación en el espacio de estados se utiliza comúnmente para sistemas de múltiples entradas y múltiples salidas. La matriz del sistema de Rosenbrock proporciona un puente entre la representación en el espacio de estados y su función de transferencia .
Realizaciones canónicas
Cualquier función de transferencia dada que sea estrictamente propia puede transferirse fácilmente al espacio de estados mediante el siguiente enfoque (este ejemplo es para un sistema de 4 dimensiones, de entrada única y salida única):
Dada una función de transferencia, expándala para revelar todos los coeficientes tanto en el numerador como en el denominador. Esto debería dar como resultado la siguiente forma:
Los coeficientes ahora se pueden insertar directamente en el modelo de espacio de estados mediante el siguiente enfoque:
Esta realización del espacio de estados se denomina forma canónica controlable porque se garantiza que el modelo resultante es controlable (es decir, debido a que el control entra en una cadena de integradores, tiene la capacidad de mover cada estado).
Los coeficientes de la función de transferencia también se pueden utilizar para construir otro tipo de forma canónica
Esta realización del espacio de estados se denomina forma canónica observable porque se garantiza que el modelo resultante es observable (es decir, debido a que la salida sale de una cadena de integradores, cada estado tiene un efecto en la salida).
La función de transferencia estrictamente propia puede entonces transformarse en una realización canónica en el espacio de estados utilizando las técnicas que se muestran arriba. La realización en el espacio de estados de la constante es trivialmente . Juntos obtenemos entonces una realización en el espacio de estados con las matrices A , B y C determinadas por la parte estrictamente propia, y la matriz D determinada por la constante.
A continuación se muestra un ejemplo para aclarar un poco las cosas:
que produce la siguiente realización controlable.
Observe cómo la salida también depende directamente de la entrada. Esto se debe a la constante en la función de transferencia.
Comentario
Un método común para la retroalimentación es multiplicar la salida por una matriz K y establecerla como la entrada del sistema: . Dado que los valores de K no tienen restricciones, los valores se pueden negar fácilmente para una retroalimentación negativa . La presencia de un signo negativo (la notación común) es meramente una notación y su ausencia no tiene impacto en los resultados finales.
se convierte en
Resolviendo la ecuación de salida y sustituyendo en la ecuación de estado se obtiene
La ventaja de esto es que los valores propios de A se pueden controlar estableciendo K apropiadamente a través de la descomposición propia de . Esto supone que el sistema de bucle cerrado es controlable o que los valores propios inestables de A se pueden hacer estables a través de la elección apropiada de K .
Ejemplo
Para un sistema estrictamente propio, D es igual a cero. Otra situación bastante común es cuando todos los estados son salidas, es decir, y = x , lo que da como resultado C = I , la matriz identidad . Esto daría como resultado ecuaciones más simples.
Esto reduce la descomposición propia necesaria a sólo .
Retroalimentación con entrada de punto de ajuste (referencia)
Además de la retroalimentación, se puede agregar una entrada, , de modo que .
se convierte en
Resolviendo la ecuación de salida y sustituyendo en la ecuación de estado se obtiene
Una simplificación bastante común de este sistema es eliminar D , lo que reduce las ecuaciones a
Ejemplo de objeto en movimiento
Un sistema lineal clásico es el del movimiento unidimensional de un objeto (por ejemplo, un carro). Las leyes de movimiento de Newton para un objeto que se mueve horizontalmente sobre un plano y está sujeto a una pared con un resorte son:
que tiene rango completo para todos y . Esto significa que si se conoce el estado inicial del sistema ( , , ), y si y son constantes, entonces hay una fuerza que podría mover el carro a cualquier otra posición en el sistema.
que también tiene rango completo. Por lo tanto, este sistema es a la vez controlable y observable.
Sistemas no lineales
La forma más general de un modelo de espacio de estados se puede escribir como dos funciones.
La primera es la ecuación de estado y la última es la ecuación de salida. Si la función es una combinación lineal de estados y entradas, las ecuaciones se pueden escribir en notación matricial como se muestra arriba. El argumento de las funciones se puede omitir si el sistema no está forzado (es decir, no tiene entradas).
^ Katalin M. Hangos ; R. Lakner y M. Gerzson (2001). Sistemas de control inteligente: una introducción con ejemplos. Springer. pág. 254. ISBN978-1-4020-0134-5.
^ Katalin M. Hangos; József Bokor y Gábor Szederkényi (2004). Análisis y Control de Sistemas de Procesos No Lineales. Saltador. pag. 25.ISBN978-1-85233-600-4.
^ Vasilyev AS; Ushakov AV (2015). "Modelado de sistemas dinámicos con modulación mediante la representación matricial vectorial de Kronecker". Revista científica y técnica de tecnologías de la información, mecánica y óptica . 15 (5): 839–848. doi : 10.17586/2226-1494-2015-15-5-839-848 .
^ Stock, JH; Watson, MW (2016), "Modelos factoriales dinámicos, autorregresiones vectoriales aumentadas con factores y autorregresiones vectoriales estructurales en macroeconomía", Handbook of Macroeconomics , vol. 2, Elsevier, págs. 415–525, doi :10.1016/bs.hesmac.2016.04.002, ISBN978-0-444-59487-7
^ Durbin, James; Koopman, Siem Jan (2012). Análisis de series temporales mediante métodos de espacio de estados . Oxford University Press. ISBN978-0-19-964117-8. OCLC 794591362.
^ Roesser, R. (1975). "Un modelo discreto de espacio de estados para el procesamiento lineal de imágenes". IEEE Transactions on Automatic Control . 20 (1): 1–10. doi :10.1109/tac.1975.1100844. ISSN 0018-9286.
^ Smith, Anne C.; Brown, Emery N. (2003). "Estimación de un modelo de espacio de estados a partir de observaciones de procesos puntuales". Computación neuronal . 15 (5): 965–991. doi :10.1162/089976603765202622. ISSN 0899-7667. PMID 12803953. S2CID 10020032.
^ James H. Stock y Mark W. Watson, 1989. "Nuevos índices de indicadores económicos coincidentes y adelantados", Capítulos del NBER, en: NBER Macroeconomics Annual 1989, Volumen 4, páginas 351-409, National Bureau of Economic Research, Inc.
^ Bańbura, Marta; Modugno, Michele (12 de noviembre de 2012). "Estimación de máxima verosimilitud de modelos factoriales en conjuntos de datos con patrón arbitrario de datos faltantes". Revista de econometría aplicada . 29 (1): 133–160. doi :10.1002/jae.2306. hdl : 10419/153623 . ISSN 0883-7252. S2CID 14231301.
^ "Modelos de espacio de estados con conmutación de Markov y muestreo de Gibbs", Modelos de espacio de estados con conmutación de régimen , The MIT Press, págs. 237-274, 2017, doi :10.7551/mitpress/6444.003.0013, ISBN978-0-262-27711-2
^ Kalman, RE (1960-03-01). "Un nuevo enfoque para problemas de filtrado y predicción lineal". Journal of Basic Engineering . 82 (1): 35–45. doi :10.1115/1.3662552. ISSN 0021-9223. S2CID 259115248.
^ Harvey, Andrew C. (1990). Pronóstico, modelos estructurales de series temporales y el filtro de Kalman . Cambridge: Cambridge University Press. doi:10.1017/CBO9781107049994
^ Nise, Norman S. (2010). Ingeniería de sistemas de control (6.ª ed.). John Wiley & Sons, Inc. ISBN978-0-470-54756-4.
^ Brogan, William L. (1974). Modern Control Theory (1.ª ed.). Quantum Publishers, Inc., pág. 172.
Lectura adicional
Antsaklis, PJ; Michel, AN (2007). Introducción a los sistemas lineales . Birkhauser. ISBN 978-0-8176-4460-4.
Chen, Chi-Tsong (1999). Teoría y diseño de sistemas lineales (3.ª ed.). Oxford University Press. ISBN 0-19-511777-8.
Khalil, Hassan K. (2001). Sistemas no lineales (3.ª ed.). Prentice Hall. ISBN 0-13-067389-7.
Hinrichsen, Diederich; Pritchard, Anthony J. (2005). Teoría de sistemas matemáticos I, modelado, análisis del espacio de estados, estabilidad y robustez . Springer. ISBN 978-3-540-44125-0.
Sontag, Eduardo D. (1999). Teoría del control matemático: sistemas deterministas de dimensión finita (PDF) (2.ª ed.). Springer. ISBN 0-387-98489-5. Recuperado el 28 de junio de 2012 .
Friedland, Bernard (2005). Diseño de sistemas de control: Introducción a los métodos de espacio de estados . Dover. ISBN 0-486-44278-0.
Zadeh, Lotfi A.; Desoer, Charles A. (1979). Teoría de sistemas lineales . Krieger Pub Co. ISBN 978-0-88275-809-1.
Sobre las aplicaciones de los modelos de espacio de estados en econometría
Durbin, J.; Koopman, S. (2001). Análisis de series temporales mediante métodos de espacio de estados . Oxford, Reino Unido: Oxford University Press. ISBN 978-0-19-852354-3.
Enlaces externos
Funciones del lenguaje Wolfram para modelos de espacio de estados lineales, modelos de espacio de estados afines y modelos de espacio de estados no lineales.