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 que utiliza variables de estado para rastrear cómo las entradas dan forma al comportamiento del sistema a lo largo del tiempo mediante ecuaciones diferenciales de primer orden o ecuaciones en diferencias . Estas variables de estado cambian en función de sus valores actuales y las entradas, mientras que las salidas dependen de los estados y, a veces, también de las entradas. El espacio de estados (también llamado enfoque en el dominio del tiempo y equivalente al espacio de fases en ciertos sistemas dinámicos ) es un espacio geométrico donde los ejes son estas variables de estado, y el estado del sistema está representado por un vector de estado .
Para sistemas lineales , invariantes en el tiempo y de dimensión finita, las ecuaciones pueden escribirse en forma matricial , [ 1 ] [ 2 ] ofreciendo una alternativa compacta a las transformadas de Laplace del dominio de la frecuencia para sistemas de múltiples entradas y múltiples salidas (MIMO). A diferencia del enfoque del dominio de la frecuencia, funciona para sistemas que van más allá de los lineales con condiciones iniciales nulas. Este enfoque convierte la teoría de sistemas en un marco algebraico, lo que permite utilizar estructuras de Kronecker para un análisis eficiente.
Los modelos de espacio de estados se aplican en campos como la economía, [ 3 ] la estadística, [ 4 ] la informática, la ingeniería eléctrica [ 5 ] y la neurociencia. [ 6 ] En econometría , por ejemplo, los modelos de espacio de estados se pueden usar para descomponer una serie temporal en tendencia y ciclo, componer indicadores individuales en un índice compuesto, [ 7 ] identificar puntos de inflexión del ciclo económico y estimar el PIB usando series temporales latentes y no observadas. [ 8 ] [ 9 ] Muchas aplicaciones se basan en el filtro de Kalman o un observador de estado para producir estimaciones de las variables de estado desconocidas actuales usando sus observaciones previas. [ 10 ] [ 11 ]
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. [ 12 ] El número mínimo de variables de estado requeridas para representar un sistema dado,, suele ser 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 haberlo reducido a una fracción propia. Es importante entender que convertir una realización en espacio de estados a una forma de función de transferencia puede perder cierta información interna sobre el sistema y puede proporcionar una descripción de un sistema que es estable, cuando la realización en espacio de estados es inestable en ciertos puntos. En los circuitos eléctricos, el número de variables de estado suele ser, aunque no siempre, el mismo que el número de elementos de almacenamiento de energía en el circuito, como condensadores 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.
Sistemas lineales

La representación de espacio de estados más general de un sistema lineal conentradas,salidas yLas variables de estado se escriben de la siguiente forma: [ 13 ]
dónde:
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 LTI común , las matrices serán invariantes en el tiempo. La variable de tiempopuede ser continuo (por ejemplo) o discreto (por ejemplo). En este último caso, la variable de tiempose suele utilizar en lugar deLos sistemas híbridos permiten dominios temporales que tienen partes tanto continuas como discretas. Dependiendo de las suposiciones realizadas, la representación del modelo de espacio de estados puede adoptar las siguientes formas :
Ejemplo: caso LTI de tiempo continuo
La estabilidad y las características de respuesta natural de un sistema LTI de tiempo continuo (es decir, lineal con matrices que son constantes con respecto al tiempo) se pueden estudiar a partir de los valores propios de la matriz.La estabilidad de un modelo de espacio de estados invariante en el tiempo se puede determinar observando la función de transferencia del sistema en forma factorizada. En ese caso, tendrá una forma similar a esta:
El denominador de la función de transferencia es igual al polinomio característico que se obtiene al tomar el determinante de, Las raíces de este polinomio (los autovalores ) 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 pueden utilizarse para analizar si el sistema es asintóticamente estable o marginalmente estable . Un enfoque alternativo para determinar la estabilidad, que no implica el cálculo de autovalores, consiste en analizar la estabilidad de Lyapunov del sistema .
Los ceros encontrados en el numerador deDe manera similar, puede utilizarse para determinar si el sistema está en fase mínima .
El sistema puede seguir siendo estable en entrada-salida (véase estabilidad BIBO ) aunque no sea internamente estable. Esto puede ocurrir 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 del estado 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 rango 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áticas (es decir, así como la controlabilidad garantiza que se dispone de una entrada que lleva cualquier estado inicial a cualquier estado final deseado, la observabilidad garantiza que conocer la trayectoria de una salida proporciona información suficiente 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:
Primero, tomando la transformada de Laplace de
rendimientos A continuación, simplificamos para, donación y por lo tanto
Sustituir poren la ecuación de salida
donación
Suponiendo condiciones iniciales nulasy en un sistema de entrada única y salida única (SISO) , la función de transferencia se define como la relación entre la salida y la entrada.Sin embargo , para un sistema de entrada múltiple y salida múltiple (MIMO) , esta relación no está definida. Por lo tanto, asumiendo condiciones iniciales nulas, la matriz de función de transferencia se deriva de
utilizando el método de igualación de coeficientes que produce
Como consecuencia,es una matriz con la dimensiónque 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 usa 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 transformarse fácilmente en un espacio de estados mediante el siguiente enfoque (este ejemplo es para un sistema de 4 dimensiones, de una entrada y una salida):
Dada una función de transferencia, despliéguela para revelar todos los coeficientes tanto del numerador como del denominador. Esto debería dar como resultado la siguiente forma:
Ahora, los coeficientes pueden insertarse directamente en el modelo de espacio de estados mediante el siguiente método:
Esta realización en el espacio de estados se denomina forma canónica controlable porque se garantiza que el modelo resultante sea 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 pueden utilizarse para construir otro tipo de forma canónica.
Esta realización en el espacio de estados se denomina forma canónica observable porque se garantiza que el modelo resultante sea observable (es decir, debido a que la salida proviene de una cadena de integradores, cada estado tiene un efecto sobre la salida).
Funciones de transferencia adecuadas
Las funciones de transferencia que son solo propias (y no estrictamente propias ) también se pueden realizar con bastante facilidad. El truco consiste en separar la función de transferencia en dos partes: una parte estrictamente propia y una constante.
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 mostradas anteriormente. 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 matrices A , B y C determinadas por la parte estrictamente propia, y matriz D determinada por la constante.
Aquí tenéis un ejemplo para aclarar un poco las cosas: lo que produce la siguiente realización controlable Observe cómo la salida también depende directamente de la entrada. Esto se debe a laconstante en la función de transferencia.
Comentario

Un método común para la retroalimentación consiste en multiplicar la salida por una matriz K y establecer esto como entrada al sistema:Dado que los valores de K no tienen restricciones, se pueden negar fácilmente para la retroalimentación negativa . La presencia de un signo negativo (la notación común) es meramente una cuestión de notación y su ausencia no afecta los resultados finales.
se convierte
resolver la ecuación de salida paray al sustituir en la ecuación de estado se obtiene
La ventaja de esto es que los valores propios de A pueden controlarse ajustando K adecuadamente mediante la descomposición en valores propios deEsto supone que el sistema de lazo cerrado es controlable o que los valores propios inestables de A pueden estabilizarse mediante una elección adecuada 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 produce C = I , la matriz identidad . Esto daría como resultado las ecuaciones más simples.
Esto reduce la descomposición en valores propios necesaria a solo.
Retroalimentación con entrada de punto de ajuste (referencia)

Además de la retroalimentación, una entrada,, se puede agregar de tal manera que.
se convierte
resolver la ecuación de salida paray al sustituir 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 carrito). Las leyes del movimiento de Newton para un objeto que se mueve horizontalmente sobre un plano y está sujeto a una pared mediante un resorte son:
dónde
- es posición;es la velocidad;es aceleración
- es una fuerza aplicada
- es el coeficiente de fricción viscosa
- es la constante del resorte
- es la masa del objeto
La ecuación de estado quedaría entonces
dónde
- representa la posición del objeto
- es la velocidad del objeto
- es la aceleración del objeto
- la salidaes la posición del objeto
La prueba de controlabilidad es entonces
que tiene rango completo para todosy. Esto significa que si se conoce el estado inicial del sistema (,,), y si elyson constantes, entonces hay una fuerzaque podría mover el carrito a cualquier otra posición en el sistema.
La prueba de observabilidad es entonces
que además tiene rango completo. Por lo tanto, este sistema es 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 segunda es la ecuación de salida. Si la funciónSi es una combinación lineal de estados y entradas, entonces las ecuaciones se pueden escribir en notación matricial como se muestra arriba.Los argumentos de las funciones se pueden omitir si el sistema no está forzado (es decir, no tiene entradas).
Ejemplo de péndulo
Un sistema no lineal clásico es un péndulo simple sin forzar.
dónde
- es el ángulo del péndulo con respecto a la dirección de la gravedad.
- es la masa del péndulo (se supone que la masa de la varilla del péndulo es cero)
- es la aceleración gravitacional
- es el coeficiente de fricción en el punto de pivote
- es el radio del péndulo (al centro de gravedad de la masa))
Las ecuaciones de estado son entonces
dónde
- es el ángulo del péndulo
- es la velocidad de rotación del péndulo
- es la aceleración rotacional del péndulo
En cambio, la ecuación de estado se puede escribir en la forma general.
Los puntos de equilibrio / estacionarios de un sistema son cuandoy así los puntos de equilibrio de un péndulo son aquellos que satisfacen
para enteros n .
Véase también
- Ingeniería de control
- Teoría de control
- observador estatal
- Observabilidad
- Controlabilidad
- Discretización de modelos de espacio de estados
- Espacio de fases para obtener información sobre el estado de fase (como el espacio de estados) en física y matemáticas.
- Espacio de estados para información sobre el espacio de estados con estados discretos en informática.
- Filtro de Kalman para una aplicación estadística.
Referencias
- ↑ Katalin M. Hangos ; R. Lakner y M. Gerzson (2001). Sistemas de control inteligentes: una introducción con ejemplos . Springer. pág. 254. ISBN 978-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.ISBN 978-1-85233-600-4.
- ↑ Stock, JH; Watson, MW (2016), "Modelos de factores dinámicos, autorregresiones vectoriales aumentadas con factores y autorregresiones vectoriales estructurales en macroeconomía", Manual de macroeconomía , vol. 2, Elsevier, pp. 415–525 , doi : 10.1016/bs.hesmac.2016.04.002 , ISBN 978-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. ISBN 978-0-19-964117-8OCLC 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). "Estimating a State-Space Model from Point Process Observations". Neural Computation . 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 (2012-11-12). "Estimación de máxima verosimilitud de modelos factoriales en conjuntos de datos con patrones arbitrarios de datos faltantes". Journal of Applied Econometrics . 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, 2017, pp. 237–274 , doi : 10.7551/mitpress/6444.003.0013 , ISBN 978-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. ISBN 978-0-470-54756-4.
- ↑ Brogan, William L. (1974). Teoría de control moderna (1.ª ed.). Quantum Publishers, Inc. pág. 172.
Lecturas adicionales
- 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 matemática de sistemas 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-5Consultado 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 .
- Teoría de control clásica
- Modelado matemático
- Análisis en el dominio del tiempo
- Modelos de series temporales