Articulo de referencia

Identificación del sistema

El campo de la identificación de sistemas utiliza métodos estadísticos para construir modelos matemáticos de sistemas dinámicos a partir de datos medidos. [ 1 ] La identificació...

El campo de la identificación de sistemas utiliza métodos estadísticos para construir modelos matemáticos de sistemas dinámicos a partir de datos medidos. [ 1 ] La identificación de sistemas también incluye el diseño óptimo de experimentos para generar eficientemente datos informativos para el ajuste de dichos modelos, así como la reducción de modelos. Un enfoque común consiste en partir de mediciones del comportamiento del sistema y las influencias externas (entradas al sistema) e intentar determinar una relación matemática entre ellas sin profundizar en los detalles de lo que ocurre realmente dentro del sistema; este enfoque se denomina identificación de sistemas de caja negra .

Descripción general

En este contexto, un modelo matemático dinámico es una descripción matemática del comportamiento dinámico de un sistema o proceso, ya sea en el dominio del tiempo o en el de la frecuencia. Algunos ejemplos son:

Una de las muchas aplicaciones posibles de la identificación de sistemas se encuentra en los sistemas de control . Por ejemplo, constituye la base de los sistemas de control modernos basados ​​en datos , en los que los conceptos de identificación de sistemas se integran en el diseño del controlador y sientan las bases para las pruebas formales de optimalidad del controlador .

Entrada-salida frente a solo salida

Las técnicas de identificación de sistemas pueden utilizar datos de entrada y salida (por ejemplo, el algoritmo de realización de autosistemas ) o incluir solo los datos de salida (por ejemplo, la descomposición en el dominio de la frecuencia ). Generalmente, una técnica de entrada-salida sería más precisa, pero los datos de entrada no siempre están disponibles. Además, las respuestas finales estimadas a partir de entradas arbitrarias pueden analizarse investigando su correlación y propiedades espectrales. [ 2 ]

Diseño óptimo de experimentos

La calidad de la identificación del sistema depende de la calidad de las entradas, que están bajo el control del ingeniero de sistemas. Por lo tanto, los ingenieros de sistemas han utilizado durante mucho tiempo los principios del diseño de experimentos . [ 3 ] En las últimas décadas, los ingenieros han utilizado cada vez más la teoría del diseño experimental óptimo para especificar entradas que produzcan estimadores de máxima precisión . [ 4 ] [ 5 ]

Caja blanca, gris y negra

Diagrama que describe los diferentes métodos para identificar sistemas. En el caso de una "caja blanca", vemos claramente la estructura del sistema, mientras que en una "caja negra" no sabemos nada sobre él, salvo cómo reacciona a las entradas. Un estado intermedio es el de una "caja gris", en el que nuestro conocimiento de la estructura del sistema es incompleto.

Se podría construir un modelo de caja blanca basado en principios fundamentales , por ejemplo, un modelo para un proceso físico a partir de las ecuaciones de Newton , pero en muchos casos, dichos modelos serán excesivamente complejos y posiblemente incluso imposibles de obtener en un tiempo razonable debido a la naturaleza compleja de muchos sistemas y procesos.

Por lo tanto, un enfoque más común consiste en partir de mediciones del comportamiento del sistema y de las influencias externas (entradas al sistema) e intentar determinar una relación matemática entre ellas sin entrar en los detalles de lo que ocurre realmente dentro del sistema. Este enfoque se denomina identificación de sistemas. En el campo de la identificación de sistemas, son comunes dos tipos de modelos:

  • Modelo de caja gris: aunque las peculiaridades de lo que ocurre dentro del sistema no se conocen del todo, se construye un modelo basado tanto en la comprensión del sistema como en datos experimentales. Sin embargo, este modelo aún tiene varios parámetros libres desconocidos que pueden estimarse mediante la identificación del sistema. [ 6 ] [ 7 ] Un ejemplo [ 8 ] utiliza el modelo de saturación de Monod para el crecimiento microbiano. El modelo contiene una relación hiperbólica simple entre la concentración del sustrato y la tasa de crecimiento, pero esto puede justificarse por la unión de moléculas a un sustrato sin entrar en detalles sobre los tipos de moléculas o tipos de unión. El modelado de caja gris también se conoce como modelado semifísico. [ 9 ]
  • Modelo de caja negra : No se dispone de un modelo previo. La mayoría de los algoritmos de identificación de sistemas son de este tipo.

En el contexto de la identificación de sistemas no lineales, Jin et al. [ 10 ] describen el modelado de caja gris asumiendo una estructura de modelo a priori y luego estimando los parámetros del modelo. La estimación de parámetros es relativamente fácil si se conoce la forma del modelo, pero esto rara vez ocurre. Alternativamente, la estructura o los términos del modelo, tanto para modelos lineales como para modelos no lineales altamente complejos, pueden identificarse utilizando métodos NARMAX . [ 11 ] Este enfoque es completamente flexible y puede utilizarse con modelos de caja gris, donde los algoritmos se inicializan con los términos conocidos, o con modelos de caja negra, donde los términos del modelo se seleccionan como parte del procedimiento de identificación. Otra ventaja de este enfoque es que los algoritmos seleccionarán solo términos lineales si el sistema en estudio es lineal, y términos no lineales si el sistema es no lineal, lo que permite una gran flexibilidad en la identificación.

Identificación para control

En las aplicaciones de sistemas de control , el objetivo de los ingenieros es obtener un buen rendimiento del sistema de lazo cerrado , que comprende el sistema físico, el lazo de retroalimentación y el controlador. Este rendimiento se suele lograr diseñando la ley de control a partir de un modelo del sistema, que debe identificarse a partir de datos experimentales. Si el procedimiento de identificación del modelo se orienta a fines de control, lo que realmente importa no es obtener el mejor modelo posible que se ajuste a los datos, como en el enfoque clásico de identificación de sistemas, sino obtener un modelo suficientemente satisfactorio para el rendimiento del sistema de lazo cerrado. Este enfoque más reciente se denomina identificación para control , o I4C por sus siglas en inglés.

La idea detrás de I4C se puede comprender mejor considerando el siguiente ejemplo simple. [ 12 ] Considere un sistema con función de transferencia verdaderaGRAMO0(s){\displaystyle G_{0}(s)}:

GRAMO0(s)=1s+1{\displaystyle G_{0}(s)={\frac {1}{s+1}}}

y un modelo identificadoGRAMO^(s){\displaystyle {\hat {G}}(s)}:

GRAMO^(s)=1s.{\displaystyle {\hat {G}}(s)={\frac {1}{s}}.}

Desde una perspectiva clásica de identificación de sistemas,GRAMO^(s){\displaystyle {\hat {G}}(s)}no es , en general, un buen modelo paraGRAMO0(s){\displaystyle G_{0}(s)}. De hecho, el módulo y la fase deGRAMO^(s){\displaystyle {\hat {G}}(s)}son diferentes de los deGRAMO0(s){\displaystyle G_{0}(s)}a baja frecuencia. Es más, mientrasGRAMO0(s){\displaystyle G_{0}(s)}es un sistema asintóticamente estable ,GRAMO^(s){\displaystyle {\hat {G}}(s)}es un sistema simplemente estable. Sin embargo,GRAMO^(s){\displaystyle {\hat {G}}(s)}Puede que aún sea un modelo suficientemente bueno para fines de control. De hecho, si se desea aplicar un controlador de retroalimentación negativa puramente proporcional con alta gananciaK{\displaystyle K}, la función de transferencia de lazo cerrado desde la referencia a la salida es, paraGRAMO0(s){\displaystyle G_{0}(s)}

KGRAMO0(s)1+KGRAMO0(s)=Ks+1+K{\displaystyle {\frac {KG_{0}(s)}{1+KG_{0}(s)}}={\frac {K}{s+1+K}}}

y paraGRAMO^(s){\displaystyle {\hat {G}}(s)}

KGRAMO^(s)1+KGRAMO^(s)=Ks+K.{\displaystyle {\frac {K{\hat {G}}(s)}{1+K{\hat {G}}(s)}}={\frac {K}{s+K}}.}

DesdeK{\displaystyle K}es muy grande, uno tiene eso1+KK{\displaystyle 1+K\approx K}Por lo tanto, las dos funciones de transferencia de lazo cerrado son indistinguibles. En conclusión,GRAMO^(s){\displaystyle {\hat {G}}(s)}Se trata de un modelo perfectamente aceptable para el sistema real si se debe aplicar dicha ley de control por retroalimentación. La idoneidad de un modelo para el diseño de control depende no solo de la discrepancia entre la planta y el modelo, sino también del controlador que se implementará. Por lo tanto, en el marco de I4C, dado un objetivo de rendimiento de control, el ingeniero de control debe diseñar la fase de identificación de tal manera que el rendimiento del controlador basado en el modelo sobre el sistema real sea lo más alto posible.

En ocasiones, resulta incluso más conveniente diseñar un controlador sin identificar explícitamente un modelo del sistema, sino trabajando directamente con datos experimentales. Este es el caso de los sistemas de control basados ​​directamente en datos .

Modelo directo

En inteligencia artificial, es común entender que el controlador debe generar el siguiente movimiento del robot . Por ejemplo, el robot comienza en el laberinto y luego decide avanzar. El control predictivo basado en modelos determina la siguiente acción indirectamente. El término "modelo" se refiere a un modelo predictivo que no proporciona la acción correcta, sino que simula un escenario. [ 13 ] Un modelo predictivo es similar a un motor de física utilizado en la programación de videojuegos. El modelo recibe una entrada y calcula el estado futuro del sistema.

La razón por la que se construyen modelos predictivos dedicados es porque permiten dividir el proceso de control general. La primera cuestión es cómo predecir los estados futuros del sistema, es decir, simular una planta durante un intervalo de tiempo con diferentes valores de entrada. La segunda tarea consiste en buscar una secuencia de valores de entrada que lleve a la planta a un estado objetivo. Esto se denomina control predictivo.

El modelo directo es el aspecto más importante de un controlador MPC . Debe crearse antes de que se pueda implementar el solucionador . Si no está claro cuál es el comportamiento de un sistema, no es posible buscar acciones significativas. El flujo de trabajo para crear un modelo directo se llama identificación del sistema. La idea es formalizar un sistema en un conjunto de ecuaciones que se comportarán como el sistema original. [ 14 ] El error entre el sistema real y el modelo directo se puede medir.

Existen muchas técnicas disponibles para crear un modelo directo: las ecuaciones diferenciales ordinarias son la clásica, utilizada en motores de física como Box2D . Una técnica más reciente es la red neuronal para crear el modelo directo. [ 15 ]

Véase también

Referencias

  1. Torsten, Söderström; Estoica, P. (1989). Identificación del sistema . Nueva York: Prentice Hall. ISBN 978-0138812362OCLC 16983523 
  2. ^ Ljung, Lennart (2021). Modelado e identificación de sistemas dinámicos (Segunda ed.). Lund: Literatura estudiantil. pag. 221.ISBN   9789144153452.
  3. Spall, JC (2010), "Diseño factorial para una experimentación eficiente: Generación de datos informativos para la identificación de sistemas", IEEE Control Systems Magazine , vol. 30(5), pp. 38–53. https://doi.org/10.1109/MCS.2010.937677
  4. Goodwin, Graham C. y Payne, Robert L. (1977). Identificación de sistemas dinámicos: diseño experimental y análisis de datos . Academic Press. ISBN 978-0-12-289750-4.
  5. Walter, Éric y Pronzato, Luc (1997). Identificación de modelos paramétricos a partir de datos experimentales . Springer.
  6. Nielsen, Henrik Aalborg; Madsen, Henrik (diciembre de 2000). «Predicción del consumo de calor en sistemas de calefacción urbana mediante pronósticos meteorológicos» (PDF) . Lyngby: Departamento de Modelado Matemático, Universidad Técnica de Dinamarca. S2CID 134091581. Archivado del original (PDF) el 21 de abril de 2017. {{cite journal}}: Para citar una revista se requiere |journal=( ayuda )
  7. Nielsen, Henrik Aalborg; Madsen, Henrik (enero de 2006). "Modelado del consumo de calor en sistemas de calefacción urbana mediante un enfoque de caja gris". Energy and Buildings . 38 (1): 63– 71. Bibcode : 2006EneBu..38...63N . doi : 10.1016/j.enbuild.2005.05.002 . ISSN 0378-7788 . 
  8. Wimpenny, JWT (abril de 1997). "La validez de los modelos". Advances in Dental Research . 11 (1): 150– 159. doi : 10.1177/08959374970110010601 . ISSN 0895-9374 . PMID 9524451. S2CID 23008333 .   
  9. Forssell, U.; Lindskog, P. (julio de 1997). "Combinación de modelado semifísico y de redes neuronales: un ejemplo de su utilidad" . IFAC Proceedings Volumes . 30 (11): 767– 770. doi : 10.1016/s1474-6670(17)42938-7 . ISSN 1474-6670 . 
  10. Gang Jin; Sain, MK; Pham, KD; Billie, FS; Ramallo, JC (2001). "Modelado de amortiguadores MR: Un enfoque de caja negra no lineal". Actas de la Conferencia Americana de Control de 2001. (Cat. No. 01CH37148) . IEEE. págs. 429–434 vol. 1. doi : 10.1109/acc.2001.945582 . ISBN  978-0780364950. S2CID 62730770 . 
  11. Billings, Stephen A (23 de julio de 2013). Identificación de sistemas no lineales: métodos NARMAX en los dominios temporal, frecuencial y espaciotemporal . doi : 10.1002/9781118535561 . ISBN 9781118535561.
  12. Gevers, Michel (enero de 2005). "Identificación para el control: desde los primeros logros hasta el resurgimiento del diseño experimental*". European Journal of Control . 11 ( 4–5 ): 335–352 . doi : 10.3166/ejc.11.335-352 . ISSN 0947-3580 . S2CID 13054338 .  
  13. Nguyen-Tuong, Duy y Peters, Jan (2011). "Aprendizaje de modelos para el control de robots: una revisión". Procesamiento cognitivo . 12 (4). Springer: 319– 340. doi : 10.1007/s10339-011-0404-1 . PMID 21487784. S2CID 8660085 .  {{cite journal}}: CS1 maint: varios nombres: lista de autores ( enlace )
  14. Kopicki, Marek y Zurek, Sebastian y Stolkin, Rustam y Moerwald, Thomas y Wyatt, Jeremy L (2017). "Aprendizaje de modelos directos modulares y transferibles de los movimientos de objetos manipulados por empuje" . Autonomous Robots . 41 (5). Springer: 1061– 1082. doi : 10.1007/s10514-016-9571-3 .{{cite journal}}: CS1 maint: varios nombres: lista de autores ( enlace )
  15. Eric Wan y Antonio Baptista y Magnus Carlsson y Richard Kiebutz y Yinglong Zhang y Alexander Bogdanov (2001). Control neuronal predictivo de modelo de un modelo de helicóptero de alta fidelidad . {AIAA. Instituto Americano de Aeronáutica y Astronáutica. doi : 10.2514/6.2001-4164 .

Lecturas adicionales

  • Goodwin, Graham C. y Payne, Robert L. (1977). Identificación de sistemas dinámicos: diseño de experimentos y análisis de datos . Academic Press.
  • Daniel Graupe: Identificación de sistemas , Van Nostrand Reinhold, Nueva York, 1972 (2.ª ed., Krieger Publ. Co., Malabar, FL, 1976)
  • Eykhoff, Pieter: Identificación de sistemas: estimación de parámetros y sistemas , John Wiley & Sons, Nueva York, 1974. ISBN 0-471-24980-7
  • Lennart Ljung : Identificación de sistemas: teoría para el usuario , 2.ª ed., PTR Prentice Hall , Upper Saddle River, NJ, 1999.
  • Jer-Nan Juang: Identificación de sistemas aplicados , Prentice-Hall, Upper Saddle River, NJ, 1994.
  • Kushner, Harold J. y Yin, G. George (2003). Aproximación estocástica y algoritmos recursivos y aplicaciones (Segunda  edición). Springer.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  • Oliver Nelles: Identificación de sistemas no lineales , Springer, 2001. ISBN 3-540-67369-5
  • T. Söderström, P. Stoica , Identificación de sistemas, Prentice Hall, Upper Saddle River, NJ, 1989. ISBN 0-13-881236-5
  • R. Pintelon, J. Schoukens, Identificación de sistemas: Un enfoque en el dominio de la frecuencia , 2.ª edición, IEEE Press, Wiley, Nueva York, 2012. ISBN 978-0-470-64037-1
  • Spall, JC (2003), Introducción a la búsqueda y optimización estocástica: estimación, simulación y control , Wiley, Hoboken, NJ.
  • Walter, Éric y Pronzato, Luc (1997). Identificación de modelos paramétricos a partir de datos experimentales . Springer.
  • L. Ljung: Perspectivas sobre la identificación del sistema, julio de 2008
  • Identificación de sistemas y reducción de modelos mediante gramianos empíricos.